Меню
Электронные Книги:
Журналы
Аудиокниги
- Фантастика,Фентази
- Любовный роман
- Остросюжетные
- Исусство и культура
- Техника
- Поэзия, стихи
- Детские книги
- Гуманитарные науки
- Здоровье, спорт
- Естественные науки
- Кулинария
- Научно-популярные
- История
- Фотография и видео
- Web-мастеру
- Компьютерная лит-ра
- Программирование
- Профессии
- Бизнес
- Военная тематика
- Аппаратура
- Психология
- Сад ,огород ,хозяйство
- Дом и семья
- Умелые руки
- Строительство, ремонт
- Живопись и рисование
- Дизайн и графика
- Учебные пособия
- Хобби и развлечения
- Эзотерика
- Разное
Журналы
- Развлекательные
- Кулинарные
- Спортивные
- О здоровье
- Рукоделие, сделай сам
- Строительство, дизайн
- Сад и дом
- Автомобили
- Технические
- Компьютеры
- Военные
- Бизнес
- Детям и родителям
- Гуманитарные
- Научно-популярные
- Фотография
Аудиокниги
Самое интересное
Математическая теория логического вывода
Категория: Учебные пособия
Дата: 1 декабря 2011 | 
Просмотров: 864 
Название: Математическая теория логического вывода
Автор: Идельсон А.В., Минц Г.Е.
Издательство: Наука
Год издания: 1967
Страниц: 350
Язык: русский
Формат: djvu
Качество: хорошее
Размер: 4.3 Мб
Эта книга представляет собой сборник переводов статей по теории логического вывода. Возросший за последнее время интерес к этой области математической логики вызван бурным развитием "машинной логики", в частности, появлением многочисленных работ, посвященных машинному доказательству теорем.
В сборнике представлены как работы, ставшие уже классическими, так и некоторые работы последних лет. Из многочисленных в настоящее время исследований по теории логического вывода в сборник отобраны работы, связанные с наиболее интересными (с точки зрения составителей) этапами развития этой теории.
Уважаемые посетители, если вы хотите скачать Математическая теория логического вывода и не видите ссылок, то скорее всего наши партнёры(литрес) их не предоставили. Можем предложить купить данное издание.
Книги из категории Учебные пособия:
 |
Математическая логика В настоящее издание включены два учебника А. Н. Колмогорова и А. Г. Драгалина "Введение в математическую логику" и "Математическая логика. Дополнительные главы», ранее издававшиеся по отдельности. Они содержат классическое изложение понятий и резуль ... Читать |
 |
Математика 19 века. Математическая логика. Алгебра. Теория чисел. Теория ве ... Содержание: математическая логика алгебра и алгебраическая теория чисел проблемы теории чисел теория вероятностей |
 |
Основания теории множеств В ходе развития теории множеств, которая является основой построения большинства математических дисциплин, возникли чрезвычайно сложные проблемы непротиворечивости. Книга представляет собой наиболее полный из существующих обзор исследований, вызванн ... Читать |
 |
Теория вероятностей и математическая статистика в технике Целью настоящей книги является освещение основных понятий и положений теории вероятностей и математической статистики в их приложениях к решению некоторых инженерно-технических задач. |
 |
Конструктивная теория доказательств и нестандартный анализ А. Г. Драгалин (1941-1998) — выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А. Г. Драгалина по интуиционистск ... Читать |
 |
Математическая статистика В учебнике излагаются основания современной математической статистики, предельные теоремы для эмпирических распределений и основных типов статистик, основы теории оценок и теории проверки гипотез. |
 |
Кам-теория и проблемы устойчивости Во второй том избранных трудов Ю.Мозера включены классические работы по КАМ-теории, принесшие ему мировую известность. Как и все работы Мозера, их отличает доступность и ясность изложения самых трудных вопросов теории динамических систем. Почти все ... Читать |
re...
Ты не поверишь!