VSAU
Electronic Library

     
?
     
?

Electronic Documents Search
Documents found: 2 1

Words statistics: !предикаты: 302, !логика: 12354, !язык: 111980

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

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

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

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

key://localhost/RU\VSAU\weblan\210278
Documents found: 2 1
Yandex Logo Search was performed using the Yandex.Server
Loading, please wait...