News feed
Log in to your course web
You are not logged in KTH, so we cannot customize the content.
Do you have questions regarding this course?
If you are registered on a current course round, please refer to the Canvas course room. You find the right course room under "Courses" in the personal menu.
If you are not registered, see Course PM for DD1350 or contact your student office or study counsellor.
In the News feed, you find updates for pages, schedule and posts from teachers (when aimed also at earlier registered students).
I vilken sal är kontrollskrivningen?
Något problem med kurswebben har hindrat mig att lägga upp en länk till dagens bilder på sidan för föreläsningar. Men de kan laddas ned härifrån:
https://www.csc.kth.se/~jboye/teaching/logik/F4.pdf
Mvh Johan.
Nu finns det utlovade länken på sidan för föreläsningar. Ursäkta strulet!
Mvh Johan,
Vad jag kan se stämmer de överens
Finns det någonstans, i boken t.ex. som man kan läsa om det som gicks igenom under föreläsning 12?
I bevisexemplet för ∀x-eliminering på föreläsning 5, ska inte rad 2 då innehålla [f(s)/x] istället för [x/f(s)]?
Hej,
i föreläsning nr 4 (sida 5) under Exempel, så vore det bra om någon kunde förklara när man ska använda
pil -->?
tecknet /\ ?
eller \/ ?
"Alla människor har en mamma" detta blir en pil enligt exemplet. Är det ordet "har" som gör det eller?
Och vilka ord är det som orsaker de två andra tecknen " /\ " och " \/ " ?
Ett exempel på varje tecken och kort förklara hur man ska resonera vore tacksamt.
@Felix: Sweet! Tack så mycket! Uppskattar ditt svar :)
Jag har inte heller fått något resultat inrapporterat.
Inga resultat här heller.
Finns det andra tillfälle att redovisa labbarna den här terminen?
Vilken sal är omtentan i?