Logica is een tweedejaars vak binnen de bachelor
Informatica en Economie aan de Universiteit Leiden.
De inhoud is in principe gelijk aan die van het eerstejaars vak
Logica
binnen de bachelor Informatica (dat in het voorjaar gegeven wordt).
Alleen is de voertaal tijdens de colleges Nederlands, en zijn er natuurlijk
aparte huiswerkopgaven en tentamens.
Practische informatie
Docent: Rudy van Vliet
te vinden op: kamer 140
van het Snellius
telefoon: 071-527 2876
email: rvvliet(at)liacs(dot)nl Assistent: Ruben Turkenburg Onderwijsvorm: hoorcollege, (verplicht) werkcollege
en een aantal huiswerkopgaven Collegetijden:
hoorcollege maandag van 11.00-12.45 uur van Rudy van Vliet,
in zaal 402,
werkcollege donderdag van 11.00-12.45 uur van de assistent
in zaal 403,
van maandag 4 september tot en met donderdag 7 december 2017,
met uitzondering van maandag 23 oktober en donderdag 26 oktober.
Studielast
Met het behalen van dit vak verdient u 6 EC.
Het niveau van het vak wordt aangeduid als `100'.
Voorkennis
Wiskunde B op VWO-niveau.
Inhoud
(uit de e-studiegids)
Originally logic was used by the Greek Sophists to demonstrate
the correctness of their argument in formal debates. The ambiguity
of human languages asked for formulation of logic in a symbolic formal
language. Only towards the end of the 19th century logic has been formulated
in the language of mathematics, and in particular of algebra, making it
a useful tool to solve mathematical problems. In the same period the language
used to prove theorems from mathematics begun suffering the same problems
as natural language, showing many paradoxes. Logic was proposed
as the foundational language of mathematics, but several limitation where
soon discovered. More recently logic has become the language
of computer science, just as calculus is the language of many engineering
disciplines.
In this course we will study propositional and predicate logic, their proof
theory, their limitation, as well as some of their applications in computer
science.
Doelstelling
(uit de e-studiegids)
The course gives an introduction to the field of mathematical logic
by presenting the syntax and semantics of propositional logic and
of the richer language of predicate logic. The goal is to describe
and investigate the above logics by finitary methods, and to train
students in formalizing specifications and in verifying properties
of systems.
Toetsing
Schriftelijk tentamen aan het eind van het semester.
Het eindcijfer van het vak is een gewogen gemiddelde
van het tentamencijfer (70%) en het gemiddelde van de beste vier
huiswerkopgaven (30%).
Het tentamencijfer zelf moet minstens 5.5 zijn.
In dat geval zal het eindcijfer ook minstens 5.5 zijn.
Wie het tentamen niet haalt, krijgt het (onvoldoende) tentamencijfer als
eindcijfer.
Tentamens
Er zijn twee tentamens geweest: Eerste tentamen:
vrijdag 5 januari 2018, 10.00-13.00 uur.
Hertentamen: donderdag 15 maart 2018, 10.00-13.00 uur.
Beide tentamens zijn nagekeken.
De resulterende cijfers, inclusief eindcijfers, vindt u in
het overzicht met alle cijfers.
Je kunt je nagekeken tentamen inzien bij de docent.
De tentamens zelf zijn nog terug te vinden in de lijst met oude tentamens
onderaan.
Vragenuur
Op woensdagmiddag 3 januari 2018 was er een vragenuur voor
het tentamen, in zaal 403 van het Snellius.
Daarbij kon je de vragen stellen die opgekomen waren bij
het leren voor het tentamen.
Huiswerkopgaven
In de loop van het semester zijn vijf huiswerkopgaven opgegeven.
Deze waren samen goed voor 30% van het eindcijfer.
De huiswerkopgaven moeten individueel gemaakt worden.
Wanneer blijkt dat studenten teveel hebben samengewerkt voor hun oplossing,
zullen de (voor een enkele oplossing) verdiende punten worden gedeeld door
het aantal betrokken studenten.
Huiswerkopgaven dienen op of voor de deadline ingeleverd te worden.
Haal je die deadline niet, dan heeft het geen zin meer om het huiswerk
in te leveren. Dat wil zeggen: het levert geen punten meer op.
Resultaten voor de huiswerkopgaven van Logica uit een eerder jaar,
zijn dit jaar niet meer geldig.
Literatuur
Michael Huth & Mark Ryan: Logic in Computer Science:
Modelling and Reasoning about Systems,
Cambridge University Press, 2004 (ISBN 052154310X).
Bibliography
[BDKLM03] J.F.A.K. van Benthem, H.P. van Ditmarsch, J. Ketting, J.S.
Lodder, and W.P.M. Meyer-Viol.
Logica voor informatica, derde editie,
Pearson Education, 2003.
[HR04] Michael R. A. Huth and Mark D. Ryan.
Logic in Computer Science: Modelling and Reasoning about Systems,
Cambridge University Press, 2004.
[V03] Moshe Vardi.
A Brief History of Logic, 2003.
LaTeX and proofs
For writing natural deduction proofs in LaTeX you can use
Paul Taylor's
macro's voor proof boxes.
Here is an example of a proof in natural deduction
from the book in .tex
and .pdf.
Tentamenstof
De tentamenstof is: alle stof die bij de hoorcolleges en werkcolleges
is behandeld. Uiteraard dien je die ook op nieuwe voorbeelden te kunnen
toepassen.
Concreet is dit geworden:
Voor wie door omstandigheden een hoorcollege of werkcollege
moest missen,
hebben we per week bijgehouden welke stof en opgaven
we hebben behandeld. U vindt dit overzicht
hier
(compleet!).
De slides die tijdens de colleges zijn gebruikt,
zijn hieronder nog te bekijken.
N.B:
De slides zijn niet bedoeld ter vervanging van het boek.
Het kan dus lastig zijn om de stof puur met behulp van de slides,
zonder het boek, te begrijpen.
N.B.2:
Om gemakkelijk naar eerdere definities/resultaten/plaatjes te
kunnen verwijzen tijdens het college, worden slides regelmatig hergebruikt.
Er zitten dus nogal wat dubbele slides bij.
13 June 2016
(solutions)
Het antwoord op opgave 1 klopt niet.
De formule φ moet geconstrueerd
worden op basis van de rijen waar φ false is.
De waarheidstabel is wel in orde.
Vragen en opmerkingen kunt u sturen naar:
Rudy van Vliet;
rvvliet(at)liacs(dot)nl
Laatste wijziging: 23 augustus 2018
- http://www.liacs.leidenuniv.nl/~vlietrvan1/logica/najaar2017/
