Математические и логические основы информатики.

Информатика, её составные части и её роль в современном обществе. Представление о системе: Человек и компьютер и её влияние на все сферы человеческой деятельности.

Математизация и формализация объектов различной природы - описательный, исчисленческий и логический языки как способы математизации знаний различной природы. Примеры из лингвистики – числовые и лексические функции, лингвистические модели.

Алгебраические системы и бинарные операции на множествах.

Модели баз данных – классификация, структурные элементы, иерархическая, сетевая и реляционная модель данных.

Семантические множества и логические операции над высказываниями. Таблицы истинности. Логические формулы и логические переменные. Опытное обоснование логических операций. Булева алгебра и её законы.

Логические операции как способ кодирования информации, их представление с помощью графов. Функции двух переменных. Аналитическое представление таблично заданных логических функций. Переработка информации исчисленческим путём.