Övningar

De 8 övningstillfällena kommer att ägnas åt följande:

	Innehåll	Uppgifter
	1. Satslogik: naturlig deduktion.	Avsnitt 1.7 (sid 78 och framåt i boken): 1.1.1 och 1.1.2 , samt 1.2.1, 1.2.2 och 1.2.3.
	2. Prolog.	Prologövning
	3. Satslogikens semantik, formalisering i predikatlogik. Inlämning och kamraträttning av hemtal 1.	Avsnitt 1.7: 1.4.1, 1.4.2, 1.4.12, 1.4.14, 1.4.17; Avsnitt 2.8 (s 157 och framåt): 2.1.1-2.1.3.
	4. Predikatlogik: naturlig deduktion.	Avsnitt 2.8: 2.2.4, 2.3.1, 2.3.9
	5. Predikatlogikens semantik. Inlämning och kamraträttning av hemtal 2.	Avsnitt 2.8: 2.3.2, 2.4.2, 2.4.3, 2.4.5, 2.4.11
	6. Induktion.	Avsnitt 1.7: 1.4.7-1.4.11. Utvalda uppgifter ur övningskompendiet
	7. Temporallogik. Inlämning och kamraträttning av hemtal 3.	Avsnitt 3.8 (sid 245 och framåt): 3.4.6-3.4.11
	8. Hoare-logik. Inlämning och kamraträttning av hemtal 4.	Avsnitt 4.6 (sid 299 och framåt): 4.3.5, 4.3.6, 4.3.10, 4.3.13-16, 4.3.18, 4.3.19

På övningarna går assistenterna igenom exempel och uppgifter inom respektive ämne. Det finns även avsatt tid för studenterna att lösa utvalda uppgifter. På fyra av övningarna visar assistenterna lösningar till hemtalen, och hjälper till med kamraträttningen.

Övningslokaler

I år hålls övningar både fysiskt och digitalt. Vid varje övning finns ett digitalt övningsrum (se länk nedan), med plats för obegränsat antal deltagare.

Det kommer också att finnas tre fysiska övningssalar på plats på KTH. P.g.a. av rådande pandemin måste vi dock begränsa antalet deltagare till 30 per sal. För att detta ska fungera kräver vi att man registrerar sig innan övningen (först till kvarn gäller). I period 2 begränsas inte längre antal deltagare, och ingen anmälan krävs.

För att boka plats på fysisk övning går ni till kalendern i Canvas och väljer Hitta möte. Välj rätt kurs och omgång, och datumet då övningen ska äga rum. Sedan är det bara att välja en tid/sal och boka. Notera att ni bokar en specifik sal (och assistent), och det är denna sal ni måste gå till. Notera också att i en av dom tre salarna hålls övningen på engelska.

Digitala övningsrum

Nedan följer länkar till assistenternas Zoomrum för övningar online.

Christian Lidström: Zoomrum Links to an external site..

Arvid Eriksson: Zoomrum Links to an external site.. Använd detta för sista övningen, 15 december.

Övningsanteckningar

Efter varje övning publiceras övningsanteckningarna: