Стартовая страница
Тематическая группировка Расширить глоссарий Первый глоссарий Предыдущий глоссарий Основные темы Следующий глоссарий Последний глоссарий
 Глоссарий

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

Оглавление 

Входы 

Декларативные языки программирования >

Логика >

Мышление >

Общественные науки >

Технологии программирования >


 

§ Познание

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

Formal logic

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

 Выходы

 >> Исчисление высказываний


 

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

Formal logic

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

Исчисление предикатов

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

Логика

Logic

От греч.Logik - соответствующий рассуждениям

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

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

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

Математическая логика

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

Нечеткая логика

Fuzzy logic

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

Символическая логика

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

Традиционная логика

Traditional logic

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

Язык программирования Пролог

PROLOG language

От англ.PROgramming in LOGic

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

  Первый  <<  Предыдущий

 Оглавление глоссария No.6885

Следующий  >>  Последний 

Формальная логика / Исчисление высказываний / Исчисление предикатов / Логика / Логическое программирование / Математическая логика / Нечеткая логика / Символическая логика / Традиционная логика / Язык программирования Пролог


Библиография  |  webadmin@glossary.ru
Copyright © 2000-2020 «Web-and-Press»

  

Курильский бобтейл;
Служебная библиотека
СИАРЕС

Деловой двор
Бухгалтерский учет для


  


Rambler's Top100
Rambler's Top100