Логика и алгоритмы

Понятие о формальной логике. Таблицы истинности логических выражений. Функции алгебры логики. Законы и правила булевой алгебры. Логические выражения и их преобразование. Построение СКНФ и СДНФ. Логические элементы компьютера. Понятие алгоритма. Свойства алгоритмов. Исполнители алгоритмов, система команд исполнителя. Способы записи алгоритмов. Формальное исполнение алгоритмов. Основные алгоритмические конструкции.

Учащиеся должны знать: основы формальной логики, логические операции, понятие функции алгебры логики, определение и основные свойства алгоритма, понятие исполнителя и его среды, основные алгоритмические конструкции.

Учащиеся должны уметь: формировать таблицы истинности по заданным логическим выражениям, строить формулы по таблице истинности, формировать СКНФ и СДНФ по таблице истинности, осуществлять трассировку алгоритма работы с величинами путем заполнения трассировочной таблицы

Архитектура компьютера, вычислительные сети и системное программное обеспечение

История развития вычислительной техники. Архитектура персонального компьютера. Типы программного обеспечения: системное, прикладное, утилиты. Функции операционных систем, их основные типы. Компьютерные сети. Способы подключения к Интернету. Техника безопасности при работе с компьютером.

Учащиеся должны знать: основные этапы эволюции вычислительной техники, назначение и функции системного программного обеспечения, основные понятия компьютерных сетей, основные протоколы локальных и глобальных сетей, основные правила техники безопасности при работе на компьютере, основные поражающие факторы, действующие в компьютерном классе: электрический, радиационный.

Учащиеся должны уметь: выполнять диагностику и трассировку подключения к сети Интернет, оказать первичную медицинскую помощь при поражении электрическим током.

Элементы теории алгоритмов

Определение алгоритма. Теоретические основы алгоритмизации и классификация алгоритмов. Свойства алгоритмов. Формальные модели представления алгоритмов. Универсальный исполнитель. Машина Тьюринга. Понятие о доказательстве правильности программ.

Учащиеся должны знать: понятие алгоритма и его свойства, основные модели вычислений, основные положения теории сложности вычислений.

Учащиеся должны уметь: понимать простые программы машины Тьюринга, оценивать качество небольших алгоритмов.