Информация о книге

978-5-4439-0944-8

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

Верещагин Н.И. (док.тех.наук, Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления


серия: Учебники для вузов
МЦНМО, 2017 г., 240 стр., 978-5-4439-0944-8


Описание книги

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

Поделиться ссылкой на книгу




Об авторе

Верещагин Н.И. (док.тех.наук


Последние поступления в рубрике "Тематика определяется"



Фигуры 2+. Вырезалки Фигуры 2+. Вырезалки Терентьева Н.М., Маврина Л.

Умение вырезать – важный навык, который способствует развитию мелкой моторики рук, координации движений, внимательности и усидчивости....

Первые контурные вырезалки 2+ Первые контурные вырезалки 2+ Терентьева Н.М., Маврина Л.

Умение вырезать - важный навык, который способствует развитию мелкой моторики рук, координации движений, внимательности и усидчивости. Для детей до 3-х лет....

Мои первые вырезалки 2+ Мои первые вырезалки 2+ Терентьева Н.М., Маврина Л.

Умение вырезать – важный навык, который способствует развитию мелкой моторики рук, координации движений, внимательности и усидчивости. Для детей до 3-х лет....

Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Верещагин Н.И. (док.тех.наук, Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.