Första examinationen inlämnad
I dag lämnade jag in min första examination så nu går det inte att säga något annat än att skolan är igång på riktigt. Examinationen i fråga var en inlämningsuppgift i Formell mjukvaruutveckling. I det stora hela handlade uppgiften om satslogik och uppgifterna gick ut på att representera argument och bevisa formler.
All examination här tilldelas en viss procentsats som ska tala om hur stor del av den totala kursexaminationen just den uppgiften är. Den här uppgiften var tilldelad åtta procent. I de övriga 92 % ingår godbitar som ett slutprojekt som i mitt fall verkar bli någon slags teorembevisare i Java.
Min första examination. Foto: Niklas Udd (mobilkamera)
Någon kanske nu skulle vilja invända att det här ser lite för enkelt ut. Då måste jag tillägga att vi dels använder ett (för mig) nytt system som syns på alla fina rutor, dels går ganska fort fram. Den där uppgiften fick vi efter första föreläsningen och den skulle lämnas in på den andra.
Kommentarer
Peter (060919)
Vad är det för weird naturlig deduktion egentligen? Vad ska rutorna vara bra för?
Niklas Udd (060920)
Den är mäkta weird! Dels ser den konstig ut och dels är den inte lika fri som "riktig" (saker måste göras i en speciella ordning).
Rutorna är tänkt att ersätta beroendelistan till vänster. Istället för att sista raden bara ska bero på rader som är premisser, får den sista raden inte vara i en ruta. Varje antagande ger alltså en ruta.
Jag ser fram emot de där härligt knepiga härledningarna med fem sex antagna variabler samtidigt.
Millie (060920)
Äsch! Ge mig lite latinsk grammatik istället.
Skriv en kommentar till den här sidan