Математикалық логика

  • Осы курсты оқубарысында тыңдаушылар гипотезаларды тұжырымдауды, логикалық тұжырымдар жасауды ғана емес, сонымен қатар мәлімдемелер логикасының заңдылықтары мен формулалары негізінде логикалық ойлаудың дұрыстығын тексеруді және бағалауды үйренеді. Сонымен қатар, курс функционалды элементтердің схемаларын өңдеуге және жеңілдетуге мүмкіндік беретін логикалық функциялар мен жұмыс істеу дағдыларын береді. Сондай-ақ курс тыңдаушыларды кодтау теориясының элементтерімен таныстырады.
  • Образовательная программа 6B01502 Математика-Информатика
  • Несиелер 5
  • Селективті тәртіп
  • Оқу жылы 3
  • Семестр 1
Top