Математическая теория логического вывода. Математическая логика и основания математики

 Скачать бесплатно

Вы также можете скачать книгу по ссылкам:
Зеркало: SpbLand.ru
http://natahaus.ifolder.ru/

Издатель: "НАУКА"
Год издания: 1967
Страниц: 350
Качество: среднее

Эта книга представляет собой сборник переводов (единственное исключение составляет статья Г.Е.Минца) статей по теории логического вывода. Возросший за последнее премя интерес к этой области математической логики вызван бурным развитием «машинной логики», в частности, появлением многочисленных работ, посвященных машинному доказательству теорем.

В сборнике представлены как работы, ставшие уже классическими, так и некоторые работы последних лет. Из многочисленных в настоящее время исследований по теории логического вывода в сборник отобраны работы, связанные с наиболее интересными (с точки зрения составителей) этапами развития этой теории.

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

В.И.Смирнов Курс высшей математики. В пяти томах. Тт.1,2.

Том 1Издательство: НаукаГод издания: 1974 ,издание 23-еСтраниц: 479Язык: русскийФормат:…

Счетная линейка.

Будет интересно узнать на чем считали ваши деды и отцы в XX веке, а если у…

Иллюстрированная Энциклопедия Космической Технологии

К.Гэтланд - КОСМИЧЕСКАЯ ТЕХНИКАИллюстрированная Энциклопедия Космической ТехнологииИздательство:М.

Лотоцкий К.В - Электрические машины

Лотоцкий К.В - Электрические машиныВ учебном пособии излагаются основные…

Книги одного из авторов квантовой механики о науке ,жизни , философии.

Э.ШредингерПрирода и греки(2001 , 81 стр , 1.09 Mb)Автор книги — один из создателей квантовой механики…

Популярные книги

Черная полоса - белая!

Практическое руководство по управлению своей судьбой. Говорите, судьбу нельзя изменить?…

Имя и общество

В книге исследуются личные имена, фамилии и другие виды антропонимов различных народов…

Официальная и народная медицина

Самая подробная энциклопедия. Когда со здоровьем что-то не так, у нас возникает резонный…

Православные святые - кто они?

Перу доктора философских наук, профессора Н.С. Гордиенко принадлежит ряд книг, содержащих…

Младенец и ребенок. От рождения до пяти лет

Автор книги ведет непринужденный разговор о развитии ребенка от рождения до пятилетнего…

5 языков любви

Знания этих 5 языков любви помогут вам наладить отношения в семье и даже спасти уже разрушающийся…

Алхимик

"Алхимик" совсем не похож на "Чайку Джонатана" или "Иллюзии" Ричарда Баха…

Одиннадцать минут

Мария разочаровалась в любви и сексе, и образ двух влюбленных, слившихся душой и телом в…

Подсознание может все

В уединении средь лесов канадской провинции Британская Колумбия автор 3 года размышлял…

Легкий способ бросить курить

Книга может помочь бросить вам курить. Здесь нет шокотерапии, у автора для вас исключительно…