Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Булева алгебра 1
Математика.
Матема́тика (др.-греч. μᾰθημᾰτικά[1] < μάθημα «изучение; наука») — точная формальная наука[2], первоначально исследовавшая количественные отношения и пространственные формы[3]. В более современном понимании, это наука об отношениях между объектами, о которых ничего не известно, кроме описывающих их некоторых свойств, — именно тех, которые в качестве аксиом положены в основание той или иной математической теории[4]. Математика исторически сложилась на основе операций подсчёта, измерения и описания формы объектов[5]...