18+
На сайте представлено только описание и выходные данные книги «Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления. Учебное пособие Н. К. Верещагин». Сайт не является распространителем книги. Сайт не предоставляет возможности купить, читать онлайн или скачать бесплатно книгу «Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления. Учебное пособие Н. К. Верещагин». Сайт предназначен для лиц старше 18 лет. Если вам не исполнилось 18 лет - незамедлительно покиньте сайт. Оставаясь на сайте вы подтвердаете, что вам исполнилось 18 лет.
Незаконное потребление наркотических средств, психотропных веществ, их аналогов причиняет вред здоровью, их незаконный оборот запрещен и влечет установленную законодательством ответственность
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга содержит около 200 задач различной трудности. Предыдущее издание книги вышло в 2012 г. Это и многое другое вы найдете в книге Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления. Учебное пособие (Н. К. Верещагин)
| Полное название книги | Н. К. Верещагин Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления. Учебное пособие |
| Тип | Книга |
| Автор | Н. К. Верещагин |
| Категории | Для техникумов и вузов, Образование и наука, Книги |
| ISBN | 9785443909448 |
| Возрастное ограничение | 18 |
| Издательство | МЦНМО |
| Год | 2017 |
| Название транслитом | lekcii-po-matematicheskoy-logike-i-teorii-algoritmov-chast-2-yazyki-i-ischisleniya-uchebnoe-posobie-n-k-vereschagin |
| Просмотров | 10 |
| Рейтинг izbe.ru | 0,0 |
Мари Мур
Брук Лин
Конкордия Антарова
Дэниел Киз
Абрахам Вергезе
Аида Синицына
Вадим Зеланд
Сергей Лукьяненко
Роберт Грин
Виктор Дашкевич
Роман Прокофьев
Пауло Коэльо
