Верещагин Н.И. (док.тех.наук, Вводный курс математической логики
Физматлит, 2007 г., 978-5-9221-0278-0,5-9221-0278-8
Описание книги
Поделиться ссылкой на книгу
Содержание книги
Глава 1. Элементы теории множеств
Глава 2. Языки первого порядка
Глава 3. Элементы теории доказательств
Глава 4. Теорема Гёделя о полноте
Глава 5. Теория алгоритмов
Список рекомендуемой литературы
Предметный указатель
Об авторе
Последние поступления в рубрике "Тематика определяется"
![]() |
Фигуры 2+. Вырезалки Терентьева Н.М., Маврина Л.
Умение вырезать – важный навык, который способствует развитию мелкой моторики рук, координации движений, внимательности и усидчивости.... |
![]() |
Первые контурные вырезалки 2+ Терентьева Н.М., Маврина Л.
Умение вырезать - важный навык, который способствует развитию мелкой моторики рук, координации движений, внимательности и усидчивости. Для детей до 3-х лет.... |
![]() |
Мои первые вырезалки 2+ Терентьева Н.М., Маврина Л.
Умение вырезать – важный навык, который способствует развитию мелкой моторики рук, координации движений, внимательности и усидчивости. Для детей до 3-х лет.... |
Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Верещагин Н.И. (док.тех.наук, Вводный курс математической логики в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.