Sökresultat
Rekommenderade teman
Rekommenderade teman
- предикат
- булевы функции 5
- высказывания 5
- множества 5
- логические операции 4
- кортежи 3
- логика высказываний 3
- логика предикатов 3
- логические функции 3
- логическое следствие 3
- метод резолюций 3
- нормальные формы 3
- операции 3
- отношения 3
- правила вывода 3
- таблицы истинности 3
- алгебра 2
- алгебра высказываний 2
- алгоритм дейкстры 2
- булевы формулы 2
- высказывание 2
- графы 2
- декартово произведение 2
- кванторные операции 2
- кванторы 2
- монадическая логика 2
- мощность 2
- нечеткие высказывания 2
- нечеткие множества 2
- операции над предикатами 2
-
1
-
2
Математика для инженеров учебное пособие
Publicerad Тверь, Тверская ГСХА, 2018Hämta fulltext
Hämta fulltext
Elektronisk Bok -
3
Введение в дискретную математику и логику учебное пособие
Publicerad Омск, Омский ГАУ, 2011Hämta fulltext
Hämta fulltext
Elektronisk Bok -
4
Введение в математику и логику учебное пособие
Publicerad Омск, Омский ГАУ, 2005Hämta fulltext
Hämta fulltext
Elektronisk Bok -
5
Математика для юристов
Publicerad Санкт-Петербург, Лань, 2022Hämta fulltext
Hämta fulltext
Elektronisk Bok -
6
Практикум по основам современной информатики
Publicerad Санкт-Петербург, Лань, 2022Hämta fulltext
Hämta fulltext
Elektronisk Bok -
7
Синтаксис вепсского языка учебно-методическое пособие для вузов
Publicerad Санкт-Петербург, РГПУ им. А. И. Герцена, 2021Hämta fulltext
Hämta fulltext
Elektronisk Bok -
8
Математическая логика и булевы функции учебно-методическое пособие для обучающихся по дисциплине «дискретная математика» по направлению подготовки 09.03.03 прикладная информатика и...
Publicerad Нижний Новгород, ННГАСУ, 2021Hämta fulltext
Hämta fulltext
Elektronisk Bok -
9
Математическая логика. Логика высказываний. Конспекты лекций и упражнения по курсу пособие для студентов специальностей 01.03.01, 01.05.01, 02.03.01...
Publicerad Воронеж, ВГУ, 2015Hämta fulltext
Hämta fulltext
Elektronisk Bok -
10
Математические основания информатики учеб. пособие
Publicerad Омск, ОмГТУ, 2023Hämta fulltext
Hämta fulltext
Elektronisk Bok -
11
Формальные аксиоматические теории. Исчисление предикатов. Часть 2
Publicerad Воронеж, ВГУ, 2020Hämta fulltext
Hämta fulltext
Elektronisk Bok