Книга: Языки и исчисления
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей).
Информация о документе
- Формат документа
- PDF, DJVU
- Кол-во страниц
- 291 страница
- Загрузил(а)
- Лицензия
- —
- Доступ
- Всем
- Просмотров
- 13
Предпросмотр документа
Информация о книге
- ISBN
- 5900916391
- Издательство
- ЧОУ ДПО МЦНМО
- Год публикации
- 2000
- Каталог SCI
- Математика