В данной статье мы поговорим о математической логике, разберем основные операции и ассоциируем их с реальным миром. Математическая логика — это раздел современной формальной логики, в котором логические...

К точным наукам принято относить математику, физику, химию, информатику, а также некоторые разделы биологии. Все формальные науки — точные, при этом естественные науки, будучи в значительной части своих разделов точными, формальными не являются. Точные науки могут быть как фундаментальными, так и прикладными. Математика — точная наука, первоначально исследовавшая количественные отношения и пространственные формы; более современное понимание: это наука об отношениях между объектами, о которых ничего не известно, кроме описывающих их некоторых свойств,— именно тех, которые в качестве аксиом положены в основание той или иной математической теории...