-
1 арифметизация
Русско-английский словарь математических терминов > арифметизация
-
2 арифметизация
-
3 арифметизация
Mathematics: arithmetization -
4 арифметизация
матем.арифметиза́ція -
5 арифметизация
матем.арифметиза́ція -
6 арифметизация
ж. -
7 арифметизация
nIT. arithmétisation -
8 арифметизация
арифметиза́ция ж.
arithmetization -
9 арифметизация
-
10 арифметизация
-
11 арифметизация
-
12 арифметизация
Русско-английский научно-технический словарь Масловского > арифметизация
-
13 арифметизация
ж. arithmetization -
14 арифметизация
-
15 арифметизация
-
16 арифметизация синтаксиса
Mathematics: syntax arithmetizationУниверсальный русско-английский словарь > арифметизация синтаксиса
-
17 арифметизация синтаксиса
Русско-английский научно-технический словарь Масловского > арифметизация синтаксиса
-
18 геделевская арифметизация
Mathematics: Godel arithmetizationУниверсальный русско-английский словарь > геделевская арифметизация
-
19 Arithmetisierung
(f)арифметизация -
20 Gödelsche Arithmetisierung
Геделевская арифметизацияНемецко-русский математический словарь > Gödelsche Arithmetisierung
См. также в других словарях:
АРИФМЕТИЗАЦИЯ — метод, применяемый в математич. логике для замены рассуждений о выражениях к. л. логико математич. языка рассуждениями о натуральных числах. С целью такой замены устанавливается к. л. достаточно простое взаимно однозначное отображение множества… … Математическая энциклопедия
ЖЕГАЛКИН — Иван Иванович (род. 1869 – ум. 1947) – рус. логик и математик, один из создателей школы математической логики. Построил логику высказываний в виде арифметики двух чисел – нуля («четное») и единицы («нечетное»), в которой в отличие от обычного… … Философская энциклопедия
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
Жегалкин, Иван Иванович — [22 июля (3 авг.) 1869 1947] сов. математик. Засл. деят. науки РСФСР (1945). Учился в Моск. ун те, где с 1902 приват доцент, а затем проф. Проф. ряда др. учебных заведений Москвы. В 1911 покинул ун т. Вернувшись в ун т в 1917, Ж. работал в нем до … Большая биографическая энциклопедия
Германия — (лат. Germania, от Германцы, нем. Deutschland, буквально страна немцев, от Deutsche немец и Land страна) государство в Европе (со столицей в г. Берлин), существовавшее до конца второй мировой войны 1939 45. I. Исторический очерк … Большая советская энциклопедия
Ivan Ivanovich Zegalkin — Iwan Iwanowitsch Schegalkin (Иван Иванович Жегалкин) (* 1869; † 1947; wiss. Transliteration Ivan Ivanovič Žegalkin) war ein russischer Logiker und Mathematiker. Schegalkin war Professor an der Moskauer Universität und einer der Gründer der… … Deutsch Wikipedia
Ivan Ivanovich Žegalkin — Iwan Iwanowitsch Schegalkin (Иван Иванович Жегалкин) (* 1869; † 1947; wiss. Transliteration Ivan Ivanovič Žegalkin) war ein russischer Logiker und Mathematiker. Schegalkin war Professor an der Moskauer Universität und einer der Gründer der… … Deutsch Wikipedia
Iwan Iwanowitsch Schegalkin — (Иван Иванович Жегалкин; wiss. Transliteration Ivan Ivanovič Žegalkin) (* 22. Julijul./ 3. August 1869greg. in Mzensk; † 28. März 1947 in Moskau ) war ein russischer Logiker und Mathematiker. Schegalkin war von 1902 bis 1911 Dozent … Deutsch Wikipedia
Schegalkin — Iwan Iwanowitsch Schegalkin (Иван Иванович Жегалкин) (* 1869; † 1947; wiss. Transliteration Ivan Ivanovič Žegalkin) war ein russischer Logiker und Mathematiker. Schegalkin war Professor an der Moskauer Universität und einer der Gründer der… … Deutsch Wikipedia
БЕСКОНЕЧНОЕ И КОНЕЧНОЕ — филос. категории, отображающие противоположные, но взаимосвязанные стороны существования и развития материального мира в пространстве и времени. В отличие от конечного (К.), присущего отдельным вещам, состояниям, процессам и формам движения,… … Философская энциклопедия
ВЫСКАЗЫВАНИЕ — грамматически правильное повествовательное предложение, взятое вместе с выражаемым им смыслом. В логике употребляется несколько понятий В., существенно различающихся между собой. Прежде всего это понятие дескриптивного, или о п и с а тельного,… … Философская энциклопедия