MySchool

Tölvunarfræðideild
Deildarforseti:	Dr. Henning Arnór Úlfarsson
Vefpóstur:	ru@ru.is
Vefsíða:	http://www.ru.is/td
Kennarar	Skoða

BSc í tölvunarstærðfræði
Annir:	6
Ár:	3
Einingar:	180
Um námsleiðina	Nám í tölvunarstærðfræði hentar þeim sem hafa gaman af því að leysa stærðfræðiþrautir og vilja kljást við flókin viðfangsefni í hugbúnaðargerð. Í tölvunarstærðfræði er kafað dýpra í undirstöður tölvunarfræðinnar. Nemendur læra meiri stærðfræði og hvernig má nýta hana til að leysa áhugaverð vandamál í tölvunarfræði.
Hæfniviðmið	Skoða
Fagréttindi	BSc í tölvunarstærðfræði

Táknmyndir
	Skyldufag á braut		Kennslutungumál
	Valfag á braut		Undanfarar fyrir námskeið

Vorönn/Spring 2024

Viðskiptagreind

I-707-VGBI

6 Einingar

Stærðfræði I

T-101-STA1

6 Einingar

Forritun 1A

T-112-PRGA

2 Einingar

Forritun 1B

T-114-PRGB

2 Einingar

Gagnaskipan

T-201-GSKI

6 Einingar

Línuleg algebra með tölvunarfræði

T-201-LINC

6 Einingar

Stærðfræði II

T-201-STA2

6 Einingar

Gagnasafnsfræði

T-202-GAG1

6 Einingar

Vefforritun

T-213-VEFF

6 Einingar

Stýrikerfi

T-215-STY1

6 Einingar

Rauntímalíkön

T-219-REMO

6 Einingar

Forritun í C++

T-403-FORC

6 Einingar

Lokaverkefni

T-404-LOKA

12 Einingar

Uppl.- og samskiptatækni í skólakerfinu

T-418-UPSS

6 Einingar

Samhliða og dreifð forritun

T-419-CADP

6 Einingar

Vefforritun II

T-427-WEPO

6 Einingar

Vefforritun II

T-427-WEPO

6 Einingar

Netafræði

T-445-GRTH

6 Einingar

Forritunarmál

T-501-FMAL

6 Einingar

Rökfræði í tölvunarfræði

T-505-ROKF

6 Einingar

Starfsnám BSc í tölvunarfræðideild

T-618-STAR

6 Einingar

Rannsóknarvinna grunnnáms

T-622-UROP

0 Einingar

Samskipti manns og tölvu

T-636-SMAT

6 Einingar

Högun leikjavéla

T-637-GEDE

6 Einingar

Nýsköpun og stofnun fyrirtækja

X-204-STOF

6 Einingar

Skiptinám

X-699-EXCH

30 Einingar

Sumar/Summer 2024

Skiptinám

X-699-EXCH

30 Einingar

Haustönn/Fall 2024

Stærðfræðileg forritun

E-402-STFO

6 Einingar

Hagnýt viðskiptakerfi (ERP)

I-406-IERP

6 Einingar

Stærðfræði I

T-101-STA1

6 Einingar

Strjál stærðfræði fyrir verkfræðinema

T-103-STST

6 Einingar

Tölvuhögun

T-107-TOLH

6 Einingar

Forritun

T-111-PROG

6 Einingar

Forritun 1A

T-112-PRGA

2 Einingar

Verklegt námskeið 1

T-113-VLN1

6 Einingar

Forritun 1B

T-114-PRGB

2 Einingar

Gagnaskipan

T-201-GSKI

6 Einingar

Línuleg algebra

T-211-LINA

6 Einingar

Stærðfræði III

T-301-MATH

6 Einingar

Reiknirit

T-301-REIR

6 Einingar

Hönnun og smíði hugbúnaðar

T-302-HONN

6 Einingar

Tölfræði I

T-302-TOLF

6 Einingar

Hugbúnaðarfræði

T-303-HUGB

6 Einingar

