sibhematology.ru

Колмогоров А., Драгалин А. Математическая логика. Дополнительные главы

Авторы настоящей книги – А. Н. Колмогоров и А. Г. Драгалин – выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Математическая логика: Дополнительные главы" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ имени М. В. Ломоносова. Изложение фундаментальных фактов современной логики (начал аксиоматической теории множеств, теории алгоритмов, теоремы Гёделя о неполноте, программы Гильберта обоснования математики) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.

Колмогоров А., Драгалин А. Математическая логика. Дополнительные главы

Авторы настоящей книги – А. Н. Колмогоров и А. Г. Драгалин – выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник "Математическая логика: Дополнительные главы" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ имени М. В. Ломоносова. Изложение фундаментальных фактов современной логики (начал аксиоматической теории множеств, теории алгоритмов, теоремы Гёделя о неполноте, программы Гильберта обоснования математики) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.

Математическая логика: Дополнительные главы. 5-е издание. Колмогоров А.Н., Драгалин А.Г.

Математическая логика. 5-е издание. Драгалин А. Г., Колмогоров А.Н.

Гуц А. Математическая логика и теория алгоритмов

Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича. Даются представления о частично рекурсивных функциях, машине Тьюринга-Поста, нормальных алгорифмах Маркова и о сложности алгоритмов. Для студентов, обучающихся по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети".

Гуц А. Математическая логика и теория алгоритмов

Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича. Даются представления о частично рекурсивных функциях, машине Тьюринга-Поста, нормальных алгорифмах Маркова и о сложности алгоритмов. Для студентов, обучающихся по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети".

Фоменко А. Дифференциальная геометрия и топология. Дополнительные главы

Книга написана на основе курсов по дифференциальной геометрии, топологии и смежным вопросам, читаемых на механико-математическом факультете МГУ. Книга содержит материал, ставший фактически учебным и в то же время широко использующийся в современной научной литературе. Основное внимание уделено элементам гомотопической топологии, теории критических точек гладких функций на многообразиях, описанию наиболее важных типов гладких многообразий, часто использующихся в приложениях, изучению геометрии и топологии групп Ли, а также изложению элементов теории интегрирования гамильтоновых систем на симплектических многообразиях. Книга предназначена для студентов и аспирантов – математиков и механиков, а также для специалистов смежных дисциплин, интересующихся приложениями современной геометрии.

Фоменко А. Дифференциальная геометрия и топология. Дополнительные главы

Книга написана на основе курсов по дифференциальной геометрии, топологии и смежным вопросам, читаемых на механико-математическом факультете МГУ. Книга содержит материал, ставший фактически учебным и в то же время широко использующийся в современной научной литературе. Основное внимание уделено элементам гомотопической топологии, теории критических точек гладких функций на многообразиях, описанию наиболее важных типов гладких многообразий, часто использующихся в приложениях, изучению геометрии и топологии групп Ли, а также изложению элементов теории интегрирования гамильтоновых систем на симплектических многообразиях. Книга предназначена для студентов и аспирантов – математиков и механиков, а также для специалистов смежных дисциплин, интересующихся приложениями современной геометрии.

Власов А. Дополнительные главы классической электродинамики. Проблемы радиационной отдачи

В книге разобраны проблемы, возникающие в классической (то есть не квантовой) электродинамике при попытке учесть обратную реакцию излучаемых электромагнитных волн на само излучающее тело. Рассмотрена стандартная модель учета такой отдачи — модель Абрагама—Лоренца—Дирака и подробно проанализированы возникающие здесь при переходе к точечным размерам излучающего тела сложности. Разобраны модели неточечных классических (неквантовых) источников излучения (модель Зоммерфельда и др.) и показаны их отличия и общие черты по сравнению со стандартной моделью. Для студентов старших курсов, аспирантов, преподавателей и научных работников физических специальностей.

Власов А. Дополнительные главы классической электродинамики. Проблемы радиационной отдачи

