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