язык правил вывода
121Умозаключение — Вывод процесс рассуждения, в ходе которого осуществляется переход от некоторых исходных суждений (предпосылок) к новым суждениям заключениям. Правила преобразования исходной системы предпосылок в систему заключений называются правилами вывода… …
122Китай — Китайская Народная Республика, КНР (кит. Чжунхуа жэньминь гунхэго). I. Общие сведения К. крупнейшее по численности населения и одно из крупнейших по площади государств в мире; расположен в Центральной и Восточной Азии. На востоке …
123Египет — I Египет (Древний древнее государство в нижнем течении р. Нил, в северо восточной Африке. Исторический очерк. Заселение территории Е. восходит к эпохе палеолита. В 10 6 м тыс. до н. э., когда климат был более влажным,… …
124Австрия — Австрийская Республика, гос во в Центр. Европе. В IX в. при адм. устройстве пограничных земель Франк, гос ва Карла Великого в Подунавье была образована Восточная марка франк. Marchia Austriaca (марка граница, пограничная земля ). В конце X в.… …
125Экспертная система — (ЭС, англ. expert system)  компьютерная система, способная частично заменить специалиста эксперта в разрешении проблемной ситуации. Современные ЭС начали разрабатываться исследователями искусственного интеллекта в 1970 х годах, а в 1980 …
126Лемма о разрастании для контекстно-свободных языков — Лемма о разрастании для контексто свободных языков лемма, по аналогии с одноименной леммой для регулярных языков позволяющая относительно несложно доказывать, что данный язык не является контекстно свободным. Содержание 1 Формулировка 2… …
127DuAL — Семантика: Предметно ориентированный язык программирования Появился в: 2004 Автор(ы): Тимченко Максим Типизация данных: динамическая Испытал влияние …
128С++ — См. также: Си (язык программирования) C++ Семантика: мультипарадигмальный: объектно ориентированное, обобщённое, процедурное, метапрограммирование Тип исполнения: компилируемый Появился в: 1985 г. Автор(ы): Бьёрн Страуструп …