Математическая логика и теория алгоритмов учебно-методическое пособие
В учебно-методическом пособии изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики, булева алгебра и исчисления высказываний и предикатов, формальные аксиоматические теории, теории алгоритмов. Предназначено для студентов ЦЗОПБ по направлениям подгото...
Сохранить в:
| Главный автор: | |
|---|---|
| Формат: | Книга |
| Язык: | Russian |
| Опубликовано: |
Москва
МТУСИ
2024
|
| Online-ссылка: | https://e.lanbook.com/book/439082 https://e.lanbook.com/img/cover/book/439082.jpg |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
| LEADER | 01741nam0a2200241 i 4500 | ||
|---|---|---|---|
| 001 | 439082 | ||
| 003 | RuSpLAN | ||
| 005 | 20241105151417.0 | ||
| 008 | 241105s2024 ru gs 000 0 rus | ||
| 040 | |a RuSpLAN | ||
| 041 | 0 | |a rus | |
| 044 | |a ru | ||
| 245 | 0 | 0 | |a Математическая логика и теория алгоритмов |b учебно-методическое пособие |c Семин В. Г. |
| 260 | |a Москва |b МТУСИ |c 2024 | ||
| 300 | |a 39 с. | ||
| 504 | |a Библиогр.: доступна в карточке книги, на сайте ЭБС Лань | ||
| 520 | 8 | |a В учебно-методическом пособии изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики, булева алгебра и исчисления высказываний и предикатов, формальные аксиоматические теории, теории алгоритмов. Предназначено для студентов ЦЗОПБ по направлениям подготовки: 09.03.02 – Информационные системы и технологии; 15.03.04 – Автоматизация технологических процессов и производств: 27.03.04 – Управление в технических сферах. | |
| 521 | 8 | |a Книга из коллекции МТУСИ - Математика | |
| 521 | 8 | |a СЭБ | |
| 100 | 1 | |a Семин В. Г. | |
| 856 | 4 | |u https://e.lanbook.com/book/439082 | |
| 856 | 4 | 8 | |u https://e.lanbook.com/img/cover/book/439082.jpg |
| 953 | |a https://e.lanbook.com/img/cover/book/439082.jpg | ||