Hagnýt tölfræði og inngangur að gagnagreiningu

T-305-ASID

6 Einingar

Upplýsingaþjóðfélagið

T-316-UPPL

6 Einingar

Stafræn þjónustuhönnun

T-318-STTH

6 Einingar

Fatahönnun og fatagerð fyrir tölvuleikja umhverfið

T-390-FHTU

6 Einingar

Lokaverkefni

T-404-LOKA

12 Einingar

Tölvusamskipti

T-409-TSAM

6 Einingar

Tölvuöryggi

T-417-TOOR

6 Einingar

Þróun opins vefhugbúnaðar

T-430-TOVH

6 Einingar

Þróun smáforrita

T-488-MAPP

6 Einingar

Tölvufimi, siðmenning og samfélag

T-503-POSH

6 Einingar

Vélrænt gagnanám

T-504-ITML

6 Einingar

Tölvugrafík

T-511-TGRA

6 Einingar

Dulritun og talnafræði

T-513-CRNU

6 Einingar

Vefþjónustur

T-514-VEFT

6 Einingar

Stöðuvélar og reiknanleiki

T-519-STOR

6 Einingar

Ár

1. ár

Önn

Haustönn/Fall 2024

Stig námsgreinar

3. Grunnnám, sérhæft námskeið

Tegund námskeiðs

Valnámskeið

Undanfarar

T-103-STST, Strjál stærðfræði fyrir verkfræðinema
T-301-REIR, Reiknirit
T-419-STR2, Strjál stærðfræði II

Skipulag

Ekkert skráð skipulag.

Kennari

Antonios Achilleos

Lýsing

Aðalviðfangsefni þessa námskeiðs er fræðileg undirstaða tölvunarfræðinnar. Fjallað er um mismunandi gerðir stöðuvéla og tengsl þeirra við formlegar skilgreiningar á forritunarmálum. Ennfremur er fjallað um Turing vélar sem fræðilegt likan fyrir tölvu. Þá er fjallað um reiknanleika og þar með leysanleg og óleysanleg verkefni. Loks er farið dýpra í flækjustigsflokka reiknirita en gert hefur verið í fyrri námskeiðum og þar með auðleysanleg og torleysanleg verkefni.

Námsmarkmið

