Элементы математической логики (1973) » MIRLIB.RU - ТВОЯ БИБЛИОТЕКА
Регистрация
Simple Object Oriented Design (MEAP v9) Simple Object Oriented Design (MEAP v9) Artificial Intelligence-Based System for Gaze-Based Communication Artificial Intelligence-Based System for Gaze-Based Communication Действие средств поражения и боеприпасов (2017) Действие средств поражения и боеприпасов (2017) Краткий физико-математический справочник (2005) Краткий физико-математический справочник (2005) Загадка крещения Руси Загадка крещения Руси Ядерные испытания в Арктике (в 2-х томах) Ядерные испытания в Арктике (в 2-х томах) The Engineering Leader: Strategies for Scaling Teams and Yourself The Engineering Leader: Strategies for Scaling Teams and Yourself Linkerd: Up and Running: A Guide to Operationalizing a Kubernetes-native Service Mesh Linkerd: Up and Running: A Guide to Operationalizing a Kubernetes-native Service Mesh Software Engineering for Data Scientists: From Notebooks to Scalable Systems (Final) Software Engineering for Data Scientists: From Notebooks to Scalable Systems (Final) Всемирная история артиллерии Всемирная история артиллерии Программировать в 1С за 11 шагов. 3-изд Программировать в 1С за 11 шагов. 3-изд Сборник блинов + Шоколадное масло vegan + Начинки для блинов Сборник блинов + Шоколадное масло vegan + Начинки для блинов Matlab & Simulink: Проектирование мехатронных систем на ПК Matlab & Simulink: Проектирование мехатронных систем на ПК Основы криптологии: профессиональное руководство и интерактивный учебник Основы криптологии: профессиональное руководство и интерактивный учебник Deep Learning in Internet of Things for Next Generation Healthcare Deep Learning in Internet of Things for Next Generation Healthcare На лисицу с манком На лисицу с манком
Simple Object Oriented Design (MEAP v9) Simple Object Oriented Design (MEAP v9) Artificial Intelligence-Based System for Gaze-Based Communication Artificial Intelligence-Based System for Gaze-Based Communication Действие средств поражения и боеприпасов (2017) Действие средств поражения и боеприпасов (2017) Краткий физико-математический справочник (2005) Краткий физико-математический справочник (2005) Загадка крещения Руси Загадка крещения Руси Ядерные испытания в Арктике (в 2-х томах) Ядерные испытания в Арктике (в 2-х томах) The Engineering Leader: Strategies for Scaling Teams and Yourself The Engineering Leader: Strategies for Scaling Teams and Yourself Linkerd: Up and Running: A Guide to Operationalizing a Kubernetes-native Service Mesh Linkerd: Up and Running: A Guide to Operationalizing a Kubernetes-native Service Mesh Software Engineering for Data Scientists: From Notebooks to Scalable Systems (Final) Software Engineering for Data Scientists: From Notebooks to Scalable Systems (Final) Всемирная история артиллерии Всемирная история артиллерии Программировать в 1С за 11 шагов. 3-изд Программировать в 1С за 11 шагов. 3-изд Сборник блинов + Шоколадное масло vegan + Начинки для блинов Сборник блинов + Шоколадное масло vegan + Начинки для блинов Matlab & Simulink: Проектирование мехатронных систем на ПК Matlab & Simulink: Проектирование мехатронных систем на ПК Основы криптологии: профессиональное руководство и интерактивный учебник Основы криптологии: профессиональное руководство и интерактивный учебник Deep Learning in Internet of Things for Next Generation Healthcare Deep Learning in Internet of Things for Next Generation Healthcare На лисицу с манком На лисицу с манком
Категория: КНИГИ » УЧЕБНАЯ ЛИТЕРАТУРА
Элементы математической логики (1973)
Добавил: umkaS / 9-11-2019, 08:33 /
Название: Элементы математической логики
Автор: Новиков П.С.
Издательство: М.: Наука
Год: 1973 - 2-изд., испр.
Cтраниц: 401
Формат: pdf
Размер: 23 мб
Язык: русский

В настоящей книге сделана попытка дать по возможности доступное изложение основ математической логики. Этой задаче посвящены первые пять глав книги, составляющие ее основное содержание (логика и исчисление высказываний, логика и исчисление предикатов, аксиоматическая арифметика). Последняя, шестая, глава носит более специальный характер, в ней рассматриваются методы теории доказательства, посредством которых решаются некоторые вопросы математической логики, возникающие в основном тексте книги. Книга привлечет внимание всех занимающихся или интересующихся математической логикой, а также может быть использована как учебное пособие по курсу математической логики в университетах.

Скачать Новиков П.С. - Элементы математической логики




[related-news]

Похожие публикации

    {related-news}
[/related-news]
Комментарии 0
Комментариев пока нет. Стань первым!