Времева логика
ЛОГИКА НА ВРЕМЕТО — ЛОГИКА НА ВРЕМЕТО раздел на съвременните некласически логики, който изучава твърдения с истинни стойности, които се променят във времето. Технически, последното е формализирано чрез временни оператори, които, като ... ... Философска енциклопедия
темпорална логика — ВРЕМЕННА ЛОГИКА раздел на некласическата логика; той изучава разсъжденията, изградени от преценки, изразени чрез твърдения с истинни стойности, насочени към определено време. Нейната поява (началото на 50-те години на ХХ век), както и през ... ... Енциклопедия по епистемология и философия на науката
темпоралната логика е раздел от съвременната модална логика, който изучава логическите връзки на времеви изявления, т.е. изявления, в които времевият параметър е включен в логическа форма. Л. в. започва да се оформя през 50-те години. преди всичко благодарение на работата на английския ... Речник на логическите термини
ЛОГИКАТА В БЪЛГАРИЯ е еволюцията на съвременната (математическа) логика в България. Con. 19 век и рано 20-ти век бележат излизането на логиката от рамките на силогистиката и появата на новаторски логики, като P.S. Порецки, М.В. Карински, Л.В. Рутковски, С.И. Поварнин и др. Казански ... ... Философска енциклопедия
логиката в компютърните науки — ЛОГИКАТА В КОМПЮТЪРНИТЕ НАУКИ начини за прилагане на логиката, разделени в четири основни области. Първият е логиката като теоретичен инструмент при проектирането на изчислителни устройства. Второто изпълнение на логически ... ... Енциклопедия на епистемологията и философията на науката
Логиката на Бъроуз - логиката на Бъроуз Абади Нийдъм или BAN логиката е формален логически модел за анализ на знанието и доверието, широко използван при анализа на протоколи ... ... Wikipedia
Логика - Gr ... Wikipedia
Логика (философия) — Логиката (друг гръцки λογική „наука за разсъждението“, „изкуство на разсъждението“ от λόγος „говор“, „разсъждение“) е наука за формите, методите и законите на интелектуалната познавателна дейност, формализирани с помощта на логически език. Тъй като това е ... ... Уикипедия
Асинхронна логика - Съдържание 1 Принципът на самосинхронизация 2 Кратка история ... Уикипедия
ВРЕМЕВА ЛОГИКА - или Темпорална логика, раздел от съвременната модална логика, който изучава логическите връзки на времевите твърдения, т.е. изрази, в които времевият параметър е включен в логическата форма. В.л. започва да се оформя през 50-те години. преди всичко ... ... Философска енциклопедия