Плиско В.Е. - Введение в математическую логику - 1. Элементы теории множеств
Тема 1.5: Элементы комбинаторики, теории множеств и математической логики
П.1 Высказывания Алгебра логики (высказываний) - раздел математической логики, изучающий высказывания и логические операции над ними. Высказывание(суждение) – любое повествовательное предложение в отношении которого можно однозначно сказать, истинно оно или ложно. Примеры высказываний: Высказываниями не являются: Алгебра логики (высказываний) работает с высказываниями. Различают: Истина: Аристотель - основоположник логики. Ложь: На яблонях растут бананы. А = {Аристотель - основоположник логики} – истина...
Кто придумал математические знаки?
Слово математика пришло к нам из древнегреческого, где μάθημα означало "учиться", "приобретать знания". И не прав тот, кто говорит: "Мне не нужна математика, я ведь не собираюсь стать математиком". Математика нужна всем. Раскрывая удивительный мир окружающих нас чисел, она учит мыслить яснее и последовательнее, развивает мысль, внимание, воспитывает настойчивость и волю. М.В.Ломоносов говорил: "Математика ум в порядок приводит". Одним словом, математика учит нас учиться приобретать знания. Математика – это первая наука, которую смог освоить человек...