Для создания компьютерных программ используют разные модели программирования. В статье рассказываем о логическом программировании — что это такое, где применяется и какой язык необходим для этой модели. Логическое программирование — одна из возможных парадигм программирования. Она основывается на математической логике: программы задаются в форме логических утверждений и правил вывода. На основании заданных фактов формируются новые. Это упрощенная версия функционального программирования для математиков и лингвистов, которые обрабатывают символьную информацию...

Логическое мышление - это мыслительный процесс, в котором человек оперирует имеющимися знаниями для получения конкретного вывода и которому присущи такие признаки, как обоснованность, последовательность и связность. Формы логического мышления 1) Дедуктивное мышление (лат. deductio — выведение) В этой форме мышления на первый план выходит логическое правило, которое мы можем использовать, чтобы сделать убедительный вывод о логическом следствии чего-то данного и одного или нескольких условий. Соответственно, выводы делаются от общезначимого к чему-то особенному, частному случаю...