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

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