Discrete Structures and Introduction to Proofs
Diskreta strukturer och introduktion till bevis

EDA030F, 6 högskolepoäng

Gäller från och med: Spring 2016
Beslutad av: Professor Thomas Johansson
Datum för fastställande: 2016-10-27

Allmänna uppgifter

Avdelning: Computer Science (LTH)
Kurstyp: Ren forskarutbildningskurs
Undervisningsspråk: English

Syfte

The aim of the course is to introduce concepts in discrete structures that are central to computer science.

Mål

Kunskap och förståelse

För godkänd kurs skall doktoranden

• understand basic concepts in discrete structures
• understand the structure of proofs

Färdighet och förmåga

För godkänd kurs skall doktoranden

• be able to apply concepts in discrete structures on problems in computer science
• be able to apply basic techniques to construct proofs

Kursinnehåll

Sets, relations, functions, induction, recursion, trees, grafs, propositional logic, predicate logic, interactive proof assistants.

Kurslitteratur

• Makinson, D.: Sets, Logic, and Maths for Computing, 2nd edition.. Springer, 2012. ISBN 9781447124993.
• Pierce, Benjamin C.: Software Foundations. Electronic textbook. Version 4.0.. 2016.

The preface and the chapters on Basics, Induction, and Lists are included in the course.

Kursens undervisningsformer

Undervisningsformer: Seminarier, laborationer, övningar, övrigt. The course is given in the form of exercises, labs, peer marking, and seminarier. Before each seminar, the PhD student shall read course material and do exercises and/or labs. Each PhD student will do peer marking of certain exercises and/or labs. At the seminars, different solutions are discussed.

Kursens examination

Examinationsformer: Inlämningsuppgifter, övrigt. Active participation at seminars. The assignments include both solutions to exercises and feedback on other solutions.
Betygsskala: Underkänd, godkänd
Examinator:

Antagningsuppgifter

Övrig information

In addition to the course book, certain material from the internet is included (videos and lecture notes).

Kurstillfällesinformation

Kontaktinformation och övrigt

Kursansvariga:
Hemsida: http://cs.lth.se/forskning/doktorandkurser-phd-courses/