ДСМ-метод автоматического порождения гипотез: Логические и...

Main
Computers - Cybernetics
ДСМ-метод автоматического порождения...

ДСМ-метод автоматического порождения гипотез: Логические и эпистемологические основания

Аншаков О.М. (ред.)

0 / 0

آپ کو یہ کتاب کتنی پسند ہے؟

فائل کی کوالٹی کیا ہے؟

کوالٹی کا جائزہ لینے کے لیے کتاب ڈاؤن لوڈ کریں

فائل کی کوالٹی کیا ہے؟

سب زمرہ:

Computers - Cybernetics

سال:

2009

ناشر کتب:

Либроком

زبان:

russian

صفحات:

431

ISBN 10:

539700636X

ISBN 13:

9785397006361

فائل:

DJVU, 5.19 MB

IPFS:

,

russian, 2009

آن لائن پڑھیں

ڈاؤن لوڈ کریں (djvu, 5.19 MB)

میں تبدیلی جاری ہے۔

میں تبدیلی ناکام ہو گئی۔

آپ کو دلچسپی ہوسکتی ہے

Колмогоров А.Н., Драгалин А.Г. — Введение в математическую логику

Плиско В.Е., Хаханян В.Х. — Интуиционистская логика

— Проблемы кибернетики, вып.39

Фейс Р. — Модальная логика

Ганичева А. В. — Теория логического вывода: Учебное пособие

Михайлов А.Б., Рыжова Н.И., Швецкий М.В. — Упражнения по основам математической логики. Формальные системы первого порядка

Гладкий А.В. — Математическая логика

Гуц А.К. — Математическая логика и теория алгоритмов

Михайлов А.И. (ред.) — Исследования по неклассическим логикам и формальным системам

Смирнов В.А. (ред.) — Логический вывод. Сборник статей

Михайлов А.И. (ред.) — Исследования по неклассическим логикам и формальным системам

Бочвар Д.А., Гришин В.Н. (ред.) — Исследования по теории множеств и неклассическим логикам

Михайлов А. Б., Швецкий М.В. — Лекции по основам математической логики. Формальные системы первого порядка. Учебное пособие для студентов математического факультета

Зыков А.Г., Поляков В.И., Скорубский В.И. — Математическая логика

Шехтман В.Б. — Модальные логики топологических пространств [докт. дисс.]

Шехтман В.Б. — Модальные логики топологических пространств [докт. дисс.]

Зыков А.Г., Поляков В.И., Скорубский В.И. — Математическая логика

Набебин А.А., Кораблин Ю.П. — Математическая логика и теория алгоритмов

Храмов В.В. — Интеллектуальные информационные системы. Представление знаний в информационных системах. Часть 1

Зыков А.Г., Поляков В.И., Скорубский В.И — Математическая логика.

Смирнов В.А., и др. (ред.) — Логический вывод. Сборник статей

Коллектив авторов — Элементы математической логики. Исчисления высказываний

Бочвар Д.А., Гришин В.Н. (ред.) — Исследования по теории множеств и неклассическим логикам

Yuri Ivanovich Manin, Юрий Иванович Манин — Лекции по математической логике

Фейс Р. — Модальная логика

Лупанов О.Б. — Лекции по математической логике

Плиско В.Е., Хаханян В.Х. — Интуиционистская логика.

Терехов Д.В., Куценко Д.А. — Математическая логика и теория алгоритмов. Уч.пособ

Бочвар Д.А. (ред.) — Исследования по формализованным языкам и неклассическим логикам

Моисеев В.И. — Математическая логика: Учебные материалы

Алешина Н.А., Анисов А.М., Быстров П.И., и др. — Логика и компьютер

Войшвилло Е.К., Дегтярев М.Г. — Логика как часть теории познания и научной методологии 1

Тейз А., Грибомон П., Луи Ж., Снийерс Д., Водон П., Гоше П., Грегуар Э., Санчес Э., Дельсарт Ф. — Логический подход к искусственному интеллекту: от классической логики к логическому программированию

Тейз А., Грибомон П., Юлен Г. и др. — Логический подход к искусственному интеллекту. Книга 2: От модальной логики к логике баз данных

Игошин В.И. — Математическая логика + CD-R

اہم جملے

множество

множества

порождения

посредством

индукции

соответственно

сходства

гипотезы

автоматического

являются

рассуждения

примеров

рассуждений

определение

основания

объектов

аналогично

сигнатуры

значения

называть

доказательство

предикатов

содержит

правдоподобного

математические

процедур

правдоподобных