Login

Electronic Library of the Ufa University
«Ufa University of Science and Technology»

Electronic Documents Search

Documents found: 3

1

1

Избранные лекции по теории автоматов: [учебное пособие для студентов всех форм обучения, обучающихся по направлениям подготовки бакалавров и магистров 230100 "Информатика и вычислительная техника", 230101 "Вычислительные машины, комплексы, системы и сети"]

Creators:	Фрид А. И.
Organization:	Уфимский государственный авиационный технический университет (УГАТУ)
Subjects:	электронные ресурсы; учебные пособия; теория автоматов; формальные системы; формальные грамматики; конечные автоматы; минимальные автоматы; магазинная память; машина Тьюринга; логические функции; соединения автоматов; сети Петри; синтез автоматов; синхронные автоматы; асинхронные автоматы
Document type:	Tutorial
File type:	PDF
Record key:	ru\usatu\ft\2763

pdf

2

Математическая логика: учебное пособие для студентов очной формы обучения, обучающихся по направлению подготовки бакалавров 10.03.01 Информационная безопасность и специальности 10.05.05 Безопасность информационных технологий в правоохранительной сфере

Creators:	Поречный С. С.; Житникова Н. И.; Ураков А. Р.
Organization:	Уфимский государственный авиационный технический университет (УГАТУ)
Subjects:	электронные ресурсы; учебные пособия; логика высказываний; булевы функции; логика предикатов; элементы теории алгоритмов; машина Тьюринга; рекурсивные функции
Document type:	Tutorial
File type:	PDF
Record key:	ru\usatu\ft\4142

pdf

3

Элементы математической логики: Практикум

Creators:	Поречный С. С.; Михтанюк А. А.; Юсупова Л. Р.
Organization:	Уфимский государственный авиационный технический университет (УГАТУ)
Subjects:	cd; электронные ресурсы; учебные электронные издания; математическая логика; практикумы; алгебра; Булевы функции; теорема Поста; машина Тьюринга; высказывания; предикаты
Document type:	Tutorial
File type:	PDF
Record key:	ru\usatu\ft\731

pdf

Documents found: 3

1

Search was performed using the Yandex.Server