|
1
|
|
| Creators:
|
Фрид А. И.
|
| Organization-creator:
|
Уфимский государственный авиационный технический университет (УГАТУ)
|
| Imprint:
|
Уфа: УГАТУ, 2013
|
| Subjects:
|
электронные ресурсы; учебные пособия; теория автоматов; формальные системы; формальные грамматики; конечные автоматы; минимальные автоматы; магазинная память; машина Тьюринга; логические функции; соединения автоматов; сети Петри; синтез автоматов; синхронные автоматы; асинхронные автоматы
|
| Document type:
|
Tutorial
|
| File type:
|
PDF
|
pdf
|
|
|
2
|
|
| Creators:
|
Поречный С. С.; Житникова Н. И.; Ураков А. Р.
|
| Organization-creator:
|
Уфимский государственный авиационный технический университет (УГАТУ)
|
| Imprint:
|
Уфа: УГАТУ, 2020
|
| Subjects:
|
электронные ресурсы; учебные пособия; логика высказываний; булевы функции; логика предикатов; элементы теории алгоритмов; машина Тьюринга; рекурсивные функции
|
| Document type:
|
Tutorial
|
| File type:
|
PDF
|
pdf
|
|
|
3
|
|
| Creators:
|
Поречный С. С.; Михтанюк А. А.; Юсупова Л. Р.
|
| Organization-creator:
|
Уфимский государственный авиационный технический университет (УГАТУ)
|
| Imprint:
|
Уфа: УГАТУ, 2013
|
| Subjects:
|
cd; электронные ресурсы; учебные электронные издания; математическая логика; практикумы; алгебра; Булевы функции; теорема Поста; машина Тьюринга; высказывания; предикаты
|
| Document type:
|
Tutorial
|
| File type:
|
PDF
|
pdf
|
|
|
|
