Математическая логика относится к дисциплинам, образующим «математический фундамент» информатики. Она используется в программировании, при построении запросов к реляционным базам данных и доказательстве правильности компьютерных программ.
ЧТО ТАКОЕ ЛОГИКА?
Человек, овладевший логикой, мыслит более четко, его аргументации убедительнее, чем у того, кто логики не знает. Он гораздо реже заблуждается и совершает ошибки. Логическое мышление не является врожденным, поэтому его можно и нужно развивать.
ЧТО ИЗУЧАЕТ ЛОГИКА?