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