Details
Поречный, С. С. Математическая логика: учебное пособие для студентов очной формы обучения, обучающихся по направлению подготовки бакалавров 10.03.01 Информационная безопасность и специальности 10.05.05 Безопасность информационных технологий в правоохранительной сфере / С. С. Поречный, Н. И. Житникова, А. Р. Ураков; Уфимский государственный авиационный технический университет (УГАТУ). — Электронные текстовые данные (1 файл: 4,98 МБ). — Уфа: УГАТУ, 2020. — Электронная версия печатной публикации. — Заглавие с титул. экрана. — Доступ из сети Интернет по логину и паролю. Анонимный доступ из корпоративной сети УГАТУ. — Систем. требования: Adobe Reader. — <URL:http://elibrary.uust.ru/dl/lib_net_r/Porechnyj_S_S_Matematich_logik_2020.pdf>. — Текст: электронный
Record create date
11/26/2020
Subject
электронные ресурсы; учебные пособия; логика высказываний; булевы функции; логика предикатов; элементы теории алгоритмов; машина Тьюринга; рекурсивные функции
UDC
510.6(07)
Allowed Actions
–
Action 'Read' will be available if you login or access site from another network
| Group | Anonymous |
|---|---|
| Network | Internet |
| Network | User group | Action |
|---|---|---|
| Organization | Readers |
|
| Organization | All |
|
| Organization | All |
|
| External organizations | All |
|
| Corporation organizations | All |
|
| Internet | Corporation users |
|
| Internet | External users |
|
| Internet | Readers |
|
| Internet | All |
|
- Поречный и др._Матем. логика
- Пособие Матлогика 01 Высказывания 2.0
- Пособие Матлогика 02 Булевы функции 2
- Пособие Матлогика 03 Булевы функции Тест 2
- Пособие Матлогика 04 Логика предикатов, теория алгоритмов 2
- Пособие Матлогика 05 Тест Высказывания, предикаты, машина Тьюринга 2
- Пособие Матлогика 06 Заключение и список литературы 2
- Пособие Матлогика 06 Заключение и список литературы 2
