VSAU
Electronic Library

Electronic Documents Search

Documents found: 6

Words statistics: !тьюринга: 37, !машина: 176740

Дискретная математика для инженера. — 6-е изд., стер.

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

тьюринга машина. учебники для вузов.

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

Дискретная математика для инженера. — 6-е изд., стер.

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

тьюринга машина. учебники для вузов.

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

Математическая логика. Курс лекций. Задачник-практикум и решения. — 4-е изд., стер.

Creators:	Лихтарников Л. М.; Сукачева Т. Г.
Imprint:	Санкт-Петербург: Лань, 2022
Collection:	ЭБС "Лань"
Subjects:	математическая логика; учебное пособие; алгоритм; алгебра логики; курс лекций; задачник; аксиома логическая; алгебра; алгоритмы; буля; буля алгебра; вычислимая; геделя; двойственность; двойственность закон; дедукция теорема; дизъюнктивная; доказуемость; задачи; задачи решения; закон; исчисление высказываний; исчисление аксиоматическое; исчисления высказываний; конъюнктивная; курсы лекций; логика; логика предикатов; математика; математика логика; математическая логика исчисление высказываний алгебра логики логика предикатов математические теории машина тьюринга алгоритмы учебные пособия теорема дедукции теорема геделя лекции задачи; математические теории; машина; операция логическая; разрешимость; рекурсивная; решение задач; тавтология; терма; тьюринга; тьюринга машина; учебник и пособие; учебные пособия; форма дизъюнктивная; формула доказуемая; функция; функция вычислимая; функция рекурсивная

тьюринга машина. учебник и пособие.

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

Основы теории дискретных логических и вычислительных устройств. — 3-е изд., испр.

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

схема самокорректирующаяся. теория алгоритмов. тьюринга машина.

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