Главная > Автор Верещагин Н.К.
О чем не говорят конспирологи
Книги Верещагин Н.К.
Лекции по математической логике и теории алгоритмов: Часть 2. Языки и исчисления
Автор: Верещагин Н.К.
Издательство: Русское слово, 2012
Жанр: Научная, учебная литература для специалистов
Страниц: 240 страниц
Загрузил: admin, 23 декабря 2015
   Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга содержит около 200 задач различной трудности.
Для правильной работы fb2Мира используйте только последние версии браузеров: Chrome, Opera или Firefox.
В других браузерах работа fb2Мира не гарантируется!
Ваша дата определена как 22 декабря 2024
Рейтинг@Mail.ru
© 2008–2024 fb2Мир