תוצאות חיפוש - "исчисление высказываний"
בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
- исчисление высказываний 17
- алгебра логики 7
- исчисление предикатов 6
- логика предикатов 6
- математическая логика 5
- множества 5
- булевы функции 4
- логика 4
- логика высказываний 4
- метод резолюций 4
- разрешимость 4
- алгоритмы 3
- бинарные отношения 3
- деревья 3
- кванторы 3
- комбинаторика 3
- правила вывода 3
- предикаты 3
- теорема геделя 3
- теории первого порядка 3
- теория алгоритмов 3
- теория множеств 3
- формулы 3
- аксиоматические теории 2
- алгебра 2
- алгебра высказываний 2
- выводимость 2
- высказывания 2
- задачи 2
- логико-математические основы 2
-
1
Математическая логика и теория алгоритмов
יצא לאור Москва, Горная книга, 2006נושאים: קבל טקסט מלא
קבל טקסט מלא
אלקטרוני ספר -
2
Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов учебное пособие для вузов...
יצא לאור Санкт-Петербург, Лань, 2022נושאים: קבל טקסט מלא
קבל טקסט מלא
אלקטרוני ספר -
3
-
4
Математическая логика задачник-практикум для студентов физико-математического факультета
יצא לאור Кызыл, ТувГУ, 2018נושאים: קבל טקסט מלא
קבל טקסט מלא
אלקטרוני ספר -
5
Дискретная математика учебное пособие
יצא לאור Новочеркасск, ЮРГПУ (НПИ), 2022נושאים: קבל טקסט מלא
קבל טקסט מלא
אלקטרוני ספר -
6
Основы математической логики учебное пособие
יצא לאור Москва, РТУ МИРЭА, 2023נושאים: “...исчисление высказываний...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני ספר -
7
Дискретная математика. Часть 1
יצא לאור Москва, РТУ МИРЭА, 2023נושאים: קבל טקסט מלא
קבל טקסט מלא
אלקטרוני ספר -
8
Математическая логика. Курс лекций. Задачник-практикум и решения
יצא לאור Санкт-Петербург, Лань, 2022נושאים: קבל טקסט מלא
קבל טקסט מלא
אלקטרוני ספר -
9
Технологии управления знаниями учеб. пособие
יצא לאור Киров, ВятГУ, 2023נושאים: קבל טקסט מלא
קבל טקסט מלא
אלקטרוני ספר -
10
Практикум по математическим основам теории систем
יצא לאור Санкт-Петербург, Лань, 2022נושאים: קבל טקסט מלא
קבל טקסט מלא
אלקטרוני ספר -
11
Логические основы интеллектуальных систем. Часть 1 Учебное пособие
יצא לאור Санкт-Петербург, ПГУПС, 2018נושאים: קבל טקסט מלא
קבל טקסט מלא
אלקטרוני ספר -
12
Дискретная математика. Формально-логические системы и языки
יצא לאור Москва, ДМК Пресс, 2018נושאים: קבל טקסט מלא
קבל טקסט מלא
אלקטרוני ספר -
13
Дискретная математика для информатиков и экономистов учебное пособие для вузов
יצא לאור Москва, НИЯУ МИФИ, 2010נושאים: קבל טקסט מלא
קבל טקסט מלא
אלקטרוני ספר -
14
Математическая логика и теория алгоритмов учебное пособие
יצא לאור Махачкала, ДГПУ, 2024נושאים: “...формализованное исчисление высказываний...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני ספר -
15
Логическое программирование учеб. пособие
יצא לאור Киров, ВятГУ, 2022נושאים: קבל טקסט מלא
קבל טקסט מלא
אלקטרוני ספר -
16
Введение в математическую логику
יצא לאור Санкт-Петербург, Лань, 2022נושאים: קבל טקסט מלא
קבל טקסט מלא
אלקטרוני ספר -
17
Основы дискретной математики учеб. пособие
יצא לאור Волгоград, ВолгГТУ, 2015נושאים: קבל טקסט מלא
קבל טקסט מלא
אלקטרוני ספר -
18
Математическая логика и теория алгоритмов учебное пособие
יצא לאור Самара, ПГУТИ, 2024נושאים: קבל טקסט מלא
קבל טקסט מלא
אלקטרוני ספר