Search Results - "предикаты"
Suggested Topics within your search.
Suggested Topics within your search.
- предикаты 137
- множества 55
- высказывания 54
- учебные пособия 51
- математическая логика 42
- булевы функции 34
- графы 34
- исчисление 33
- алгоритмы 30
- Математическая логика 26
- математика 26
- отношения 25
- алгебра 22
- комбинаторика 22
- функции 22
- теория 20
- логика 19
- логические операции 19
- кванторы 18
- нормальные формы 15
- теория множеств 15
- задачи 14
- кодирование 14
- учебники 14
- Дискретная математика 13
- деревья 13
- формулы 13
- алгебра логики 12
- доказательства 12
- конечные автоматы 12
-
1
Программирование в среде Visual Prolog учебное пособие
Published Новосибирск, НГТУ, 2022Subjects: Get full text
Get full text
Electronic Book -
2
Разработка метода бинарной декомпозиции функциональных предикатов
Published 2012Subjects: Get full text
Electronic Book Chapter -
3
Описательный текст в современной лингвистической парадигме
Published Улан-Удэ, ВСГУТУ, 2020Subjects: Get full text
Get full text
Electronic Book -
4
-
5
-
6
-
7
-
8
Принципы искусственного интеллекта пер. с англ.
Published Москва, Радио и связь, 1985Subjects:Book -
9
-
10
Математическая логика учебно-методическое пособие по укрупненной группе специальностей и направлений подготовки 44.03.05 – педагогическое образование с двумя профилями подготовки (...
Published Севастополь, СевГУ, 2024Subjects: Get full text
Get full text
Electronic Book -
11
Множества. Логика. Аксиоматические теории пер. с англ.
Published Москва, Просвещение, 1968Subjects:Book -
12
-
13
Лекции по математической логике учебное пособие
Published Минск, Изд-во Белорусского гос. ун-та, 1973Subjects:Book -
14
Логико-лингвистические модели в системах управления
Published Москва, Энергоиздат, 1981Subjects:Book -
15
Основания математики. Логические исчисления и формализация арифметики.
Published Москва, Наука, 1982Subjects:Book -
16
-
17
Математическая логика и теория алгоритмов учебное пособие
Published Москва, Изд-во МГГУ, 2006Subjects:Book -
18
Logical network model with predicate operations
Published 2014Subjects: Get full text
Get full text
Electronic Book Chapter -
19
-
20
Извлечения значимых признаков из электронных медицинских записей на основе контекстно-свободной грамматики...
Published 2021Subjects: Get full text
Electronic Book Chapter