Глоссарий
Формальная логика

Формальная логика
англ.Formal logic
Формальная логика - наука об общих структурах и законах правильного мышления, образования и сочетания понятий и высказываний, о правилах умозаключений независимо от их конкретного содержания.

Исчисление высказываний
Исчисление высказываний - область математической логики.

Исчисление предикатов
Исчисление предикатов - формальный язык классической логики, который использует функции и предикаты для описания отношений между отдельными сущностями.

Логика
англ.Logic
От греч.Logik - соответствующий рассуждениям
Логика - совокупность наук о законах и формах правильного мышления.

Логическое программирование
Логическое программирование - программирование в терминах фактов и правил вывода, с использованием языка, основанного на формальных исчислениях.

Математическая логика
Математическая логика - раздел логики, который развивается методами математики. Математическая логика занимается обоснованием суждений, доказательств и логическим выводом.

Нечеткая логика
англ.Fuzzy logic
Нечеткая логика - логика, в которой допускается промежуточные значения истинности высказываний, заключенные между традиционными "истина" и "ложь". Нечеткая логика предложена профессором Калифорнийского университета Лофти Заде в 1965г.

Символическая логика
Символическая логика - представление формальной логики на основе специального языка. Символическая логика оперирует с высказываниями, используя логические операции: отрицание, дизъюнкция, конъюнкция. На основе символической логики создаются логические языки.

Традиционная логика
англ.Traditional logic
Традиционная логика - этап в развитии формальной логики, связанный с анализом элементарных структур мышления, выведения доказательства и правил предупреждения логических ошибок в рамках естественных языков и простейших приемов символизации.

Язык программирования Пролог
англ.PROLOG language
От англ.PROgramming in LOGic
Язык программирования Пролог - язык логического программирования, программа на котором состоит:
- из логических утверждений, образующих базу данных; и
- из правила вывода новых утверждений из известных.

[ 15-05-2024 www.glossary.ru]