Refine your search
Availability
-
Bibliographic level
- Книги (6)
-
Authors
- Адян, Сергей Иванович (1)
- Бернайс, Пауль (1)
- Бессонов, Александр Владимирович (1)
- Борисов, Алексей Владимирович (1)
- Гильберт, Давид (1)
- Кислов, Алексей Геннадьевич (1)
- Мозер, Юрген К. (1)
- Никольская, Инна Львовна (1)
- Ольховиков, Григорий Константинович (1)
- Таранников, Юрий Валерьевич (1)
- Уколов, Сергей Юрьевич (1)
- Целищев, Виталий Валентинович (1)
- Show more
- Show less
-
Locations
- Книгохранилище (4)
- Читальный зал. Депозитарий (2)
- Читальный зал 5 (1)
-
Item types
-
Topics
- нормальные формы (мат. логика) (4)
- логика высказываний (2)
- основания математики (2)
- учебные издания для вузов (2)
- Броуза-Чоудхури-Хоквингема коды (1)
- Геделя теорема о неполноте арифметических исчислений (1)
- Гильберта ε-символ (1)
- Гильберта ε-теорема вторая (1)
- Гильберта ε-теорема первая (1)
- Гиорги теорема (1)
- Кеплера задача (1)
- Ляпунова теорема (1)
- Математическая логика - Учебники и пособия (1)
- Фреге теория чисел (1)
- Хэмминга код двоичный (1)
- Черча теорема о невозможности алгоритма (1)
- Эрбрана теорема (1)
- автоматов теория (1)
- автоматы конечные (1)
- аксиоматика содержательная (1)
- аксиоматика формальная (1)
- алгебра логики высказываний (1)
- алгебраическая геометрия (1)
- алгебраические структуры (1)
- аргументы (мат. логика) (1)
- арифметизация математики, метод (1)
- арифметика, исследования (1)
- булевы алгебры (1)
- булевы функции, нелинейность (1)
- булевы функции, свойства криптографические (1)
- гиперповерхности вещественные (1)
- графов теория (1)
- дизъюнкция (1)
- динамические системы (1)
- дискретная математика (1)
- дифференциальные уравнения в частных производных (1)
- доказательства (мат.), теория (1)
- доказательства непротиворечивости (1)
- доказательство (мат.), методы (1)
- задачи (1)
- закон контрапозиции (1)
- законы логики (1)
- импликация (1)
- исчисление высказываний (1)
- исчисление высказываний аксиоматическое (1)
- исчисление высказываний натуральное (1)
- исчисление предикатов (1)
- кванторы (1)
- кванторы нумерические (1)
- кодирования теория (1)
- Show more
- Show less