D-Mir2009
Меню сайта
Категории раздела
Video [254]
Фильмы и другие видеоматериалы
Music [22950]
Музыка
Programs [519]
Программы для компьютера и не только
Others [26167]
Другое
Мини-чат
Наш опрос
Оцените мой сайт
Всего ответов: 28
Статистика

Онлайн всего: 1
Гостей: 1
Пользователей: 0
Главная » 2018 » Октябрь » 13 » Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления
19:03
Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления

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

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

Скачать Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления
Скачать с turbobit.net
Скачать с salefiles.com
Скачать с katfile.com
Скачать с file-upload.com
Категория: Others | Просмотров: 45 | Добавил: pmojka | Теги: Часть, алгоритмов, теории, лекции, языки, исчисления, 2012, логике, математической | Рейтинг: 0.0/0
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]
Вход на сайт
Поиск
Календарь
Архив записей
Друзья сайта
  • Официальный блог
  • Сообщество uCoz
  • FAQ по системе
  • Инструкции для uCoz
  • Copyright MyCorp © 2020