Автор | Михальченко, Галина Ефимовна | |
Дата публикации | 2018 | |
ISBN | 978-5-7638-3932-6 | |
Описание | Учебное пособие. | |
Описание | Доступ к полному тексту открыт из сети СФУ, вне сети доступ возможен для читателей Научной библиотеки СФУ или за плату. | |
Аннотация | Кратко изложен теоретический материал по дисциплине «Математическая логика и теория алгоритмов», приведены примеры решения типовых задач, представлены задачи различной сложности для решения на практических занятиях и самостоятельной работы. Предназначено для студентов направления 09.03.02 «Информационные системы и технологии», а также других направлений (09.03.04 «Программная инженерия», 27.03.03 «Системный анализ и управление», 27.03.04 «Управление в технических системах»). | |
Язык | rus | |
Издатель | СФУ | |
Права на использование | Для личного использования. | |
Тема | алгебра высказываний | |
Тема | булевы функции | |
Тема | логика предикатов | |
Тема | алгоритмы | |
Тема | теория алгоритмов | |
Название | Математическая логика и теория алгоритмов | |
Тип | Book | |
УДК | 510.6(07) | |
Коллективный автор | Сибирский федеральный университет | |
Место издания | Красноярск | |
Институт | Институт космических и информационных технологий | |
Полный текст на другом сайте | https://bik.sfu-kras.ru/elib/view?id=BOOK1-%D0%91%D0%91%D0%9A22.12%2F%D0%9C+693-161487 | |
Шифр в ИРБИС | RU/НБ СФУ/BOOK1/ББК22.12/М 693-161487 | |