Авторы: Е В Зайцева
Е. В. Зайцева. Математическая логика и теория алгоритмов. М.:Горная книга, 2006
Не получается найти нужный источник? Попробуйте нашу услугу по подбору и оформлению источников литературы.
Фрагмент книги
Библиографическое описание
Изложен материал основного курса «Математическая логика и теория алгоритмов», читаемого на факультете «Автоматизации и информатики (АИ)» МГГУ: основные понятия, относящиеся к семантике формализованных логико-математических языков; математическая логика, исчисление высказываний и предикатов, элементы теории множеств, основы теории моделей и алгоритмов. Показано практическое использование алгебры к задачам математической логики. Для студентов вузов, обучающихся по направлениям 552800, 654600 «Информатика и вычислительная техника», специальности 220200 «Автоматизированные системы обработки информации и управления».
Сведения об ответственности: Е В Зайцева
ISBN: 5-7418-0451-9, 978-5-7418-0451-3
Готовые работы, где использовался источник
«Математическая логика и теория алгоритмов»
50₽
- Контрольная работа
- Высшая математика
- Выполнил: gatin69
Математическая логика и теория алгоритмов
200₽
- Контрольная работа
- Высшая математика
- Выполнил: user776792
Так же вы можете купить уже выполненные работы. Для удобства покупки работы размещены на независимой бирже. Нажимая "Купить" вы будете перенаправлены на страницу карточки работы.
Гарантия на работу 10 дней.