Time |
Course |
Activity |
Room, Location |
Map link |
Teacher |
Content |
|||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| w44, 2023 | |||||||||||||||||||||||||||||
| Tue | 2023-10-31 | 08:00 - 10:00 | CS4: Logic for computer science, 5DV163 | Lecture | MIT.A.316 | Map | Anna Jonsson | ||||||||||||||||||||||
| 10:00 - 12:00 | CS4: Logic for computer science, 5DV163 | Lesson | MIT.A.316 | Map | Anna Jonsson | ||||||||||||||||||||||||
| Fri | 2023-11-03 | 08:00 - 10:00 | CS4: Logic for computer science, 5DV163 | Lecture | MIT.A.316 | Map | Anna Jonsson | ||||||||||||||||||||||
| 10:00 - 12:00 | CS4: Logic for computer science, 5DV163 | Lesson | MIT.A.316 | Map | Anna Jonsson | ||||||||||||||||||||||||
| w45, 2023 | |||||||||||||||||||||||||||||
| Tue | 2023-11-07 | 08:00 - 10:00 | CS4: Logic for computer science, 5DV163 | Lecture | MIT.A.316 | Map | Anna Jonsson | ||||||||||||||||||||||
| 10:00 - 12:00 | CS4: Logic for computer science, 5DV163 | Lesson | MIT.A.316 | Map | Anna Jonsson | ||||||||||||||||||||||||
| Fri | 2023-11-10 | 08:00 - 10:00 | CS4: Logic for computer science, 5DV163 | Lecture | MIT.A.316 | Map | Anna Jonsson | ||||||||||||||||||||||
| 10:00 - 12:00 | CS4: Logic for computer science, 5DV163 | Lesson | MIT.C.343 | Map | Anna Jonsson | ||||||||||||||||||||||||
| w46, 2023 | |||||||||||||||||||||||||||||
| Tue | 2023-11-14 | 08:00 - 10:00 | CS4: Logic for computer science, 5DV163 | Lecture | MIT.A.316 | Map | Anna Jonsson | ||||||||||||||||||||||
| 10:00 - 12:00 | CS4: Logic for computer science, 5DV163 | Lesson | MIT.C.323 | Map | Anna Jonsson | ||||||||||||||||||||||||
| w47, 2023 | |||||||||||||||||||||||||||||
| Tue | 2023-11-21 | 10:00 - 12:00 | CS4: Logic for computer science, 5DV163 |
Lecture Lesson |
MIT.A.316 | Map | Anna Jonsson | ||||||||||||||||||||||
| Fri | 2023-11-24 | 08:00 - 10:00 | CS4: Logic for computer science, 5DV163 | Lecture | MIT.A.316 | Map | Anna Jonsson | ||||||||||||||||||||||
| w48, 2023 | |||||||||||||||||||||||||||||
| Tue | 2023-11-28 | 08:00 - 10:00 | CS4: Logic for computer science, 5DV163 | Lecture | MIT.A.316 | Map | Anna Jonsson | ||||||||||||||||||||||
| 10:00 - 12:00 | CS4: Logic for computer science, 5DV163 | Lesson | MIT.A.316 | Map | Anna Jonsson | ||||||||||||||||||||||||
| Fri | 2023-12-01 | 08:00 - 10:00 | CS4: Logic for computer science, 5DV163 | Lecture | MIT.A.316 | Map | Anna Jonsson | ||||||||||||||||||||||
| 10:00 - 12:00 | CS4: Logic for computer science, 5DV163 | Lesson | MIT.A.316 | Map | Anna Jonsson | ||||||||||||||||||||||||
| w49, 2023 | |||||||||||||||||||||||||||||
| Tue | 2023-12-05 | 08:00 - 10:00 | CS4: Logic for computer science, 5DV163 | Lecture | MIT.A.316 | Map | Anna Jonsson | ||||||||||||||||||||||
| 10:00 - 12:00 | CS4: Logic for computer science, 5DV163 | Lesson | MIT.A.316 | Map | Anna Jonsson | ||||||||||||||||||||||||
| Fri | 2023-12-08 | 08:00 - 10:00 | CS4: Logic for computer science, 5DV163 | Lecture | MIT.A.316 | Map | Anna Jonsson | ||||||||||||||||||||||
| 10:00 - 12:00 | CS4: Logic for computer science, 5DV163 | Lesson | MIT.A.316 | Map | Anna Jonsson | ||||||||||||||||||||||||
| w50, 2023 | |||||||||||||||||||||||||||||
| Tue | 2023-12-12 | 08:00 - 09:45 | CS4: Logic for computer science, 5DV163 | Lecture | MIT.A.316 | Map | Anna Jonsson | ||||||||||||||||||||||
| 10:00 - 12:00 | CS4: Logic for computer science, 5DV163 | Lesson | MIT.A.316 | Map | Anna Jonsson | ||||||||||||||||||||||||
| Fri | 2023-12-15 | 08:00 - 10:00 | CS4: Logic for computer science, 5DV163 | Lecture | MIT.A.316 | Map | Anna Jonsson | ||||||||||||||||||||||
| 10:00 - 12:00 | CS4: Logic for computer science, 5DV163 | Lesson | MIT.A.316 | Map | Anna Jonsson | ||||||||||||||||||||||||
| w51, 2023 | |||||||||||||||||||||||||||||
| Tue | 2023-12-19 | 08:00 - 12:00 | CS4: Logic for computer science, 5DV163 | Papperstentamen | ÖP Skrivsal 1 | Map | Anna Jonsson | ||||||||||||||||||||||
| Fri | 2023-12-22 | 08:00 - 10:00 | CS4: Logic for computer science, 5DV163 | Lecture | MIT.A.316 | Map | Anna Jonsson | Kommer att finnas möjlighet till deltagande via Zoom | |||||||||||||||||||||
| w1, 2024 | |||||||||||||||||||||||||||||
| Thu | 2024-01-04 | 13:00 - 16:00 | CS4: Logic for computer science, 5DV163 | See comment | MIT.A.316 | Map | Anna Jonsson | Sal för tentakompletteringar | |||||||||||||||||||||
| Fri | 2024-01-05 | 08:00 - 10:00 | CS4: Logic for computer science, 5DV163 | Lecture | MIT.A.316 | Map | Anna Jonsson | ||||||||||||||||||||||
| 10:00 - 15:00 | CS4: Logic for computer science, 5DV163 | See comment | MIT.A.316 | Map | Anna Jonsson | Sal för tentakompletteringar | |||||||||||||||||||||||
| w2, 2024 | |||||||||||||||||||||||||||||
| Tue | 2024-01-09 | 08:00 - 10:00 | CS4: Logic for computer science, 5DV163 | Supervision | MIT.A.316 | Map | Anna Jonsson | ||||||||||||||||||||||
| 10:00 - 12:00 | CS4: Logic for computer science, 5DV163 | See comment | MIT.A.316 | Map | Anna Jonsson | Sal för tentakompletteringar | |||||||||||||||||||||||
| Wed | 2024-01-10 | 14:00 - 17:00 | CS4: Logic for computer science, 5DV163 | See comment | MIT.A.316 | Map | Anna Jonsson | Sal för tentakompletteringar | |||||||||||||||||||||
| Thu | 2024-01-11 | 08:00 - 17:00 | CS4: Logic for computer science, 5DV163 | See comment | MIT.A.316 | Map | Anna Jonsson | Sal för tentakompletteringar | |||||||||||||||||||||
| Fri | 2024-01-12 | 08:00 - 12:00 | CS4: Logic for computer science, 5DV163 | Seminar | MIT.A.316 | Map | Anna Jonsson | ||||||||||||||||||||||
| 13:00 - 15:00 | CS4: Logic for computer science, 5DV163 | Seminar | MIT.A.316 | Map | Anna Jonsson | ||||||||||||||||||||||||
| 15:00 - 17:00 | CS4: Logic for computer science, 5DV163 | See comment | MIT.A.316 | Map | Anna Jonsson | Sal för tentakompletteringar | |||||||||||||||||||||||
| w3, 2024 | |||||||||||||||||||||||||||||
| Fri | 2024-01-19 | 09:45 - 11:00 | CS4: Logic for computer science, 5DV163 | See comment | MIT.A.316 | Map | Anna Jonsson | Sal för tentakompletteringar | |||||||||||||||||||||
| w8, 2024 | |||||||||||||||||||||||||||||
| Fri | 2024-02-23 | 08:00 - 12:00 | CS4: Logic for computer science, 5DV163 |
Omtentamen, papper Omtentamen |
ÖP Skrivsal 3 | Map | Anna Jonsson | ||||||||||||||||||||||
| w9, 2024 | |||||||||||||||||||||||||||||
| Wed | 2024-02-28 | 14:30 - 15:00 | CS4: Logic for computer science, 5DV163 | See comment | MIT.A.216 - Seminarierummet | Map | Anna Jonsson | Omtentautlämning | |||||||||||||||||||||
| w23, 2024 | |||||||||||||||||||||||||||||
| Tue | 2024-06-04 | 13:00 - 17:00 | CS4: Logic for computer science, 5DV163 |
Omtentamen, papper Omtentamen |
ÖP Skrivsal 6 | Map | Anna Jonsson | ||||||||||||||||||||||
| Course name | Course code, Event code |
| CS4: Logic for computer science | 5DV163, 57210ht23 |