Details
| Title | Математическая логика и теория алгоритмов: учебное пособие. — Математическая логика и теория алгоритмов, 2031-04-01 |
|---|---|
| Creators | Зюзьков, В. М. |
| Imprint | Томск: Томский государственный университет систем управления и радиоэлектроники, Эль Контент, 2015 |
| Collection | ЭБС "PROFобразование" ; Общая коллекция |
| Subjects | математическая логика ; алгоритм ; множество ; пропозициональная логика ; аксиоматический метод ; вычислимая функция |
| UDC | 510 |
| LBC | 22.1 |
| Document type | Tutorial |
| Language | Russian |
| Rights | Гарантированный срок размещения до 01.04.2031 (автопролонгация); Доступ по паролю из сети Интернет (чтение) |
| Additionally | New arrival |
| Record key | RU2fPROFSPO2f72122 |
| Record create date | 9/10/2026 |
Учебное пособие содержит теоретический материал, изучение которого предусмотрено программой курса «Математическая логика и теория алгоритмов» направлений подготовки бакалавров «Информатика и вычислительная техника» и «Управление в технических системах».
...
