Search Results
Suggested Topics within your search.
Suggested Topics within your search.
- аксиоматический метод 2
- алгебра высказываний 2
- логика 2
- логика высказываний 2
- логические парадоксы 2
- математическая логика 2
- непротиворечивость аксиоматической теории
- парадокс лжеца 2
- парадокс платона 2
- парадокс рассела 2
- понятие вывода 2
- правила вывода 2
- связь между ав и ив 2
- система аксиом исчисления высказываний 2
- формальные теории 2
- np-трудные и np-полные задачи 1
- автоматическое доказательство теорем 1
- аксиомы и правила вывода исчисления предикатов 1
- алгоритм евклида 1
- алгоритм формализации задачи в терминах нечеткой логики 1
- алгоритмическая машина поста 1
- базовые понятия нечеткой логики 1
- возможности машин тюринга 1
- выводимая формула 1
- доказательство законов логики 1
- законы алгебры высказываний 1
- исчисление высказываний 1
- к-значная логика поста 1
- квантор всеобщности 1
- квантор существования 1
-
1
Математическая логика и теория алгоритмов
Published Самара, ПГУТИ, 2017Get full text
Get full text
Electronic Book -
2
Математическая логика и теория алгоритмов учебное пособие
Published Самара, ПГУТИ, 2024Get full text
Get full text
Electronic Book