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).
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.
Jag ställer samma fråga som en annan gjorde nyligen: Kan man redovisa labb 2 vid detta labbpass?
De har svarat att man kan. Men alla som gör lab1 har prio
Ok. Skulle ju vara skönt om man kunde göra det redan nu. Första formella redovisningspasset för labb 2 är ju tre veckor bort.
Detta är relaterat till fråga 2d-e, dvs, för att översätta "max 1 pixel är tänd...".
Flyttade frågan under Hemtal.
Nej, använd bara de logiska symboler som vi har introducerat i kursen, dvs \(\wedge, \vee, \neg, \rightarrow, \exists, \forall, =\) (och parenteser och kommatecken). Det är enbart för dessa symboler vi har definierat regler i naturlig deduktion, så därför håller vi oss till den uppsättningen. / Mvh Johan.
Hej! På begäran har jag lagt länkar till förra årets tenta och omtenta med lösningsförslag från sidan Examination. / Mvh Johan.
CSCs studerandeexpedition har bett mig meddela att om någon har problem med att anmäla sig till tentan så bör man ta kontakt med studerandeexpeditionen (hus E, 4tr) i god tid innan tentaanmälningstiden tar slut (vilket den gör 21 dec). / Mvh Johan
Det står i tentan att formelblad är bifogade. Det vore bra om dessa kunde läggas upp här
Hej! De formelblad som kommer att delas ut på tentan är de som ni kan ladda ned från sidan med föreläsningsbilder. Ladda ned alla pdf-filer med rubriken "Regler" från föreläsning 2, 5, 12 och 14. / Mvh Johan.
Hej, lösningsförslagen för omtentan 2014 uppg. 5 hänvisar till omtentan 2010, står den att finna på webben?
Hej! Nu har jag lagt upp en länk till denna omtenta ovan. / Mvh Johan.
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.