Йерархия на предикатите
Клас на сложност - В теорията на алгоритмите класовете на сложност са набори от изчислителни проблеми, които са приблизително еднакви по отношение на изчислителна сложност. По-тясно казано, класовете на сложност са набори от предикати (функции, които получават дума като вход и връщат отговор от 0 ... ... Wikipedia
_2. Теоретична основа на речника и първоначалните теоретични положения - Докато работихме върху речника, ние разчитахме на следните теоретични положения на лексикологията и семантичния синтаксис. Първо. Идеята за единството на речника и граматиката. Това взаимодействие се осъществява главно на ниво семантични модели ... ... Експериментален синтактичен речник
Описателна логика - Описателни логики [1] или описателни логики [2] [източник не е посочен 861 дни] (съкр. DL, английски описателни логики, понякога се използва неточен превод: описателни логики) семейство езици за представяне на знания ... Wikipedia
FREGE - (Frege) Готлоб (1848 1925) немски. логик, математик и философ. Един от основоположниците на съвременната символна логика. Новите идеи и подходи, формулирани от Ф., до голяма степен предопределиха развитието на логиката през 20 век. В работата "Изчисление на понятията" (1879) ... ... Философска енциклопедия
Списък със статии по математическа логика - Това е сервизен списък със статии, създаден за координиране на работата по разработването на темата. Това предупреждение не трае ... Уикипедия
ФОРМАЛНАТА ЛОГИКА е наука, която изучава мисленето от v. sp. способността му да бъде формализиран в езика. Най-често срещаният за пропедевтичния вариант на L. t. остава само дефинирането й като наука за формите и законите на правилното мислене. Въпреки това, това е езикът ... ... Модерен философски речник
GOST R ISO/IEC 10746-2-2000: Информационни технологии. Връзката на отворените системи.Управление на данни и отворена разпределена обработка. Част 2: Базов модел — Терминология GOST R ISO/IEC 10746-2 2000: Информационни технологии. Връзката на отворените системи. Управление на данни и отворена разпределена обработка. Част 2. Основен модел на оригиналния документ: 6.3 Абстракция на процеса на изхвърляне ... ... Речник-справочник на термините на нормативната и техническата документация
Брюшинкин, Владимир Никифорович - (р. 26.12.1953 г.) спец. логика, философия. логика, история на философията, методология. изграждане на интелигентни системи, преводач на англоезична и немскоезична логика и философия. литература; д-р фил. науки, проф. Род. в Красноярск. Завършва философия. f t MSU ... ... Голяма биографична енциклопедия