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

Ár

1. ár

Önn

Haustönn/Fall 2024

Stig námskeiðs

Óskilgreint

Tegund námskeiðs

Skylda

Undanfarar

Engir undanfarar.

Skipulag

Ekkert skráð skipulag.

Kennari

Harpa Guðjónsdóttir

Lýsing

Aðalviðfangsefni þessa námskeiðs er ýmiskonar stærðfræði sem er undirstaða skilnings á grundvallaratriðum í tölvunarfræði. Fjallað er um nokkra efnisflokka og efnið jafnóðum tengt við hagnýt verkefni. Meðal efnisflokka eru eftirfarandi: rökfræði, mengjafræði, föll, vensl, fylkjareikningur, þrepun, talningarfræði og netafræði. Ennfremur er fjallað um fjöldatölu óendanlegra mengja og reiknanleika. Loks eru tekin fyrir formleg mál, mállýsingar, og endanlegar stöðuvélar.

Námsmarkmið

Þekking

Kunni skil á ýmsum efnisflokkum í strjálli stærðfræði sem eru nauðsynlegir til skilnings á tölvunarfræði.
Hafi kynnst grunnhugtökum í yrðingarökfræði og umsagnarökfræði.
Hafi kynnst formlegum röksemdafærslum.
Kunni skil á undirstöðuaðgerðum í mengjafræði.
Þekki grunneiginleika fyrir föll og sér í lagi lograföll, vísisföll, gólffall og loftfall.
Hafi lært frumatriði í fylkjareikningi.
Hafi vald á frumatriðum í talningarfræði.
Hafi kynnst grunnatriðum um rakningarformúlur.
Þekki undirstöðuhugtök um vensl. Þekki undirstöðuhugtök í netafræði, þar á meðal um Euler og Hamilton vegi, stystu leið í neti og litun neta. Hafi lært inngangsefni um fjöldatölu óendanlegra mengja.
Þekki hugtakið reiknanleiki og sönnun á því að “Halting problem” er óleysanlegt.
Kunni skil á grunnatriðum um formleg mál, mállýsingar og endanlegar stöðuvélar.

Leikni

Geti sett upp sanntöflur, beitt grunnreglum í yrðingarökfræði og notað kvantara.
Geti búið til beinar og óbeinar sannanir.
Geti sannað reglur með þrepasönnun og búið til þrepunarskilgreiningar.
Geti búið til einfaldar mengjasannanir.
Geti reiknað einföld dæmi um lograföll, vísisföll, gólffall og loftfall.
Geti beitt einföldum reikniaðgerðum, þar á meðal margföldun, fyrir talnafylki og rökfylki.
Geti leyst einföld dæmi um talningu staka í endanlegum mengjum, t.d. með umröðunum og samtektum.
Geti sett fram rakningarformúlur.
Geti beitt rakningarformúlum til að leysa ýmis konar orðadæmi.
Geti skorið úr um grunneiginleika vensla, þar á meðal fyrir jafngildisvensl.
Geti reiknað dæmi úr netafræði, þar á meðal um Euler og Hamilton vegi og talningu vega.
Geti beitt reikniriti Dijkstra til að finna stystu leið í neti.
Geti fundið litatölu fyrir ýmis net. Geti beitt netafræði til að leysa tilteknar gerðir hagnýtra verkefna. Geti sett fram þrepunarskilgreiningar fyrir t.d. net og tré og búið til sannanir með gerðarþrepun (e.structural induction).
Geti úrskurðað hvort mengi eru teljanleg og sannað það á hliðstæðan hátt og gert er fyrir mengi ræðra talna og mengi rauntalna.
Geti sett fram reglulegar mállýsingar og reglulegar segðir og búið til endanlegar stöðuvélar (DFA og NFA) fyrir einföld dæmi.
Geti einnig breytt frá einu af þessum formum í annað.
Geti sett fram samhengisfrjálsar mállýsingar.

Hæfni

Geti beitt rökfræði til að greina röksemdafærslur í mæltu máli
Geti hagnýtt sér netafræði til að leysa ýmis konar viðfangsefni utan
námskeiðsins
Geti nýtt sér efni námskeiðsins til að skilja formlega framsetningu í
síðari námskeiðum
Geti nýtt sér þekkingu sína á formlegum málum, mállýsingum og stöðuvélum
til dýpri skilnings á uppbyggingu forritunarmála.

Námsmat

Lesefni

Ekkert skráð lesefni.

Kennsluaðferðir

Tungumál

Íslenska

Tölvuhögun

T-107-TOLH

6 Einingar

Forritun

T-111-PROG

6 Einingar