СУЭБ ИВТ СО РАН

А.М.Федотов

Словарь терминов в коллекции: Thesaurus of Information Technology (zthes_cat)

Логическое программирование [ru]

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

( Логическое программирование () [ru]

Головные термины:

[BT] Декларативное программирование [ru]

Дочерние термины:

[NT] Data-minig

[NT] Автоматическое управление [ru]

[NT] САПР [ru]

[NT] Символьные вычисления

Ключевые термины, связанные с термином

[RT] Декларативное программирование [ru]

[RT] Искусственный интеллект [ru]

[RT] Парадигмы программирования [ru]

[RT] Технологии программирования

[RT] Функциональное программирование [ru]

Контекстный поиск: Задайте образец для поиска:
    

© 2013-2024, Евразийский национальный университет им. Л.Н.Гумилева, Астана © 2007-2024, Новосибирский государственный университет, Новосибирск © 1998-2024, Институт вычислительных технологий СО РАН, Новосибирск © 1998-2024, Федотов А.М.

ФИТ НГУ       НГУ ЕНУ им.Гумилева ИВТ СО РАН