Элективный курс Информатика. Основы математической логики. 10-11 класс.

Отношения между (двумя произвольными) К.: тождественности (совпадения); включения — один К. является частью (подклассом) другого; частичного совпадения (когда К. имеют хотя бы один общий элемент) и исключения (когда они не имеют общих элементов). Изучение свойств операций над К. и отношений между К. проводится в логике классов.   Лит.: Гильберт Д., Аккерман В., Основы теоретической логики, пер. с нем., М., 1947; Тарский А., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Яновская С. А., Логика классов, в кн.: Философская энциклопедия, т. 3, М., 1964; Кузичев А. С., Диаграммы Венна, М., 1968; Мендельсон Э., Введение в математическую логику, пер. с англ., М., 1971.   А. С. Кузичев. Класс (обществ.) Класс общественный, см. Классы. Классика Кла'ссика (от лат. classicus — образцовый). Первоначально «классик» — относящийся к первому разряду, «классу», высшей из пяти цензовых категорий, на которые, по преданию, были разделены граждане Древнего Рима. В метафорическом смысле («элита») слово «классики» было впервые употреблено Цицероном, а применительно к литературе — Авлом Геллием (2 в.) ...»