Главная > Научная, учебная литература для специалистов > Книга «Лекции по математической логике и теории алгоритмов: Часть 2. Языки и исчисления»
О чем не говорят конспирологи

Лекции по математической логике и теории алгоритмов: Часть 2. Языки и исчисления

Лекции по математической логике и теории алгоритмов: Часть 2. Языки и исчисления
Издательство: Русское слово, 2012
Страниц: 240 страниц

ID книги: 2126272
Загрузил: admin,

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

Формат Размер Дата загрузки Загрузил Скачиваний *
Скачать Показать QR-код fb2-файла fb2 1 529 КБ 23 декабря 2015 admin 1060
Скачать Показать QR-код epub-файла epub 809 КБ 23 декабря 2015 admin 228
* статистика скачиваний с 23 декабря 2015
Чтобы иметь возможность оставлять комментарии
вам необходимо войти под своим именем или зарегистрироваться.

Для правильной работы fb2Мира используйте только последние версии браузеров: Chrome, Opera или Firefox.
В других браузерах работа fb2Мира не гарантируется!
Ваша дата определена как 22 декабря 2024
Рейтинг@Mail.ru
© 2008–2024 fb2Мир