Энциклопедический словарь. 2009.
ЛОГИСТИКА — в нач. 20 в. название логики, изучаемой математическими методами, в частности, с использованием аксиоматизации и формализации. Слово «Л.» первоначально означало искусство вычисления или обычную арифметику. Г. Лейбниц употреблял его для… … Философская энциклопедия
Логистика — (от греч. logistike искусство вычислять, рассуждать) 1) синоним (несколько архаический) термина Математическая логика. 2) Наименование этапа в развитии математической логики, представленного работами Б. Рассела и его школы (см. Логицизм) … Большая советская энциклопедия
ИСЧИСЛЕНИЕ — (формальная система) система символов, основными компонентами которой являются: 1) алфавит (совокупность элементарных символов букв. цифр, скобок и т.п.), 2) правила построения формул из символов алфавита, 3) аксиомы (исходные доказуемые формулы) … Философская энциклопедия
ПУАНКАРЕ — (Poincare) Жюль Анри (1854 1912) французский мыслитель, математик и астроном, автор философской доктрины конвенционализма, труды которого, с одной стороны, завершили построение математики и физики классического периода, а с другой стороны,… … История Философии: Энциклопедия
ПУАНКАРЕ Жюль Анри (1854-1912) — французский мыслитель, математик и астроном, автор философской доктрины конвенционализма, труды которого, с одной стороны, завершили построение математики и физики классического периода, а с другой стороны, открыли пути развития математики нового … История Философии: Энциклопедия
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
ФОРМАЛИЗАЦИЯ — (от лат. forma вид, образ) отображение объектов некоторой предметной области с помощью символов к. л. языка. Простейший вид Ф. прямая репрезентация (обозначение, именование, описание) объектов с помощью терминов. Напр., в естественном языке роль… … Философская энциклопедия
СИМВОЛ — (от греч. symbolon знак, опознавательная примета) идея, образ или объект, имеющий собственное содержание и одновременно представляющий в обобщенной, неразвернутой форме некоторое иное содержание. С. стоит между (чистым) знаком, у которого… … Философская энциклопедия
МАТЕМАТИЧЕСКАЯ ЛОГИКА — одно из названий современной логики, пришедшей во втор. пол. 19 нач. 20 в. на смену традиционной логике. В качестве др. названия современного этапа в развитии науки логики используется также термин символическая логика. Определение… … Философская энциклопедия
Институт автоматики и вычислительной техники МЭИ — Институт автоматики и вычислительной техники Московского энергетического института (технического университета) … Википедия
