КРИПКЕ
11Крипке Сол Аарон — Сол Крипке Дата и место рождения: 1940 Школа/традиция: Аналитическая философия Период: XX век Направление: Западная философия …
12Крипке Сол Арон — (Kripke) (р. 1940), американский логик и философ, представитель аналитической философии. Разработал основы теоретико модельной семантики; построил семантику возможных миров («семантика Крипке»), на основе которой выдвинул оригинальную концепцию… …
13КРИПКЕ МОДЕЛИ — структуры, состоящие из нек рого множества обычных моделей для классической логики, упорядоченных между собой нек рым отношением, н служащие для интерпретации в них различных неклассических логик (интуипионистской, модальных и др.). Точнее, К. м …
14Крипке С. А. — КРИ́ПКЕ (Kripke) Сол Арон (р. 1940), амер. логик и философ, предст. аналитич. философии. Работы по логич. семантике, в т. ч. семантике возможных миров ( семантика К. ) …
15КРИПКЕ (KRIPKE) Сол Аарон — (р.1940) амер. философ и логик. Проф. Принстонского ун та (с 1976). Основные области исследования: философия языка, логическая семантика, модальная логика, аналитическая философия. Позиция К. сформировалась под влиянием логических и… …
16Эрик Крипке — Eric Kripke Имя при рождении: Эрик Крипке Дата рождения: 24 апреля 1974 (35 лет) Место рождения …
17Семантика Крипке — является распространенной семантикой для неклассических логик, таких как интуиционистская логика и модальная логика. Она была создана Солом Крипке в конце 1950х начале 1960х годов. Это было большим достижением для развития теории моделей для… …
18Модель Крипке — (англ. Kripke structure) это один из вариантов недетерминированного конечного автомата, который был предложен Солом Крипке. Этот вид НКА применяется при проверке моделeй для представления поведения системы. Модель Крипке является простой… …
19Сол Аарон Крипке — …
20Сол Крипке — …