Bağış 15 Eylül 2024 – 1 Ekim 2024 Bağış toplama hakkında

Anahtar kelime araması

  • Main
  • Anahtar kelime araması
1
Теоретическая арифметика

Теоретическая арифметика

Гонин Е.Г.
Yıl:
1959
Dil:
russian
Dosya:
DJVU, 2.10 MB
0 / 0
russian, 1959
2
Теоретическая арифметика

Теоретическая арифметика

Гонин Е.
чисел
множество
множества
число
элемент
неотрицательных
числа
существует
соотношение
элементов
вещественных
элемента
называется
любого
системы
определение
сложения
величины
умножения
элементом
справедливо
целых
система
относительно
отображение
рациональных
множеств
предложение
операции
множестве
неотрицательное
соотношения
измерения
класс
равенство
класса
вещественное
операция
сечения
классу
порядка
элементы
сечение
любой
любых
множеству
сложение
условию
отсюда
классов
Yıl:
1959
Dil:
russian
Dosya:
DJVU, 2.84 MB
0 / 0
russian, 1959
3
Теоретическая арифметика. Учебное пособие для студентов физико-математических факультетов педагогических институтов

Теоретическая арифметика. Учебное пособие для студентов физико-математических факультетов педагогических институтов

Гонин Евгений Григорьевич
чисел
множество
множества
число
элемент
неотрицательных
числа
существует
соотношение
элементов
вещественных
элемента
называется
любого
системы
определение
сложения
величины
умножения
справедливо
элементом
целых
система
отображение
относительно
рациональных
множеств
предложение
операции
множестве
неотрицательное
измерения
соотношения
класс
класса
равенство
операция
сечения
вещественное
классу
порядка
элементы
сечение
любой
любых
множеству
сложение
условию
отсюда
каждое
Yıl:
1959
Dil:
russian
Dosya:
DJVU, 4.82 MB
0 / 0
russian, 1959
4
Теоретическая арифметика

Теоретическая арифметика

Гонин Е.Г.
чисел
множество
множества
число
элемент
неотрицательных
числа
существует
соотношение
элементов
вещественных
элемента
называется
любого
системы
определение
сложения
величины
умножения
справедливо
целых
элементом
система
относительно
отображение
рациональных
предложение
множеств
операции
множестве
неотрицательное
измерения
соотношения
класс
класса
равенство
сечения
вещественное
операция
классу
порядка
любой
элементы
любых
сечение
множеству
сложение
условию
отсюда
каждое
Yıl:
1959
Dil:
russian
Dosya:
DJVU, 6.07 MB
0 / 0
russian, 1959
5
Теоретическая арифметика

Теоретическая арифметика

Гонин Е.
Dil:
russian
Dosya:
PDF, 12.69 MB
0 / 0
russian
6
Машины Тьюринга и рекурсивные функции

Машины Тьюринга и рекурсивные функции

Эббинхауз, Якобс, Ман, Хермес.(Ebbinghaus, Jacobs, Mahn, Hermes)
домино
последовательности
тьюринга
множество
машины
функции
последовательность
согласно
множества
тьюрингу
существует
слов
позиции
теорема
останавливается
выражение
число
алфавитом
функция
блок
применения
доказательство
выражений
блоков
длины
перечислимости
множеств
разрешимости
выполняется
символ
каждого
перечислимость
относительно
качестве
определение
понятия
м.т
помощью
ввиду
предикатов
записи
теории
чисел
вычислимые
ячейки
вида
рабочей
игра
последовательностей
далее
Yıl:
1972
Dil:
russian
Dosya:
DJVU, 3.55 MB
0 / 0
russian, 1972
7
Математическая логика

Математическая логика

Гудстейн Р.Л.(Goodstein R.L.)
Yıl:
1961
Dil:
russian
Dosya:
DJVU, 2.50 MB
0 / 0
russian, 1961
8
Математическая логика

Математическая логика

Гудстейн Р.Л. (Goodstein R.L.)
Yıl:
1961
Dil:
russian
Dosya:
DJVU, 3.68 MB
0 / 0
russian, 1961
9
Основы формальных логических языков

Основы формальных логических языков

Коротков М
Dil:
russian
Dosya:
PDF, 798 KB
0 / 0
russian
10
Основы формальных логических языков

Основы формальных логических языков

Коротков М.А., Степанов Е.О
Yıl:
2003
Dil:
russian
Dosya:
PDF, 798 KB
0 / 0
russian, 2003
11
Основы формальных логических языков

Основы формальных логических языков

Коротков М.А., Степанов Е.О.
порядка
множество
множества
логики
модели
первого
языка
lσ
множеств
формулы
формула
формул
аксиом
символ
силу
арифметики
теории
формальной
системы
второго
языков
говоря
модель
пеано
доказательство
символов
элементов
определение
чисел
правило
индукции
аксиома
теоремы
формальная
языки
математики
натуральных
правила
рассмотрим
теорема
цермело
числа
аксиомы
френкеля
утверждение
язык
переменных
порядок
существует
элементы
Yıl:
2003
Dil:
russian
Dosya:
PDF, 752 KB
0 / 0
russian, 2003
13
Идеальная модель

Идеальная модель

Даша Дасова
Yıl:
2022
Dil:
russian
Dosya:
FB2 , 915 KB
0 / 0
russian, 2022
14
Тагильская школа

Тагильская школа

Алексей Борисович Сальников
Yıl:
2019
Dil:
russian
Dosya:
FB2 , 269 KB
0 / 0
russian, 2019
15
Путь к совершенству. Часть 4

Путь к совершенству. Часть 4

Кузьма Прутков
Yıl:
2023
Dil:
russian
Dosya:
FB2 , 322 KB
0 / 0
russian, 2023
16
На острове

На острове

Владимир Павлов
Dil:
russian
Dosya:
FB2 , 8 KB
0 / 0
russian
17
Введение в специальность

Введение в специальность

Кобзева Л. В.
Dil:
russian
Dosya:
PDF, 85 KB
0 / 0
russian
18
Сила молитвы

Сила молитвы

Льюис Клайв Стейплз.
Dil:
russian
Dosya:
RTF , 11 KB
0 / 0
russian
19
На острове

На острове

Павлов Владимир
Dil:
russian
Dosya:
FB2 , 8 KB
0 / 0
russian