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

978-5-9221-0278-0,5-9221-0278-8

Главная  » Тематика определяется » Вводный курс математической логики

Верещагин Н.И. (док.тех.наук, Вводный курс математической логики

Физматлит, 2007 г., 978-5-9221-0278-0,5-9221-0278-8


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

В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных...

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



Содержание книги

Введение
Глава 1. Элементы теории множеств
Глава 2. Языки первого порядка
Глава 3. Элементы теории доказательств
Глава 4. Теорема Гёделя о полноте
Глава 5. Теория алгоритмов
Список рекомендуемой литературы
Предметный указатель


Об авторе


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



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

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

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

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

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

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

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