(язык программирования) язык и система логического программирования, основанные на языке предикатов математической логики дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка 6 букв
Основоположник современной математической логики 4 буквы
Структурная единица дисциплины, имеющая определенную логическую завершенность по отношению к результатам обучения. 4 буквы
Другие вопросы к слову Квантор
Настоящая фамилия американского писателя Эда Макбейна (псевдоним Эван Хантер) 7 букв