-
1 модель Крипке
Computers: Kripke model -
2 шкала Крипке
Logics: Kripke frame, modal frame -
3 играть на с'крипке
vgener. viol spelenRussisch-Nederlands Universal Dictionary > играть на с'крипке
См. также в других словарях:
КРИПКЕ — (Kripke) Сол Аарон (р. 1940) амер. аналитический философ и логик. Проф. Принстонского ун та. Основные области исследования: модальная логика, логическая семантика, философия языка, эпистемология. Предложил семантику для модальной логики,… … Философская энциклопедия
Крипке — Крипке, Сол Аарон (р. 1940) американский аналитический философ и логик. Крипке, Эрик (р. 1974) американский продюсер, телережиссёр и сценарист … Википедия
Крипке Э. — Эрик Крипке Eric Kripke Имя при рождении: Эрик Крипке Дата рождения: 24 апреля 1974 (35 лет) Место рождения … Википедия
Крипке С. — Сол Крипке Дата и место рождения: 1940 Школа/традиция: Аналитическая философия Период: XX век Направление: Западная философия … Википедия
Крипке С. А. — Сол Крипке Дата и место рождения: 1940 Школа/традиция: Аналитическая философия Период: XX век Направление: Западная философия … Википедия
КРИПКЕ (Kripke) Сол Арон — (р. 1940) американский логик и философ, представитель аналитической философии. Разработал основы теоретико модельной семантики; построил семантику возможных миров ( семантика Крипке ), на основе которой выдвинул оригинальную концепцию истины;… … Большой Энциклопедический словарь
Крипке, Сол Аарон — Сол Крипке Дата рождения: 13 ноября 1940(1940 11 13) (72 года) … Википедия
Крипке, Эрик — Эрик Крипке Eric Kripke Имя при рождении … Википедия
Крипке Эрик — Эрик Крипке Eric Kripke Имя при рождении: Эрик Крипке Дата рождения: 24 апреля 1974 (35 лет) Место рождения … Википедия
Крипке, Сол — Сол Крипке Дата и место рождения: 1940 Школа/традиция: Аналитическая философия Период: XX век Направление: Западная философия … Википедия
Крипке Сол Аарон — Сол Крипке Дата и место рождения: 1940 Школа/традиция: Аналитическая философия Период: XX век Направление: Западная философия … Википедия