язык правил вывода
81МАТЕМАТИЧЕСКАЯ ЛИНГВИСТИКА — математическая дисциплина, предметом к рой является разработка и изучение понятий, образующих основу формального аппарата для описания строения естественных языков (т. е. метаязыка лингвистики). Возникновение М. л. можно отнести приблизительно к… …
82Теория (логика) — В логике теория  это множество формул некоторого языка. Как правило, интерес представляют лишь теории, содержащие некоторый минимальный набор формул (аксиом) и замкнутые относительно некоторых правил вывода, специфических для языка. Термин… …
83искусственный интеллект — ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ (от лат. intellectus познание, понимание, рассудок) направление исследований в современной компьютерной науке, целью которого является имитация и усиление интеллектуальной деятельности человека посредством… …
84ДЭВИДСОН — (Davidson) Дональд (р. 1917) амер. аналитический философ. Проф. Принстонского (1967 1970), Рокфеллеровского (1970 1976), Чикагского (1976 1981) и Калифорнийского (с 1981) ун тов. Исследовательские интересы Д. охватывают широкий круг проблем в… …
85МЕТАЛОГИКА — раздел логики, в котором изучаются логические исчисления и формализованные логические теории. В рамках данного раздела изучаются все те универсальные отношения, которые могут иметь место между смысловыми значениями символов того или иного языка;… …
86МЕТАТЕОРИЯ — совокупность математич. средств и методов, предназначенных для описания и определения нек рой формальной аксиоматич. теории, а также для исследования ее свойств. М. является важной составной частью метода формализации одного из центральных… …
87Курилович Ежи — Курылович (Kuryłowicz) (1895 1978), польский языковед, специалист в области индоевропейского, семитского, общего, сравнительно исторического языкознания. Оказал большое влияние на развитие общего языкознания, структурной лингвистики. Исследовал… …
88Логика первого порядка — (исчисление предикатов)  формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего порядка. Содержание 1 …
89Исчисление предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… …
90Исчисления предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… …
