-
1 цепочка логического вывода
infchaîne d’inférencesРусско-французский политехнический словарь > цепочка логического вывода
См. также в других словарях:
Евклид — У этого термина существуют и другие значения, см. Евклид (значения). Евклид Εὐκλείδης … Википедия
«Начала» Евклида — Евклид Ευκλείδης Дата рождения: III век до н. э. Научная сфера: древнегреческий математик Евклид или Эвклид, (др. греч … Википедия
Евклид (математик) — Евклид Ευκλείδης Дата рождения: III век до н. э. Научная сфера: древнегреческий математик Евклид или Эвклид, (др. греч … Википедия
Евклид из Александрии — Евклид Ευκλείδης Дата рождения: III век до н. э. Научная сфера: древнегреческий математик Евклид или Эвклид, (др. греч … Википедия
Эвклид из Александрии — Евклид Ευκλείδης Дата рождения: III век до н. э. Научная сфера: древнегреческий математик Евклид или Эвклид, (др. греч … Википедия
Эвклид (математик) — Евклид Ευκλείδης Дата рождения: III век до н. э. Научная сфера: древнегреческий математик Евклид или Эвклид, (др. греч … Википедия
Эвклид — Евклид Ευκλείδης Дата рождения: III век до н. э. Научная сфера: древнегреческий математик Евклид или Эвклид, (др. греч … Википедия
ЕВКЛИД АЛЕКСАНДРИЙСКИЙ — ЕВКЛИД АЛЕКСАНДРИЙСКИЙ (Εὐκλείδης ὁ Ἀλεξανδρεύς) (ок. 300 до н. э.), др. греч. ученый и математик, автор обширного корпуса сочинений, из которых наиболее известны «Начала»; жил и работал в Александрии во времена Птолемея I Сотера.… … Античная философия
ГОСТ 19781-90: Обеспечение систем обработки информации программное. Термины и определения — Терминология ГОСТ 19781 90: Обеспечение систем обработки информации программное. Термины и определения оригинал документа: 9. Абсолютная программа Non relocatable program Программа на машинном языке, выполнение которой зависит от ее… … Словарь-справочник терминов нормативно-технической документации
ИСЧИСЛЕНИЕ — (формальная система) система символов, основными компонентами которой являются: 1) алфавит (совокупность элементарных символов букв. цифр, скобок и т.п.), 2) правила построения формул из символов алфавита, 3) аксиомы (исходные доказуемые формулы) … Философская энциклопедия
Перенаправление (UNIX) — У этого термина существуют и другие значения, см. Перенаправление. В информатике перенаправление это возможность присущая многим командным оболочкам, таким как командные оболочки UNIX, позволяющая перенаправлять стандартные потоки в… … Википедия