ЛОГИКА ПРЕДИКАТОВ википедия — Вікіпедія — Wikipedia
ЛОГИКА ПРЕДИКАТОВ — раздел логических теорий, в котором изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов; в основе логики предикатов лежит формализованный язык, отображающий субъективно-предикатную структуру высказываний. См. также Исчисление предикатов.
ЛОГИКА ПРЕДИКАТОВ вики — Вікі — Wiki
Свежие комментарии