VSAU
Electronic Library

Electronic Documents Search

Documents found: 3

Words statistics: !предикаты: 302

Creators:	Ананичев, Д. С.; Андреева, И. Ю.; Гредасова, Н. В.; Костоусов, К. В.
Other creators:	Сесекина, А. Н.
Imprint:	Саратов, Екатеринбург: Профобразование, Уральский федеральный университет, 2019
Collection:	ЭБС "IPRbooks"
Subjects:	дискретная математика; комбинаторика; алгоритм; задача; предикаты
Document type:	Tutorial
File type:	HTML

комбинаторика. алгоритм. задача. предикаты. RU\VSAU\webipr\87913.

https://www.iprbookshop.ru/87913.html

Creators:	Кузнецов О. П.
Imprint:	Санкт-Петербург: Лань, 2022
Collection:	ЭБС "Лань"
Subjects:	математика для инженера; дискретная математика; автоматы; автоматы (матем); алгебра; алгебра логики; алгебра логика теория графов теория алгоритмов; алгебра теории алгоритмов математическая логика; алгоритмов теория; алгоритмы; алгоритмы теория; булева алгебра; введение в логику; вычислимость; грамматики (матем); графы; исчисления логические; логика; логика введение; математика; математическая логика; множества; общая алгебра; отношения; предикатов исчисление; предикаты логика язык; разрешимость; сложности вычислений; теория автоматов; теория алгоритмов; тьюринга машина; учебники для вузов; формальные системы; функции; функция логическая; функция рекурсивная; элементы общей алгебры; языки; языки (матем)

отношения. предикатов исчисление. предикаты логика язык. разрешимость. сложности вычислений.

key://localhost/RU\VSAU\weblan\210278

Creators:	Кузнецов О. П.
Imprint:	Санкт-Петербург: Лань, 2022
Collection:	ЭБС "Лань"
Subjects:	математика для инженера; дискретная математика; автоматы; автоматы (матем); алгебра; алгебра логики; алгебра логика теория графов теория алгоритмов; алгебра теории алгоритмов математическая логика; алгоритмов теория; алгоритмы; алгоритмы теория; булева алгебра; введение в логику; вычислимость; грамматики (матем); графы; исчисления логические; логика; логика введение; математика; математическая логика; множества; общая алгебра; отношения; предикатов исчисление; предикаты логика язык; разрешимость; сложности вычислений; теория автоматов; теория алгоритмов; тьюринга машина; учебники для вузов; формальные системы; функции; функция логическая; функция рекурсивная; элементы общей алгебры; языки; языки (матем)

отношения. предикатов исчисление. предикаты логика язык. разрешимость. сложности вычислений.

key://localhost/RU\VSAU\weblan\210278

Documents found: 3

Search was performed using the Yandex.Server