| TTIT07 | Diskreta strukturer, 7 poäng /Discrete Structures/ För: IT1 | |
| Utbildningsområde: Teknik Ämnesgrupp: Elektroteknik/Datalogi/Matematik | ||
| Fördjupningsnivå: B | ||
| Mål: Temat avser dels att ge förståelse för grundläggande begrepp från diskret matematik och logik; dels att visa hur dessa begrepp kan understödja strukturerade konstruktionsmetoder för digitala system, samt färdigheter och förståelse för hur digitala system fungerar. Organisation: Teorigenomgång på föreläsningar och övningar på lektioner och laborationer. Kursinnehåll: Mängder, funktioner, talsystem, kodning och avkodning, relationer, algebror, Boolesk algebra och satslogik, modell- och bevisteori för satslogik, kombinatoriska nät, minimering, Karnaughdiagram, NAND- och NOR-syntes, normalformer, tri-state, verifikation, ofullständigt specificerade nät, nät med flera utgångar, speciella nät (adderare, komparator, avkodare, multiplexer), tillståndsautomater, sekvensnät, tillståndsminimering, iterativa kombinatoriska nät, klockade vippor, asynkrona signaler, räknare och skiftregister, styrenheter. Kurslitteratur: Enligt litteraturlista | ||
| TEN1 | En skriftlig tentamen, 5 p. | |
| LAB1 | En laborationskurs, 2 p. | |
Undervisningsspråk är Svenska.