Suchergebnisse - Ярахмедов Г. А.
- Treffer 1 - 1 von 1
-
1
Математическая логика и теория алгоритмов учебное пособие von Ярахмедов Г. А.
Veröffentlicht Махачкала, ДГПУ, 2024Signatur: Wird geladen …Volltext
Standort: Wird geladen …
Volltext
Elektronisch Buch
Suchwerkzeuge:
Ähnliche Schlagworte
аксиоматические теории
алгебра множеств
алгоритмы
булева алгебра
булевы функции
взаимно обратные теоремы
высказывания
вычислимые и рекурсивные функции
вычислимые функции
закон двойственности
машины тьюринга
методы математической логики и теории алгоритмов для пополнения и представления знаний
множества
нормальные алгоритмы маркова
нормальные формы булевых функций
общезначимости и выполнимости формул
операции над множествами
операции над предикатами
переключательных схем
переменных
полные системы операций
понятие выводимости
правила вывода
предикаты
принцип соответствия в математической логике и теории множеств
равносильные формулы
разрешимые и перечислимые множества
свойства формализованного исчисления высказываний
система аксиом формализованного исчисления высказываний
системы булевых функций