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




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



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

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

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

  • 1 ноября 2017 в 01:17 | 147 | Израиль

    Основополагающее введение в дискретную математику, без знания которой не- возможно успешно заниматься информатикой и программированием. Ни одно из многочисленных изданий по этой дисциплине, вышедших на русском языке, не чи- тается с таким удовольствием и пользой. В доступной и весьма увлекательной форме автор рассказывает о фундаментальных понятиях дискретной математики – о логике, множествах, графах, отношениях и булевых функциях. Теория изложена кратко и иллюстрируется... далее

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