Автоматтар және тілдер теориясы

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