|
Книга ID: 2704471
Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : автореферат дис. ... кандидата физико-математических наук : 05.13.11 С.-Петерб. гос. ун-т
Тематика, ключевые слова:
Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.
Физико-математические науки -- Математика -- Основания математики. Математическая логика -- Логические исчисления. Исчисление высказываний, исчисление предикатов.
предикатная логика Лукасевича.
Сведения об издании:
Санкт-Петербург 2007
15 с.
Язык:
rus
|
|
