News feed

Log in to your course web

You are not logged in KTH, so we cannot customize the content.

In the News feed, you find updates for pages, schedule and posts from teachers (when aimed also at earlier registered students).

January 2020
Scheduling staff created event 11 October 2019
commented 2 January 2020

Vilken sal är omtentan i?

 
October 2019
Scheduling staff created event 11 October 2019
commented 27 October 2019

I vilken sal är kontrollskrivningen?

 
April 2019
Event Omtenta, 17 April 2019 08:00
Changed by scheduling staff 16 November 2020
Show more similar (2)
Event Omtenta, 9 January 2019 08:00
Changed by scheduling staff 31 August 2018
Event Omtenta, 5 April 2018 14:00
Changed by scheduling staff 7 May 2021
June 2017
Teacher Johan Karlander posted 7 June 2017
 
April 2017
One person like the post
Teacher Johan Karlander posted 27 April 2017
 
March 2017
under General

Teacher Johan Boye created page 26 August 2014

Teacher 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 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
One user removed his/her comment
Teacher commented 21 September 2016

Vad jag kan se stämmer de överens

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

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
commented 31 March 2017

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

 
February 2017
Teacher Johan Karlander posted 3 February 2017
commented 4 February 2017

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

commented 6 February 2017

Inga resultat här heller.

 
Teacher Johan Karlander posted 2 February 2017
One user removed his/her comment
 
Teacher Johan Karlander posted 1 February 2017
 
Teacher Johan Karlander posted 27 January 2017
commented 1 February 2017

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

 
Feedback News