-
21 extended prepositional calculus
Биология: расширенное пропозициональное исчислениеУниверсальный англо-русский словарь > extended prepositional calculus
- 1
- 2
См. также в других словарях:
ЛЕСНЕВСКИЙ — (Lesnewsky) Станислав (1886 1939) пол. логик. Обучался в Берлине, Лейпциге, Мюнхене, Гейдельберге и Львове (под руководством К. Твардовского). Проф. философии математики Варшавского ун та в 1919 1939. Л. принадлежит к крупнейшим логикам 20 в.… … Философская энциклопедия
Парадокс — (от греч. parádoxes неожиданный, странный) неожиданное, непривычное (хотя бы по форме) суждение (высказывание, предложение), резко расходящееся с общепринятым, традиционным мнением по данному вопросу. В этом смысле эпитет «парадоксальный» … Большая советская энциклопедия
ТАРСКИЙ — (Tarski) Альфред (1901 1983) пол. логик и математик. Изучал математику и философию в Варшаве в 1919 1923; его учителями были логики С. Лесьневский и Я. Лукасевич, математик В. Серпиньский и философ Т. Котарбиньский. В 1925 1939 Т. преподавал… … Философская энциклопедия
парадокс — ПАРАДОКС (от греч. para вне и doxa мнение). 1) В широком (внелогическом) смысле все то, что так или иначе вступает в конфликт (расходится) с общепринятым мнением, подтвержденным традицией, законом, правилом, нормой или здравым смыслом.… … Энциклопедия эпистемологии и философии науки
ФРЕГЕ — (Frege) Готлоб (1848 1925) немецкий логик, математик и философ. Профессор Йенского университета. Оказал формирующее влияние на современную формальную логику, основания математики и аналитическое направление философии в 20 в. Основные труды:… … История Философии: Энциклопедия
ФРЕГЕ отлоб (1848-1925) — немецкий логик, математик и философ. Профессор Йенского университета. Оказал формирующее влияние на современную формальную логику, основания математики и аналитическое направление философии в 20 в. Основные труды: Запись в понятиях (1879), Основы … История Философии: Энциклопедия
Лейбниц, Готфрид Вильгельм — Готфрид Вильгельм Лейбниц Gottfried Wilhelm Leibniz … Википедия
Функциональный анализ — У этого термина существуют и другие значения, см. Анализ. Функциональный анализ раздел высшей математики, в котором изучаются бесконечномерные топологические векторные пространства (в основном пространства функций[1]) и их отображения.… … Википедия
Тензорное поле — Тензорное поле это отображение, которое каждой точке рассматриваемого пространства ставит в соответствие тензор. Содержание 1 Определение 1.1 Опреде … Википедия
Бугаев, Николай Васильевич — В Википедии есть статьи о других людях с такой фамилией, см. Бугаев. Николай Васильевич Бугаев … Википедия
БЕНТАМ — (Bentham) Иеремия (Джереми) (1748 1832) англ. правовед, философ, экономист и общественный деятель. Его главное филос. произведение «Введение в принципы нравственности и законодательства» было написано в 1780, но впервые опубликовано лишь в 1789… … Философская энциклопедия