VSAU
Electronic Library

Electronic Documents Search

Documents found: 2

Words statistics: !предикатов: 302, !исчисление: 7033

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

предикатов исчисление. предикаты логика язык.

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

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

предикатов исчисление. предикаты логика язык.

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

Documents found: 2

Search was performed using the Yandex.Server