язык правил вывода
111Александр II (часть 2, XIII-XIX) — XIII. Дела внутренние (1866—1871). 4 го апреля 1866 года, в четвертом часу дня, Император Александр, после обычной прогулки в Летнем саду, садился в коляску, когда неизвестный человек выстрелил в него из пистолета. В эту минуту, стоявший в… …
112СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ — СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка. Учение о семантических категориях восходит к Т. Фреге и… …
113ИЗРАИЛЬ ДРЕВНИЙ — имя Израиль: 1. Одно из самонаименований древнеевр. народа, согласно библейской традиции возникшее в период его пребывания в Египте как именование потомков внука патриарха Авраама Иакова, к рому Бог дал имя Израиль (Быт 32. 28); синоним выражения …
114СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ – — теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка. Учение о семантических категориях восходит к Г.Фреге и особенно к Э.Гуссерлю… …
115Израиль — Государство Израиль, в Зап. Азии, на вост. побережье Средиземного моря. Образовано в 1948 г. на основе решения Генеральной Ассамблеи ООН от 29 ноября 1947 г. В качестве названия принято название еврейского гос ва, существовавшего примерно в этих… …
116Python — У этого термина существуют и другие значения, см. Python (значения). Python Класс языка: му …
117БОЛГАРИЯ — Республика Болгария, государство в Восточной Европе. Болгария расположена в восточной части Балканского полуострова. Граничит на севере с Румынией вдоль Дуная, на юге с Грецией и Турцией, на западе с Югославией и Македонией. На востоке омывается… …
118Болгария — Республика Болгария, гос во на Ю. Европы. Название Болгария (България) образовано от названия жителей болгары. Географические названия мира: Топонимический словарь. М: АСТ. Поспелов Е.М. 2001 …
119Вывод (рассуждение) — У этого термина существуют и другие значения, см. Вывод. Вывод (лат. conclusio)  процесс рассуждения, в ходе которого осуществляется переход от некоторых исходных суждений (предпосылок) к новым суждениям  заключениям. Правила… …
120Логический вывод — Вывод процесс рассуждения, в ходе которого осуществляется переход от некоторых исходных суждений (предпосылок) к новым суждениям заключениям. Правила преобразования исходной системы предпосылок в систему заключений называются правилами вывода… …