Refine your search
Availability
-
Bibliographic level
- Книги (4)
-
Authors
-
Locations
- Читальный зал 5 (2)
- Книгохранилище (2)
- Абонемент (1)
- Абонемент. Депозитарий (1)
- Читальный зал. Депозитарий (1)
-
Item types
- 1 месяц (3)
- Выдается в читальный зал (2)
- 6 месяцев (2)
- 1 неделя (1)
- Выдается по месту хранения (1)
-
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)
- Show more
- Show less
-
Collections