Þekking •Þekki ákveðnar og óákveðnar endanlegar stöðuvélar og regluleg mál og helstu eiginleika þeirra •Viti hvað það þýðir að tvær slíkar stöðuvélar séu jafngildar •Viti að óákveðnum endanlegum stöðuvélum má alltaf breyta í jafngildar ákveðnar endanlegar stöðuvélar •Þekki staðlaða málvirkja sem varðveita þann eiginleika máls að vera reglulegt •Þekki reglulegar segðir og málið sem hver þeirra lýsir •Þekki samhengið á milli stöðuvéla og reglulegra segða •Þekki dælusetninguna fyrir regluleg mál •Þekki samhengisfrjálsar mállýsingar, samhengisfrjáls mál og “push-down” stöðuvélar og samhengið á milli þessara hugtaka •Þekki dælusetninguna fyrir samhengisfrjáls mál •Þekki Turingvélar og mismunandi útgáfur af þeim •Viti hvað það þýði að mál séu Turing-ákvarðanleg og Turing-Þekkinleg •Þekki stöðvunarvandamálið fyrir Turingvélar og viti að það sé óákvarðanlegt •Þekki framsetningu vandamála sem formlegra mála •Þekki hugtakið tímaflækjustig fyrir Turingvél •Þekki flækjustigsflokkana P og NP •Þekki hugtökin NP-fulkomið mál og smækkun (reduction) frá einu máli yfir í annað •Þekki nokkur klassísk mál og í hvaða flækjustigsflokki þau eru (P, NP, NP-fullkomin) Leikni •Geti teiknað endanlegar stöðuvélar og lýst í orðum málinu sem þær samþykkja •Geti teiknað endanlega stöðuvéla fyrir einfalt reglulegt mál út frá lýsingu á því máli •Geti lýst strengjum í reglulegu máli út frá reglulegri segð sem lýsir því •Geti búið til reglulega segð fyrir einfalt reglulegt mál út frá lýsingu þess í orðum •Geti sýnt fram á að tvær einfaldar endanlegar stöðuvélar eða stöðuvél og regluleg segð séu jafngild •Geti breytt óákveðinni endanlegri stöðuvél í jafngilda ákveðna endanlega stöðuvél •Geti breytt reglulegri segð í jafngilda endanlega stöðuvél •Geti breytt ákveðinni endanlegri stöðuvél í jafngilda reglulega segð •Geti sýnt fram á að mál séu regluleg með því að nota lokunareiginleika virkja fyrir regluleg mál •Geti sýnt fram á að mál séu ekki regluleg með óbeinni sönnun og með því að nota lokunareiginleika virkja á regluleg mál •Geti sýnt fram á að mál séu ekki regluleg með því að nota dælusetninguna fyrir regluleg mál •Geti lýst í orðum máli sem samhengisfrjálsa mállýsing lýsir •Geti búið til samhengisfrjálsa mállýsingu fyrir mál út frá lýsingu á málinu í orðum •Geti lýst samhengisfrjálsu máli sem gefin push-down stöðuvél samþykkir •Geti búið til push-down stöðuvél fyrir einfalt samhengisfrjálst mál út frá lýsingu á því í orðum •Geti breytt samhengisfrjásri mállýsingu í jafngilda push-down stöðuvél •Geti sýnt fram á að mál séu samhengisfrjáls með því að nota lokunareiginleika virkja fyrir slík mál •Geti sýnt fram á að mál séu ekki samhengisfrjáls með óbeinni sönnun og með því að nota lokunareiginleika virkja á regluleg og samhengisfrjáls mál •Geti sýnt fram á að mál séu ekki samhengisfrjáls með því að nota dælusetninguna fyrir samhengisfrjáls mál •Geti teiknað Turinvél sem stöðuvél og lýst málinu sem hún samþykkir •Geti gert grein fyrir stöðvunarvandamálinu og sýnt fram á að það sé Turing Þekkinlegt en ekki Turing ákvarðanlegt. •Geti sýnt fram á að ýmis vandamál (þegar þeim er lýst sem máli) sem varða regluleg og samhengisfrjáls mál geta verið ákvarðanleg, Þekkinleg eða hvorugt •Geti notað lokunareiginleika fyrir ákvarðanleg mál til að sýna að mál séu ákvarðanleg •Geti notað smækkun frá einu máli yfir í annað til að sýna fram á að mál sé ákvarðanlegt eða Þekkinlegt •Geti notað smækkun frá einu máli yfir í annað til að sýna fram á að mál sé ekki ákvarðanlegt eða ekki Þekkinlegt •Geti fundið tímaflækjustig fyrir einfalda Turingvél •Geti ákvarðað í einföldum tilfellum hvort mál tilheyrir flækjustigsflokkunum P eða NP •Geti notað lokunareiginleika þessara flokka til að segja til um hvaða flokki mál tilheyra •Geti notað margliðuflækjustigssmækkun frá gefnu máli NP máli í NP-fullkomið mál til að sanna að hið fyrra sé líka NP-fullkomið Hæfni •Geti nýtt endanlega stöðuvélar og eiginleika þeirra í ýmsum verkefnum innan tölvunarfræðinnar •Geti nýtt eiginleika samhengisfrjálsra mállýsinga í forritun •Geti nýtt eiginleika samhengisfrjálsra mállýsinga og tilsvarandu push-down stöðuvéla í þróun þýðenda fyrir forritunarmál •Geti greint erfiðleikastig vandamála eftir ákvarðanleika og flækjustigsflokki

Námsmat

Ekkert skráð námsmat.

Lesefni

Ekkert skráð lesefni.

Kennsluaðferðir

Engin skráð kennsla.

Tungumál

Enska

Cyber Physical Systems

T-535-CPSY

6 Einingar

Þýðendur