תוצאות חיפוש - "логическое следствие"
בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
- логическое следствие 5
- булевы функции 3
- логические операции 3
- нормальные формы 3
- правила вывода 3
- предикат 3
- аксиомы 2
- логика высказываний 2
- логический вывод 2
- операции над множествами 2
- таблицы истинности 2
- теорема дедукции 2
- алгебра высказываний 1
- алгебра логики 1
- алгоритм дейкстры 1
- биномиальные коэффициенты 1
- выводимость истинных утверждений 1
- выводимые формулы 1
- высказывание 1
- высказывания 1
- гамильтоновы цепи и циклы 1
- дедуктивный метод 1
- декартово произведение 1
- доказательства направленной процедурой 1
- доказательства с разветвлением 1
- импликация 1
- интерпретация 1
- информационный граф 1
- кванторные операции 1
- классификация предикатов 1
-
1
Теория логического вывода учебное пособие
יצא לאור Тверь, Тверская ГСХА, 2017נושאים: קבל טקסט מלא
קבל טקסט מלא
אלקטרוני ספר -
2
Математическая логика и булевы функции учебно-методическое пособие для обучающихся по дисциплине «дискретная математика» по направлению подготовки 09.03.03 прикладная информатика и...
יצא לאור Нижний Новгород, ННГАСУ, 2021נושאים: קבל טקסט מלא
קבל טקסט מלא
אלקטרוני ספר -
3
Математическая логика. Логика высказываний. Конспекты лекций и упражнения по курсу пособие для студентов специальностей 01.03.01, 01.05.01, 02.03.01...
יצא לאור Воронеж, ВГУ, 2015נושאים: קבל טקסט מלא
קבל טקסט מלא
אלקטרוני ספר -
4
Сборник задач по дискретной математике учебно-методическое пособие для вузов
יצא לאור Воронеж, ВГУ, 2016נושאים: קבל טקסט מלא
קבל טקסט מלא
אלקטרוני ספר -
5
Математика для инженеров учебное пособие
יצא לאור Тверь, Тверская ГСХА, 2018נושאים: קבל טקסט מלא
קבל טקסט מלא
אלקטרוני ספר