Матлогика и дискретная математика




Данный подраздел предназначен для размещения учебных материалов по математической логике и дискретной математике



  • 16 ноября 2017 в 15:50 | 4473 | Россия / Москва

    Основы формальной логики и предикатной логики первого порядка. Вступление: В этой статье будет рассказано о том, что из себя представляет логика, на какие категории она делится, для чего она нужна и будут затронуты её законы. Первая часть: Логика, как инструмент, была придумана в трёх разных независимых культурах: Греции, Индии и Китае. Однако ни в Китае, ни в Индии логика не прижилась. В Греческой философии был человек, именуемый Аристотелем, который и придумал логику. После она дополнялась, спустя... далее

    Комментариев: 1