Математическая логика и теория алгоритмов Учебное пособие
Изложены темы традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний логика и исчисление предикатов формальные аксиоматические теории теория алгоритмов и теория вычислительной сложности. Предназначено для студентов направления подготовки 09....
Сохранить в:
| Главный автор: | |
|---|---|
| Формат: | Учебное пособие |
| Online-ссылка: | https://znanium.com/catalog/document?id=379866 https://znanium.com/cover/1816/1816597.jpg |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
| LEADER | 02905nam0a2200337 i 4500 | ||
|---|---|---|---|
| 001 | RU\infra-m\znanium\bibl\1816597 | ||
| 003 | https://znanium.com/catalog/document?id=379866 | ||
| 005 | 20210630000000.0 | ||
| 010 | |a 978-5-7638-4076-6 | ||
| 100 | |a 20210630d2021 m y0rusy0150 ca | ||
| 101 | 0 | |a rus | |
| 102 | |a RU | ||
| 200 | 1 | |a Математическая логика и теория алгоритмов |e Учебное пособие |f Сибирский федеральный университет |g Сибирский федеральный университет | |
| 210 | 1 | |a Красноярск |c Сибирский федеральный университет |d 2019 | |
| 215 | |a 110 с. | ||
| 330 | |a Изложены темы традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний логика и исчисление предикатов формальные аксиоматические теории теория алгоритмов и теория вычислительной сложности. Предназначено для студентов направления подготовки 09.03.04 «Программная инженерия». Также будет полезно студентам направлений 09.03.02 «Информационные системы и технологии» 27.03.03 «Системный анализ и управление». | ||
| 333 | |a ВО - Бакалавриат | ||
| 606 | |a Физико-математические науки |x Линейное программирование. Математическая логика |2 local | ||
| 608 | |a Учебное пособие |2 local | ||
| 675 | |a 510 |z rus | ||
| 686 | |a 221 |2 rubbk | ||
| 686 | |a 09.03.02 |2 okso | ||
| 686 | |a 09.03.04 |2 okso | ||
| 686 | |a 27.03.03 |2 okso | ||
| 700 | 1 | |a Вайнштейн |b Ю.В. |g Юлия Владимировна |p Сибирский федеральный университет | |
| 701 | 1 | |a Пенькова |b Т.Г. |g Татьяна Геннадьевна |p Красноярский научный центр Сибирского отделения Российской академии наук | |
| 701 | 1 | |a Вайнштейн |b В.И. |g Виталий Исаакович |p Сибирский федеральный университет | |
| 712 | 0 | 2 | |a Сибирский федеральный университет |
| 801 | 0 | |a RU |b Общество с ограниченной ответственностью «ЗНАНИУМ» |c 20210629 |2 rusmarc | |
| 856 | 4 | |a znanium.com |m ebs_support@infra-m.ru |n НИЦ ИНФРА-М |u https://znanium.com/catalog/document?id=379866 | |
| 856 | 4 | 1 | |a znanium.com |d /cover/1816 |f 1816597.jpg |q image/jpeg |u https://znanium.com/cover/1816/1816597.jpg |