→ Пошук по сайту       Увійти / Зареєструватися
ИСЧИСЛЕНИЕ ЛОГИЧЕСКОЕ

ИСЧИСЛЕНИЕ ЛОГИЧЕСКОЕ [Мапа поняття]

← ИСЧИСЛЕНИЕ ЛОГИЧЕСКОЕ — Объект изучения в математической логике, в основе которого лежит понятие формальной системы. В искусственном интеллекте используются различные И.Л.: исчисления предикатов, пропозициональное исчисление, исчисление классов, исчисление отношений, многосортные и многозначные логики и т.п..
→ИСЧИСЛЕНИЕ ЛОГИЧЕСКОЕ

Зверніть увагу на додаткові посилання

Головний розділ

ИСЧИСЛЕНИЕ ЛОГИЧЕСКОЕ
загрузка...
Сторінки, близькі за змістом
ИСЧИСЛЕНИЕ ЛОГИЧЕСКОЕ
Объект изучения в математической логике, в основе которого лежит понятие формальной системы. В искусственном интеллекте используются различные И.Л.: исчисления предикатов, пропозициональное исчисление, исчисление классов, исчисление отношений, многосортные и многозначные логики и т.п..