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

Ár

1. ár

Önn

Vorönn/Spring 2024

Stig námskeiðs

Óskilgreint

Tegund námskeiðs

Valnámskeið

Undanfarar

T-103-STST, Strjál stærðfræði fyrir verkfræðinema
T-117-STR1, Strjál stærðfræði I
T-419-STR2, Strjál stærðfræði II

Skipulag

TD-Staðarnám-12 vikna

Kennari

Anna Ingólfsdóttir

Antonios Achilleos

Lýsing

Logic has been called "the calculus of computer science". The argument is that logic plays a fundamental role in computer science, similar to that played by calculus in the physical sciences and traditional engineering disciplines. Indeed, logic plays an important role in areas of Computer Science as disparate as architecture (logic gates), software engineering (specification and verification), programming languages (semantics, logic programming), databases (relational algebra and SQL), artificial intelligence (automatic theorem proving, multi-agent systems, knowledge and belief), algorithms (complexity and expressiveness), and theory of computation (general notions of computability). See, for instance, the slides available at http://www.ru.is/faculty/luca/SLIDES/logic-and-cs.pdf for more information. This course provides the student with a thorough introduction to computational logic, covering the topics of syntax, semantics, decision procedures and formal systems for various logics that play a crucial role in applications in computer science, namely propositional and first-order logic, and modal and temporal logics. The material is taught from a computer science perspective, with an emphasis on the use of logic as a specification language and general-purpose problem-solving tool in computer science. As part and parcel of the course, we shall introduce various logic-based software tools and the algorithms and data structures underlying them; examples include BDD-based tools, SAT solvers and model checkers. The goal is to prepare the students for using logic as a formal tool in computer science.

Námsmarkmið

At the end of the course, the students will be able: to use suitable logical languages (such propositional and first-order logic as well as modal and temporal logics) to model computer science related problems, to solve problems using techniques from logic and tools embodying those techniques, to apply logic to formalize reasoning in their own fields of interest within computer science.

Námsmat

Ekkert skráð námsmat.

Lesefni

Ekkert skráð lesefni.

Kennsluaðferðir

Engin skráð kennsla.

Tungumál

Enska

Starfsnám BSc í tölvunarfræðideild

T-618-STAR

6 Einingar

Rannsóknarvinna grunnnáms