| TTIT07 |
Tema: Diskreta strukturer, 7 p
/Discrete Structures/ |
||
Prel. schemalagd
tid: 76 |
|||
|
Utbildningsområde: Teknik Ämnesgrupp: Elektroteknik/Datalogi/Matematik/Datateknik Nivå (A-D):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. |
|||
| Förkunskaper: (gäller studerande antagna till program som kursen ges inom, se 'För:' ovan) OBS! Tillträdeskrav för icke programstudenter omfattar vanligen också tillträdeskrav för programmet och ev. tröskelkrav för progression inom programmet, eller motsvarande. |
|||
| 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 |
|||
| Examination: | |||
| TEN1 LAB1 BAS1 |
En skriftlig tentamen (U,3,4,5) En laborationskurs (U,G) Basgruppsarbete (U,G) |
5 p 2 p 0 p |
|
Undervisningsspråk är Svenska.
Institution: IDA.
Studierektor: sas-sr@ida.liu.se
Examinator: Ulf Nilsson
Länk till kurshemsida på kursgivande institution
Ansvarig utbildningsnämnd: UND
Engelsk kursplan
Om inget annat anges ovan gäller betygsskala enligt avsnitt a8.5 i de gemensamma bestämmelserna.
Kursplanen gäller för 2005 enligt beslut av ansvarig utbildningsnämnd.
 |
||||||
| ||||||