𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Математическая теория логического вывода [сборник переводов статей]

✍ Scribed by Идельсон А.В., Минц Г.Е. (ред.)

Book ID
127417874
Publisher
Наука
Year
1967
Tongue
Russian
Weight
3 MB
Series
Математическая логика и основания математики
Category
Library

No coin nor oath required. For personal study only.

✦ Synopsis

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

✦ Subjects

Математическая логика

📜 SIMILAR VOLUMES

Математическое моделирование рабочего пр
Математическое моделирование рабочего процесса жидкостных ракетных двигателей: Учеб. для студентов вузов, обучающихся по направлению ''Авиа- и ракетостроение'' и специальности ''Ракетные двигатели''
✍ Беляев Е.Н., Чванов В.К., Черваков В.В. 📂 Library 📅 1999 🏛 Изд-во МАИ 🌐 Russian ⚖ 3 MB

Работа посвящена малоизученной проблеме - созданию эффективных долговременных систем жизнеобеспечения человека, основанных на осуществлении в условиях космического полета

Тайны катынской трагедии [Материалы «кру
Тайны катынской трагедии [Материалы «круглого стола» по теме «Катынская трагедия: правовые и политические аспекты», проведённого 19 апреля 2010 года в Государственной Думе федерального Собрания Российской федерации]
📂 Standards 📅 2010 🌐 Russian ⚖ 166 KB

В сборнике представлены выступления участников «круглого стола» на тему «Катынская трагедия: правовые и политические аспекты» — известных историков, политологов, юристов, общественных деятелей. Читатели с интересом воспримут итоговые материалы «круглого стола», прежде всего «Рецензию на Заключение

Методологические основы анализа системны
Методологические основы анализа системных противоречий общественного развития
📂 Standards 📅 2000 🏛 Омский государственный аграрный университет имени 🌐 Russian ⚖ 4 MB

Монография посвящена изучению процессов формирования, развития и сглаживания системных противоречий в социальных системах. Используя методологию общей теории систем и теории самоорганизации, автор анализирует на основе обобщения фактического и теоретического материала закономерности проявления систе

Я – математик. Дальнейшая жизнь вундерки
Я – математик. Дальнейшая жизнь вундеркинда. Автобиографический отчет о зрелых годах и научной карьере Норберта Винера, профессора математики Массачусетского технологического института, который продолжает отчет о его детстве, приведенный в книге «Бывший вундеркинд»
📂 Standards 📅 2001 🌐 Russian ⚖ 114 KB

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