Меню
Электронные Книги:
Журналы
Аудиокниги
- Фантастика,Фентази
- Любовный роман
- Остросюжетные
- Исусство и культура
- Техника
- Поэзия, стихи
- Детские книги
- Гуманитарные науки
- Здоровье, спорт
- Естественные науки
- Кулинария
- Научно-популярные
- История
- Фотография и видео
- Web-мастеру
- Компьютерная лит-ра
- Программирование
- Профессии
- Бизнес
- Военная тематика
- Аппаратура
- Психология
- Сад ,огород ,хозяйство
- Дом и семья
- Умелые руки
- Строительство, ремонт
- Живопись и рисование
- Дизайн и графика
- Учебные пособия
- Хобби и развлечения
- Эзотерика
- Разное
Журналы
- Развлекательные
- Кулинарные
- Спортивные
- О здоровье
- Рукоделие, сделай сам
- Строительство, дизайн
- Сад и дом
- Автомобили
- Технические
- Компьютеры
- Военные
- Бизнес
- Детям и родителям
- Гуманитарные
- Научно-популярные
- Фотография
Аудиокниги
Самое интересное
Математическая теория логического вывода
Категория: Учебные пособия
Дата: 1 декабря 2011 | 
Просмотров: 991 
Эта книга представляет собой сборник переводов статей по теории логического вывода. Возросший за последнее время интерес к этой области математической логики вызван бурным развитием "машинной логики", в частности, появлением многочисленных работ, посвященных машинному доказательству теорем.
Вы просматриваете информацию о Математическая теория логического вывода. На сайте не хранится объектов авторского права, каких-либо файлов или ссылок на файлообменники.
Книги из категории Учебные пособия:
 |
Математическая логика В настоящее издание включены два учебника А. Н. Колмогорова и А. Г. Драгалина "Введение в математическую логику" и "Математическая логика. Дополнительные главы», ранее издававшиеся по отдельности. Они содержат классическое изложение понятий и резуль ... Читать |
 |
Конструктивная теория доказательств и нестандартный анализ А. Г. Драгалин (1941-1998) — выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А. Г. Драгалина по интуиционистск ... Читать |
 |
Введение в логику В данной книге кратко и доступно для начинающих изучение логики излагаются основные законы, правила, методы и термины традиционной логики. Поскольку в настоящее время в логике все более широко применяются математические методы и специальный аппарат м ... Читать |
 |
Логика, алгебра и базы данных Изложены основные понятия математической логики и алгебры, которые лежат в основе таких приложений этих дисциплин, как базы данных, экспертные системы, системы логического программирования и др. Эти же понятия становятся методологической основой опи ... Читать |
 |
Теория вероятностей и математическая статистика в технике Целью настоящей книги является освещение основных понятий и положений теории вероятностей и математической статистики в их приложениях к решению некоторых инженерно-технических задач. |
 |
В.И. Кобзарь. Логика ОГЛАВЛЕНИЕВведение § 1. О структуре курса логики§ 2. Логика как наука§ 3. Методология логики § 4. Мышление и язык. «Язык» логики § 5. Обзор истории логики |
 |
коллектив - BIOS. Сборник (20 книг) BIOS (Basic Input/Output System) - базовая система ввода-вывода. Так расшифровывается эта загадочная и манящая надпись. Что же на самом деле представляет собой эта система ввода-вывода и для чего она нужна? Это и многое другое вы узнаете из книг о BI ... Читать |
Кабинет
Ты не поверишь!