- исчисление конверсии
- мат. conversion calculus
Большой англо-русский и русско-английский словарь. 2001.
исчисление конверсии
Смотреть что такое "исчисление конверсии" в других словарях:
ФОРМАЛЬНАЯ ЛОГИКА — наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержания. Определение «формальная» было введено И. Кантом с намерением подчеркнуть ведущую особенность Ф.л. в подходе к… … Философская энциклопедия
Комбинаторная логика — направление математической логики, занимающееся фундаментальными не нуждающимися в объяснении и не анализируемыми понятиями и методами формальных логических систем или исчислений[1][2]. В дискретной математике тесно связана с λ… … Википедия
ЧЁРЧ — (Church) Алонзо (р. 14.6.1903, Вашингтон), амер. логик и математик. Работы Ч. относятся к различным областям логики. Он развил мысль об отделении понятия функции от понятия множества. В 1936 выдвинул осн. гипотезу теории вычислимых… … Философская энциклопедия
ЛОГИКА КОМБИНАТОРНАЯ — одно из направлений логики, занимающихся ее основаниями, т.е. такими осн. понятиями и методами, к рые при построении формальных логич. систем или исчислений предполагаются обычно не нуждающимися в пояснениях (содержательно понятными) и не… … Философская энциклопедия
Валютная система — (Monetary system) Валютная система это правовая форма организации валютных отношений Валютная система: Ямайская, Европейская, Бреттон Вудская, Парижская, Генуэзская, Российская Содержание >>>>>>>>>> … Энциклопедия инвестора
Александр III — ныне благополучно царствующий Император Всероссийский, второй сын императора Александра II и императрицы Марии Александровны, родился 26 февраля 1845 г., вступил на прародительский престол 2 марта 1881 г. Воспитание получил при ближайших заботах… … Большая биографическая энциклопедия
Александр III — ныне благополучно царствующий Император Всероссийский, второй сын императора Александра II и императрицы Марии Александровны, родился 26 февраля 1845 г., вступил на прародительский престол 2 марта 1881 г. Воспитание получил при ближайших заботах… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Александр III, Император Всероссийский — I ныне благополучно царствующий император Всероссийский, второй сын императора Александра II и императрицы Марии Александровны, родился 26 февраля 1845 г., вступил на прародительский престол 2 марта 1881 г. Воспитание получил при ближайших… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Япония* — Содержание: I. Физический очерк. 1. Состав, пространство, береговая линия. 2. Орография. 3. Гидрография. 4. Климат. 5. Растительность. 6. Фауна. II. Население. 1. Статистика. 2. Антропология. III. Экономический очерк. 1. Земледелие. 2.… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Япония — I КАРТА ЯПОНСКОЙ ИМПЕРИИ. Содержание: I. Физический очерк. 1. Состав, пространство, береговая линия. 2. Орография. 3. Гидрография. 4. Климат. 5. Растительность. 6. Фауна. II. Население. 1. Статистика. 2. Антропология. III. Экономический очерк. 1 … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Уленбек, Джордж Юджин — В Википедии есть статьи о других людях с такой фамилией, см. Уленбек. Джордж Юджин Уленбек George Eugene Uhlenbeck Дата рождения: 6 декабря 1900 … Википедия
