Детальная информация
| Название | Математическая логика и теория алгоритмов: учебное пособие. — Математическая логика и теория алгоритмов, 2031-04-01 |
|---|---|
| Авторы | Перемитина, Т. О. |
| Выходные сведения | Томск: Томский государственный университет систем управления и радиоэлектроники, 2016 |
| Коллекция | ЭБС "PROFобразование" ; Общая коллекция |
| Тематика | математическая логика ; алгоритм ; алгебра ; булева функция ; предикат |
| УДК | 510 |
| ББК | 22.1 |
| Тип документа | Учебник |
| Язык | Русский |
| Права доступа | Гарантированный срок размещения до 01.04.2031 (автопролонгация); Доступ по паролю из сети Интернет (чтение) |
| Дополнительно | Новинка |
| Ключ записи | RU2fPROFSPO2f72121 |
| Дата создания записи | 10.09.2026 |
В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра высказываний, булева алгебра и логика предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Пособие позволяет освоить основные положения дисциплины, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Пособие предназначено для самостоятельной работы студентов при изучении дисциплины «Математическая логика и теория алгоритмов».
...
