Брусенцов Н.П. Начала информатики

М.: Фонд Новое тысячелетие, 1994. — 176 с.Неформальное исследование оснований и инструментария информатики как науки о символьных системах отображения. Выявлена сущность булевой алгебры и её расширений в пределах трёхзначной логики Лукасевича. Средствами алгебры множеств и диаграмм Кэррола прояснена сущность модальностей, актуального следования и силлогистики. Предназначено стремящимся разобраться в основах информатики и безупречного рассуждения.О предмете и основаниях информатики.
Булева алгебра.
Базисные операции.
Основные тождества.
Нормальные формы.
Истолкование.
Связки.
Функции и отношения.
Уравнения.
О сущности алгебры.
Алгебра множеств.
Диаграмма Льюиса Кэррола.
Истолкование алгебры множеств.
Теоретико-множественные операции.
Однокритериальный универсум. Модальности.
Двукритериальный универсум. Отношение следования.
Аристотелева силлогистика.
О сущности отображений.