AU kursuskatalog arkiv

Kontrakt Baseret Programmering 1 (TIKBP1-U01) ( efterår 2009 - 5 ECTS )

Rammer for udbud

• Uddannelsessprog: dansk
• Niveau: Kandidatniveau, Teknisk IT
• Semester/kvarter: Q1
• Timer per uge: 3 timers undervisning om ugen og derudover er der ugeafleveringer af opgaver.
• Deltagerbegrænsning: Ingen
• Undervisningssted: Århus
• Hovedområde: Ingeniørhøjskolen
• Udbud ID: 16071

Formål

At beherske den diskrete matematik der er grundlaget for at gennemføre teknisk it.

Indhold

I dette kursus dækkes matematiske strukturer (mængder, sekvenser, funktioner, relationer), propositionslogik (booleske værdier, operatorer, regneregler), prædikatlogik (typede variabler, kvantorer, regneregler), og bevisførelse (induktion, modstrid, reduktion, osv.).

Faglige forudsætninger

Ingen

Underviser

Jens Bennedsen og Peter Gorm Larsen

Undervisnings- og arbejdsform

Ugentlige forelæsninger og 6 skriftlige opgaver.

Dansk

Litteratur

Neville Dean: The Essence of Discrete Mathematics. Prentice Hall, 1997 og artikler.

Udbyder

Ingeniørhøjskolen i Århus

Indgår i følgende studieordninger

Civilingeniøruddannelsen i Teknisk IT

Tilmelding til undervisning

Undervisningstilmelding til 1. og 2. kvarter, efteråret 2009 foregår 1.-15. maj på Selvbetjeningen: https://mit.au.dk/

Læringsmål

Deltagerne skal ved afslutningen af kurset kunne:

• definere og analysere fundamentale begreber indenfor propositionslogik og prædikatlogik
• forklare og anvende modellering ved hjælp af diskret matematik så som mængder, lister, funktioner, relationer og grafer.
• beskrive principperne for forskellige bevisteknikker så som induktion, modstrid og reduktion.

Bedømmelse

• Mundtlig, bedømt efter 7-skala med ekstern censur
5 xxxxx

Mundtlig eksamen efter 7-skalaen med ekstern censor.