Главная » 2018 » Октябрь » 13 » Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления
Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления
20:03
Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления — Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга включает себя около 200 задач различной трудности.
Название: Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления Автор: Верещагин Н. К., Шень А. Издательство: МЦНМО Год: 2012 Страниц: 240 Формат: PDF Размер: 11,08 МБ ISBN: 978-5-4439-0013-1 Качество: отличное Язык: русский
Скачать Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления
К "Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления" пока нет комментариев, но Вы можете стать первым, кто его оставит!
Всего мнений: 0
Ищу на сайте
Случайный анекдот
Лежат на тротуаре часы. проходит мимо француз, обошел несколько раз, плюнул, ушел. проходит немец, поднял часы, сверил со своими, положил на место, пошел дальше. проходит еврей, поднял часы, поднес к уху: - идете? тогда пойдемте со мной (кладет в карман)