SluitenHelpPrint
Switch to English
Cursus: NWI-IPI004
NWI-IPI004
Assertion and Argumentation
Cursus informatieRooster
CursusNWI-IPI004
Studiepunten (ECTS)6
CategoriePB (Propedeuse)
VoertaalEngels
Aangeboden doorRadboud Universiteit; Faculteit der Natuurwetenschappen, Wiskunde en Informatica; Informatica en Informatiekunde;
Docenten
Cursuscoördinator
dr. E.M.G.M. Hubbers
Overige cursussen docent
Contactpersoon van de cursus
dr. E.M.G.M. Hubbers
Overige cursussen docent
Docent
dr. E.M.G.M. Hubbers
Overige cursussen docent
Docent
A.R.R. Linard, MSc
Overige cursussen docent
Docent
T.C. Nägele
Overige cursussen docent
Collegejaar2017
Periode
KW3-KW4  (05-02-2018 t/m 02-09-2018)
Aanvangsblok
KW3
Onderwijsvorm
voltijd
OpmerkingVoorheen was dit de cursus Beweren en Bewijzen. Studenten voor wie de cursus verplicht is hebben voorrang.
Inschrijven via OSIRISJa
Inschrijven voor bijvakkersJa
VoorinschrijvingNee
WachtlijstNee
PlaatsingsprocedureVolgorde bepaald door opl./programma
ToelichtingVolgorde bepaald door opleiding/programma
Cursusdoelen
After completing this course you are able to:
  1. General competences:
    • detect inconsistencies and mistakes in wrongly formulated statements
    • formulate clear, consistent and correct assertions
    • provide argumentation about the correctness of your own assertions
    • systematically derive solutions
    • take part actively and constructively in making unclear assertions clear
    • structurize text using definitions
    • indicate the distinctions between natural languages and formal languages
    • deal in a professional way with different notations for intrinsically the same language
  2. Specific competences with respect to logic:
    • recognize which problems can be solved and which problems cannot be solved using propositional logic
    • translate natural language assertions into logic in a systematic way
    • present the semantics of formulas in propositional or predicate logic in a clear way in natural language
    • explain the semantics of the rules for natural deduction
    • prove assertions using natural deduction
    • present proofs in a comprehensible way
    • derive truth tables for assertions in propositional logic
    • derive semantic tableaux for assertions in propositional logic
    • use the terminology of tautology, logical consequences and logical equivalences
    • recognize and indicate mistakes within proofs
    • use the proof assistant Coq to prove theorems without reasonable doubt
  3. Specific competences with respect to system modelling:
    • create a rationality square for a given artefact
    • specify important properties of simple real time systems and their components within predicate logic
    • prove correctness of specifications in predicate logic
    • divide systems hierarchically into their components
    • prove that a system complies to certain properties using specifications in predicate logic of its components
    • clearly present an analysis, a design and a correctness proof of a system
Inhoud
This is a course in applied logic. On the one hand you will learn how to specify systems both informally in natural language and formally using propositional or predicate logic. Our goal is to describe these systems in such a way that these specifications can be used as a contract. On the other hand you will learn how to prove these assertions, or in other words, to prove that these systems operate exactly as they should according to their contracts. This process of argumentation will also be done using natural language and using formal mathematical methods. Eventually you will use a proof assistant to check your proof.
These techniques will be practised in relatively small weekly exercises. They will be tested in written intermediate exams and a group project in which you will show that you can apply these techniques of assertion and argumentation on a complex system.
Bijzonderheden
This course was previously known as NWI-IPI004 Beweren en Bewijzen. As of 2017, it is taught in English.
Onderwerpen
• The rationality square.
• Focus of a model.
• Natural languages and formal languages.
• Propositional logic and predicate logic: syntax and semantics.
• Systematic translation of assertions in natural language to assertions in predicate logic.
• Proofs in natural language.
• Proofs in formal language using truth tables, semantic tableaux and natural deduction.
• Using a proof assistant.
• Correctness theorem of an artefact.
Toetsinformatie
The obligatory parts of this course are:
• Two intermediate tests; the scores IT1 and IT2 for these tests must be at least 5.0.
• A group project; the score P for this project must be at least 5.5.
• Weekly Coq assignments; the average score C of these assignments must be at least 5.5 and it may lead to a small bonus for the final grade.

In addition there are non-mandatory weekly assignments; these assignments are not graded, but act as an entrance ticket for the response lectures: only students who handed in a serious attempt for these learning tasks are admitted to the response lectures. Participation in these response lectures may lead to a small bonus L for the final grade.

The bonus B is MIN(1, L + C/10).

Under the assumption that all requirements for the obligatory parts are met, the final grade F is MIN(10, ((IT1+IT2)/2 + P)/2 + B).

In all other situations the final grade is MIN(5, ((IT1+IT2)/2 + P)/2).

Final grades will be rounded in the normal way.
Voorkennis
Je dient basiskennis te hebben van propositielogica en predikaatlogica op het niveau van de cursussen Formeel Denken (IPK001) of Wiskundige Structuren (IPC020). Daarnaast is het praktisch als je enige ervaring hebt met programmeren en modelleren.
Literatuur
Currently, most information can be found in the slides used at the plenary lectures. For this course it is not obligatory to buy a book, but it is advised to read a general book on propositional and predicate logic. For instance: Logic in Computer Science, by Huth and Ryan. ISBN: 9780521543101. But there are many alternatives.
Werkvormen
• 3 hours guided group project work
• 32 hours plenary lecture
• 25 hours group project work without guidance
• 16 hours question session
• 16 hours tutorial
• 76 hours individual study period
Aanbevolen materiaal
Boek
Logic in Computer Science, by Huth and Ryan. This book is useful for background reading, but there is no obligation to use this book within the course.
ISBN:9780521543101
Werkvormen
Cursusgebeurtenis

Hoorcollege

Project
AanwezigheidsplichtJa

Algemeen
Voor dit vak dient er een groepswerkstuk te worden gemaakt.

Responsiecollege

Algemeen
In het begin van de cursus zijn er groepen van 45 minuten. Aan het eind van de cursus worden er meestal groepen samengevoegd zodat er bijeenkomsten van 90 minuten ontstaan.

Voorbereiding bijeenkomsten
Het is verplicht om een leertaak te hebben ingeleverd om deel te mogen nemen aan het responsiecollege.

Zelfstudie

Toetsen
Tentamen
Weging1
GelegenhedenBlok KW4, Blok KW4

SluitenHelpPrint
Switch to English