| | Сделать стартовой | Добавить в избранное | | |  
Меню
Опрос на сайте
Откуда больше всего качаете?
Depositfiles.com
Letitbit.net
Turbobit.net
Vip-file.com
sms4file.com
4files.net
Free-share.ru
Shareflare.net
Другой ФО
Архив новостей
Март 2019 (3092)
Февраль 2019 (4108)
Январь 2019 (3417)
Декабрь 2018 (4056)
Ноябрь 2018 (3808)
Октябрь 2018 (3790)
Реклама

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

 (голосов: 0)
| Gunpowder / | 13 октября | 20:06
Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления

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

Название: Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления
Автор: Верещагин Н. К., Шень А.
Издательство: МЦНМО
Год: 2012
Страниц: 240
Формат: PDF
Размер: 11,08 МБ
ISBN: 978-5-4439-0013-1
Качество: отличное
Язык: русский

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


Для просмотра скрытого текста необходимо зарегистрироваться или войти на сайт.

Для просмотра скрытого текста необходимо зарегистрироваться или войти на сайт.

Для просмотра скрытого текста необходимо зарегистрироваться или войти на сайт.

Для просмотра скрытого текста необходимо зарегистрироваться или войти на сайт.
Похожие новости: {related-news}
Просмотров: 44
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии в данной новости. Вы можете войти или зарегистрироваться на сайте.