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).

June 2017

För redovisning av kvarvarande labbar se: KTH/KURSWEBBEN/LABBVECKA

Report abuse

Teacher Johan Karlander posted 7 June 2017

April 2017

Resultat från omtentan den 12 april finns inrapporterade nu.

Report abuse

One person like the post

Teacher Johan Karlander posted 27 April 2017

March 2017

Teacher Johan Boye created page 26 August 2014

Teacher

Johan Boye commented 19 September 2014

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.

Teacher

Johan Boye commented 19 September 2014

Nu finns det utlovade länken på sidan för föreläsningar. Ursäkta strulet!

Mvh Johan,

Teacher Johan Boye changed the permissions 28 August 2015

Kan därmed läsas av alla och ändras av lärare.

One user removed his/her comment

Teacher

Johan Karlander commented 21 September 2016

Vad jag kan se stämmer de överens

Henning Spett commented 2 January 2017

Finns det någonstans, i boken t.ex. som man kan läsa om det som gicks igenom under föreläsning 12?

One user removed his/her comment

Måns Nilsson commented 18 March 2017

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)]?

Joni Baitar commented 30 March 2017

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.

One user removed his/her comment

Joni Baitar commented 31 March 2017

@Felix: Sweet! Tack så mycket! Uppskattar ditt svar :)

February 2017

Inrapporteringen av tentaresultaten är nu avslutad.

Report abuse

Teacher Johan Karlander posted 3 February 2017

Erik Ekström commented 4 February 2017

Jag har inte heller fått något resultat inrapporterat.

William Snitt commented 6 February 2017

Inga resultat här heller.

Uppgradering av betyg till A/B kan i vissa fall dröja till imorgon (fredag 3/2).

Report abuse

Teacher Johan Karlander posted 2 February 2017

One user removed his/her comment

Inrapportering av tentaresutat sker nu och under de kommande timmarna. Vissa studenter som har fått betyg C kan komma att få det höjt till A eller B då A-delen tyvärr inte är slutbedömd ännu (skall vara klart på torsdag). Tentorna kommer att finnas på expeditionen senast fredag.

Report abuse

Teacher Johan Karlander posted 1 February 2017

De som inte redovisat labbarna har nu möjlighet att göra det fredag den 3 februari kl 13-16 (drop-in men kom helst dit senast 14.30.)

Report abuse

Teacher Johan Karlander posted 27 January 2017

Adel Mojtahedi commented 1 February 2017

Finns det andra tillfälle att redovisa labbarna den här terminen?

January 2017

Det är som vissa märkt fortfarande en viss eftersläpning i inrapporteringen av resultat från labb och hemtal. Delvis beror det på att flera assistenter varit och är bortresta. Alla resultat kommer naturligtvis att räknas in vid rättningen av tentan.

Report abuse

Teacher Johan Karlander posted 11 January 2017

December 2016

Teacher Johan Boye created page 26 August 2014

Angelica Lindström commented 11 September 2014

Befinner sig övningsgrupperna såsom: grupp 1 - övningsal 1 i listan, 2rupp 2 - övningsal 2 i listan, osv?

Teacher

Johan Boye commented 11 September 2014

Ja, exakt så!

Mvh Johan.

Christoffer Alenskog Berg commented 12 September 2014

Hur tar man reda på vilken övningsgrupp man tillhör?

Teacher

Johan Boye commented 12 September 2014

Jag har nu lagt till informationen om vilken övningsgrupp man tillhör till kurshemsidan (under rubriken Övningar). Tack för påpekandet!

Mvh Johan.

Teacher Johan Boye changed the permissions 28 August 2015

Kan därmed läsas av alla och ändras av lärare.

Niklas Qvarforth commented 1 October 2015

Skulle vara trevligt med datum utsatta för övningarna.

One user removed his/her comment

Erik Martinez Sanchez commented 29 September 2016

Ja, datum tack.

One user removed his/her comment

Det är ett labb-pass i eftermiddag (1 dec). Det är i första hand avsett för studenter som vill ha hjälp med labb 2 och dessa studenter kommer att ha företräde. I mån av tid kommer det också att vara möjligt att redovisa labb 1 och labb 2.

Report abuse

Teacher Johan Karlander posted 1 December 2016

Show older