- конструктивное обобщение
- мат. constructive generalization
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… … Философская энциклопедия
ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… … Философская энциклопедия
МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М … Философская энциклопедия
ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… … Философская энциклопедия
Теория демократии — Демократия Ценности Законность · Равенство Свобод … Википедия
ФОРМАЛЬНАЯ ФИЛОСОФИЯ — существующая в течение тысячелетий тенденция философии к фундаментальному обобщению понятий и законов, присущих формальным аспектам частных философских наук: формальной логики, формальной онтологии, формальной этики (см. в наст. словаре ст. с… … Современный философский словарь
Технологический процесс — (Process) Определение технологического процесса, типы технологического процесса Определение технологического процесса, типы технологического процесса, правила процесса Содержание Содержание Определение . Понятие технологического процесса Основные … Энциклопедия инвестора
Квантовая механика — волновая механика, теория устанавливающая способ описания и законы движения микрочастиц (элементарных частиц, атомов, молекул, атомных ядер) и их систем (например, кристаллов) а также связь величин, характеризующих частицы и системы, с… … Большая советская энциклопедия
ШЛИК — (Schlick) Мориц (1882 1936, застрелен бывшим своим студентом психопатом на лестнице в здании университета) австрийский философ, физик и логик. Диссертация по физике под руководством М.Планка (1904). Профессор в Ростоке и Киле (1911 1922), Вене (с … История Философии: Энциклопедия
Сказка — I.Понятие II.С. как жанр 1. Происхождение С. 2. Виды С. 3. Сказочные мотивы и сюжеты 4. Сказочные образы 5. Композиция С. 6. Бытование С. III.Литературная С. Библиография … Литературная энциклопедия
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия