Обзор курса
Курс состоит из лекций и семинаров. Форма итоговой аттестации – экзамен.
Темы лекций:
- Введение. Предмет информатики. Системы счисления.
- Арифметические операции в традиционных системах счисления. Правила преобразования чисел между системами счисления.
- Особенности представления информации в компьютере. Представление целых чисел. Особенности реализации арифметических операций в конечном числе разрядов.
- Представление вещественных чисел. Формат с плавающей запятой. Особенности арифметических операций.
- Представление текстовой информации. Кодировки.
- Алгебра логики. Основные логические операции и их таблицы истинности. Основные законы алгебры логики. Формальное решение логических задач.
- Булевы функции. Канонические формы логических функций. Полные системы булевых функций.
- Минимизация булевых функций. Минимизирующие карты Карно. Метод Куайна-МакКласки.
- Алгебра переключательных схем. Логические схемы. Сумматор. RS-триггер.
- Алгоритмы. Машина Тьюринга. Альтернативные определения алгоритма. Теория вычислимости и проблема останова.
- Алгоритмическая сложность. Алгоритмы поиска. Алгоритмы сортировки.
- Основы теории информации. Формула Хартли. Формула Шеннона.
- Структуры данных
- Аппаратное обеспечение
Темы семинарских занятий:
- Преобразование чисел между системами счисления.
- Арифметические операции с целыми числами в конечном числе разрядов.
- Арифметические операции с вещественными числами.
- Алгебра логики. Логические задачи.
- Минимизация булевых функций.
- Машина Тьюринга. Машина Поста.
Упражнения (pdf):
Рекомендованная литература
- Е.В. Андреева, Л.Л. Босова, И.Н. Фалина. Математические основы информатики.
- А.С. Грошев, П.В. Закляков. Информатика, 3-е изд, М.: ДМК Пресс, 2015 – 588 с. ISBN: 978-5-97060-304-8. Главы 1-4, 7.
- Томас Х. Кормен, Чарльз И. Лейзерсон, Рональд Л. Ривест, Клиффорд Штайн. Алгоритмы: построение и анализ, 3-е издание — М.: «Вильямс», 2013. — 1328 с.
- А.Я. Савельев. Основы информатики [есть в библиотеке]
- В.А. Острейковский. Информатика. Главы 2, 3 [есть в библиотеке]