Refine your search
Availability
-
- Книги (7)
-
- учебники (4)
-
Authors
- Лихтарников, Леонид Моисеевич (2)
- Сукачева, Тамара Геннадьевна (2)
- Бабичева, И. В. (1)
- Батуев, Станислав Павлович (1)
- Бродская, Ю. А. (1)
- Горюнова, Валентина Викторовна (1)
- Лихтарников, Л. М. (1)
- Розен, В. В. (1)
- Сукачева, Т. Г. (1)
- Титов, Александр Валерьевич (1)
- Эшаров, Элзарбек Асанович (1)
- Show more
- Show less
-
Collections
- ЭБС Лань (3)
- Публикация ТГАСУ (1)
-
Locations
-
Places
-
Topics
- логика предикатов (7)
- математическая логика (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)
- импликация (1)
- интеллектуальные системы (1)
- информационные системы (1)
- исчисление аксиоматическое (1)
- исчисления высказываний (1)
- кванторы (1)
- комбинаторика (1)
- комбинаторика конечных множеств (1)
- комбинаторный анализ (1)
- конъюнктивная (1)
- кортежи (1)
- курс лекций (1)
- курсы лекций (1)
- логика (1)
- логика высказываний (1)
- логика действий (1)
- математика логика (1)
- математическая логика исчисление высказываний алгебра логики логика предикатов математические теории машина тьюринга алгоритмы учебные пособия теорема дедукции теорема геделя лекции задачи (1)
- Show more
- Show less
-
Item types
- 1 месяц (3)
- Выдается в читальный зал (1)
- 1 семестр (1)