Logik i datavetenskap och artificiell intelligens
Detta är en kurs som går igenom ett urval teman som innehåller betydelsefulla tillämpningar av logik till data- och informationsvetenskaper och artificiell intelligens.
Registrering
I god tid före kursstart skickas mail ut till alla antagna studenter, med information och instruktioner. Antagna studenter förväntas registrera sig själva (webregistrering).
För dig som är antagen HT2024
Grattis! Du har blivit antagen till den utbildning du sökt på Stockholms universitet och vi hoppas att du kommer att trivas med dina studier hos oss.
På den här sidan listar vi vad du behöver göra och känna till innan du börjar dina studier.
Följ de instruktioner du fått för att acceptera din plats.
Mer information på antagning.se
Checklista för antagna studenter
-
Aktivera ditt SU-konto
Första steget för att kunna registrera dig och få tillgång till universitetets alla IT-tjänster.
-
Registrera dig på din institution
Registrering kan ske på olika sätt. Läs noga informationen från din institution nedan.
-
Ta del av institutionens information
På den här sidan hittar du det du behöver veta inför starten på din kurs eller ditt program.
Notera
Din plats kan tas tillbaka om du inte registrerar dig och deltar vid eventuellt upprop enligt anvisningarna från institutionen.
Information från institutionen
Information om upprop, registrering, lärplattform m.m. hittar du på den här sidan inom kort.
Välkomstaktiviteter
Vid terminsstart ordnar vi ett antal aktiviteter – både online och på campus – för att välkomna och introducera dig som är ny student. En av dessa är Välkomstdagen på Campus Frescati som är ett utmärkt tillfälle att bekanta sig med universitetet och andra nya studenter. Programmet riktar sig till alla nya studenter, oavsett ämne, kurs eller program. För dig som är ny student vid Institutionen för data- och systemvetenskap, DSV, arrangeras en motsvarande välkomstdag på Campus Kista.
Information som rör din utbildning får du via din kurs-/programgivande institution.
Hitta hit
Stockholms universitet sträcker sig över en stor yta. Läs om vilka campus som finns och var du hittar din institution, alla undervisningslokaler, lunchställen, bibliotek, läsplatser, mm.
Läs mer
Registrering
I god tid före kursstart skickas mail ut till alla antagna studenter, med information och instruktioner. Antagna studenter förväntas registrera sig själva (webregistrering).
-
Kursupplägg
Mer om kursens innehåll
Vi behandlar klassisk första ordningens språk och logik för kunskapsrepresentation och automatisk teorembevisning baserad på första ordningens resolution med unifiering; Logikprogrammering och Prolog; Logiska metoder för programverifiering, till Floyd-Hoare logik för bevis av partiell korrekthet hos datorprogram, samt till metoder för att bevisa att datorprogram terminerar och är fullständigt korrekta; Dynamisk satslogik för program (PDL); Tidslogiker i datavetenskap. Användning av tidslogiker för linjär tid och för förgrenande tid för formell specifikation av egenskaper hos transisitionssystem, och av beräkningar i desamma. Modellprövning och formell verifikation av reaktiva och parallella system.
Läroplattform: Läsanvisningar, detaljerad kursplanering, mm kommer att läggas upp på kursens Athenasida. Antagna studenter som har aktiverat sitt studentkonto och blivit registrerade på kursen blir automatiskt deltagare på kursens Athenasida.
Lärare höstterminen 2024: Valentin Goranko.
Undervisningsform: Undervisningen kommer att bedrivas i form av föreläsningar och övningar. Se kursplan för närvarokrav.
Examination: Skriftliga inlämningsuppgifter.
Förväntade studieresultat, samt uppgifter om betygsskalan: Se kursplanen.
Betygskriterier: Hittas på kursens Athenasida inför kursstart.
-
Schema
Schema finns tillgängligt senast en månad före kursstart. Vi rekommenderar inte utskrift av scheman då vissa ändringar kan ske. Vid kursstart meddelar utbildningsansvarig institution var du hittar ditt schema under utbildningen. -
Kurslitteratur
Observera att kurslitteraturen kan ändras fram till två månader före kursstart. -
Kontakt
Studierektor Mattias Högström mattias.hogstrom@philosophy.su.se
Studievägledning studievagledning@philosophy.su.se
Lärare: Valentin Goranko valentin.goranko@philosophy.su.se