В книге разобраны проблемы, возникающие в классической (то есть не квантовой) электродинамике при попытке учесть обратную реакцию излучаемых электромагнитных волн на само излучающее тело. Рассмотрена стандартная модель учета такой отдачи — модель Абрагама—Лоренца—Дирака и подробно проанализированы возникающие здесь при переходе к точечным размерам излучающего тела сложности. Разобраны модели неточечных классических (неквантовых) источников излучения (модель Зоммерфельда и др.) и показаны их отличия и общие черты по сравнению со стандартной моделью. Для студентов старших курсов, аспирантов, преподавателей и научных работников физических специальностей.

Набебин А., Кораблин Ю. Математическая логика и теория алгоритмов

Излагаются основные понятия математической логики и теории алгоритмов: исчисление высказываний, исчисление предикатов первого порядка, исчисление секвенций (Гентцена), метод резолюций и универсальный язык программирования Пролог, частично рекурсивные функции, машины Тьюринга и универсальный язык программирования ЛИСП. Приведены примеры алгоритмически неразрешимых проблем. Показана алгоритмическая неразрешимость логики предикатов и аксиоматической арифметики. Дано понятие о теоремах Геделя. Предназначено студентам высших технических учебных заведений, специализирующимся в области прикладной математики, вычислительной техники, программирования, информатики.

Набебин А., Кораблин Ю. Математическая логика и теория алгоритмов

Излагаются основные понятия математической логики и теории алгоритмов: исчисление высказываний, исчисление предикатов первого порядка, исчисление секвенций (Гентцена), метод резолюций и универсальный язык программирования Пролог, частично рекурсивные функции, машины Тьюринга и универсальный язык программирования ЛИСП. Приведены примеры алгоритмически неразрешимых проблем. Показана алгоритмическая неразрешимость логики предикатов и аксиоматической арифметики. Дано понятие о теоремах Геделя. Предназначено студентам высших технических учебных заведений, специализирующимся в области прикладной математики, вычислительной техники, программирования, информатики.

Колмогоров А. Способ жизни

Книга представляет актера драматической сцены Александра Колмогорова, более всего известного по работе в труппе ташкентского театра "Ильхом", в новом качестве - как прозаика, автора рассказов (не только из жизни коллег), в которых запечатлен срез российской жизни конца ХХ - начала XXI века, провинциальной и столичной, корнями уходящей в эпоху Чехова и Шаляпина и уже протоптавшей дорогу в новейшие времена. Своих персонажей автор знает лично, как и героев воспоминаний. Собственный жизненный и актерский опыт он претворяет в прозу, которая читается "на одном дыхании".

Колмогоров А. Способ жизни

Книга представляет актера драматической сцены Александра Колмогорова, более всего известного по работе в труппе ташкентского театра "Ильхом", в новом качестве - как прозаика, автора рассказов (не только из жизни коллег), в которых запечатлен срез российской жизни конца ХХ - начала XXI века, провинциальной и столичной, корнями уходящей в эпоху Чехова и Шаляпина и уже протоптавшей дорогу в новейшие времена. Своих персонажей автор знает лично, как и героев воспоминаний. Собственный жизненный и актерский опыт он претворяет в прозу, которая читается "на одном дыхании".

Колмогоров А. Труды по стиховедению

Выдающийся математик А.Н.Колмогоров известен также своими исследованиями метра и ритма русского стиха. Развивая идеи своих знаменитых предшественников, от Андрея Белого до Романа Якобсона, Колмогоров уточняет и пересматривает их результаты, используя в работе методы теории информации и математической статистики. Литературоведческие работы Колмогорова получили высокую оценку специалистов в этой области. В настоящем издании впервые собраны работы А.Н.Колмогорова по стиховедению. Некоторые тексты публикуются впервые. Книга открывается вступительными статьями А.В.Прохорова и М.Л.Гаспарова.

Колмогоров А. Труды по стиховедению

Выдающийся математик А.Н.Колмогоров известен также своими исследованиями метра и ритма русского стиха. Развивая идеи своих знаменитых предшественников, от Андрея Белого до Романа Якобсона, Колмогоров уточняет и пересматривает их результаты, используя в работе методы теории информации и математической статистики. Литературоведческие работы Колмогорова получили высокую оценку специалистов в этой области. В настоящем издании впервые собраны работы А.Н.Колмогорова по стиховедению. Некоторые тексты публикуются впервые. Книга открывается вступительными статьями А.В.Прохорова и М.Л.Гаспарова.