Nyhetsflöde
Logga in till din kurswebb
Du är inte inloggad på KTH så innehållet är inte anpassat efter dina val.
Har du frågor om kursen?
Om du är registrerad på en aktuell kursomgång, se kursrummet i Canvas. Du hittar rätt kursrum under "Kurser" i personliga menyn.
Är du inte registrerad, se Kurs-PM för DD1350 eller kontakta din studentexpedition, studievägledare, eller utbilningskansli.
I Nyhetsflödet hittar du uppdateringar på sidor, schema och inlägg från lärare (när de även behöver nå tidigare registrerade studenter).
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?
Befinner sig övningsgrupperna såsom: grupp 1 - övningsal 1 i listan, 2rupp 2 - övningsal 2 i listan, osv?
Ja, exakt så!
Mvh Johan.
Hur tar man reda på vilken övningsgrupp man tillhör?
Jag har nu lagt till informationen om vilken övningsgrupp man tillhör till kurshemsidan (under rubriken Övningar). Tack för påpekandet!
Mvh Johan.
Skulle vara trevligt med datum utsatta för övningarna.
Ja, datum tack.
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.