Jaarboeke

Teoretiese rekenaarwetenskap 210


 
Modulekode COS 210
Kwalifikasie Voorgraads
Fakulteit Fakulteit Ingenieurswese, Bou-omgewing en Inligtingtegnologie
Module-inhoud

Hierdie module stel studente bekend aan 'n raamwerk om die berekenbaarheid en kompleksiteit van probleme te kan ondersoek. Onderwerpe wat behandel sal word bestaan uit, maar is nie beperk tot: eindigetoestandsmasjiene, reëlmatigeuitdrukkings en hulle toepassing in 'n taal soos awk, die “Halting” probleem, konteksvryegrammatikas, P vs NP probleem, NP-complete klas, verminderingstegnieke, reëlmatigetale, DFAs en NFAs, Lattices, Church-Turing tesis.

Modulekrediete 8.00
Voorvereistes COS 110 en COS 151
Kontaktyd 1 praktiese sessies per week, 2 lesings per week
Onderrigtaal Module word in Engels aangebied
Akademiese organisasie Rekenaarwetenskap
Aanbiedingstydperk Semester 1

Die inligting wat hier verskyn, is onderhewig aan verandering en kan na die publikasie van hierdie inligting gewysig word.. Die Algemene Regulasies (G Regulasies) is op alle fakulteite van die Universiteit van Pretoria van toepassing. Dit word vereis dat elke student volkome vertroud met hierdie regulasies sowel as met die inligting vervat in die Algemene Reëls sal wees. Onkunde betrefffende hierdie regulasies en reels sal nie as ‘n verskoning by oortreding daarvan aangebied kan word nie.

Copyright © University of Pretoria 2024. All rights reserved.

COVID-19 Corona Virus South African Resource Portal

To contact the University during the COVID-19 lockdown, please send an email to [email protected]

FAQ's Email Us Virtual Campus Share Cookie Preferences