TDDC75 · Linköpings universitet
Diskreta strukturer
Ny kurs
Inga tentor än
Ladda upp dina tidigare tentor och få hjälp med att strukturera ditt studiematerial
Få dina tentauppgifter kategoriseradeBli guidad genom ditt studiematerialFå hjälp direkt med teori och tipsHåll koll på dina framsteg
HP
8
Språk
Svenska
Nivå
Grundnivå
Fakultet
Tekniska fakulteten
Institution
Institutionen för datavetenskap
Lärandemål
- Kursens syfte är ge en teoretisk och praktisk grund för att förstå, konstruera och analysera diskreta system. Efter genomgången kurs ska studenten kunna
- omsätta en problemformulering till teoretisk modell
- tillämpa och presentera grundläggande begrepp i diskret matematik
- tillämpa strukturerade metoder för analys och syntes av kombinationskretsar och sekvenskretsar
- bevisa matematiska påståenden om diskreta system
- omsätta en konstruktion till fungerande hårdvara
- verifiera hårdvaran mot den ursprungliga problembeskrivningen
- använda matematiska begrepp i kombination med datorprogram för att lösa problem.
Kursinnehåll
- Talsystem och koder: talrepresentationer, talkonverteringar
- Prepositionslogik och Boolesk algebra
- Bevismetoder: naturlig deduktion, bevisprinciper, matematisk induktion
- Mängder: mängdoperationer, kardinalitet, potensmängd
- Relationer: egenskaper för relationer, sammansättning, höljen, ordningsrelationer
- Funktioner: injektion, surjektion, bijektion, sammansättning
- Kombinatoriska kretsar: minimering, Karnaughdiagram, NAND- och NOR-syntes, tri-state, ofullständigt specificerade kretsar, kretsar med multipla utgångar
- Kombinatoriska komponenter: adderare, komparator, avkodare, demultiplexer, multiplexer, permanentminnen
- Sekvenskretsar: synkronism-asynkronism, Mealy-Moore-modell, tillstånd, tillståndsgraf, tillståndsminimering
- Syntes med klockade vippor och räknare, asynkrona signaler till synkront system, initiering
Förutsättningar
Saknas
Litteratur
Liknande kurser vid andra universitet
Gör som 15 000+ studenter och ta kontroll över ditt tentaplugg.
Kom igång gratis