Математика
- 12 книг
Ваша оценка0
(0)
Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления. Учебное пособие
Книга написана по материалам лекций и семинаров,
проводившихся авторами для студентов младших курсов мехмата МГУ. В ней
рассказывается об основных понятиях математической логики (логика
высказываний, языки первого порядка, выразимость, исчисление высказываний,
разрешимые теории, теорема о полноте, начала теории моделей). Изложение
рассчитано на учеников математических школ, студентов-математиков и всех
интересующихся математической логикой. Книга содержит около 200 задач
различной трудности.
Пр...
Жанры
Рейтинг LiveLib
0
0 оценок
Ваша оценкаХотят прочитать 2