- классическая полнота
- мат. classical completeness
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Франция — (France) Французская Республика (République Française). I. Общие сведения Ф. государство в Западной Европе. На С. территория Ф. омывается Северным морем, проливами Па де Кале и Ла Манш, на З. Бискайским заливом… … Большая советская энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
Ортогональные многочлены — Пафнутий Львович Чебышёв В математике последовательностью ортогональных многочленов называют бесконечную последовательность действительных многочленов … Википедия
логика — ЛОГИКА (от греч. logik (logos) слово, разум, рассуждение) наука о правильных (корректных) рассуждениях. Традиционно рассуждение состоит из последовательности предложений, названных посылками, из которых следует единственное предложение,… … Энциклопедия эпистемологии и философии науки
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
Информационный поиск — (англ. Information retrieval) процесс поиска неструктурированной документальной информации, удовлетворяющей информационные потребности (англ.)русск.,[1] и наука об этом поиске … Википедия
Чернышевский, Николай Гаврилович — — сын Гавриила Ивановича Ч., публицист и критик; род. 12 го июля 1828 г. в Саратове. Одаренный от природы отличными способностями, единственный сын своих родителей, Н. Г. был предметом усиленных забот и попечений всей семьи. Хотя и… … Большая биографическая энциклопедия
Русская литература — I.ВВЕДЕНИЕ II.РУССКАЯ УСТНАЯ ПОЭЗИЯ А.Периодизация истории устной поэзии Б.Развитие старинной устной поэзии 1.Древнейшие истоки устной поэзии. Устнопоэтическое творчество древней Руси с X до середины XVIв. 2.Устная поэзия с середины XVI до конца… … Литературная энциклопедия
Логика — Гр … Википедия
Логик — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
Логика (философия) — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия