Denna sida uppdateras ej längre. Numera bloggar Niklas Udd på Enligt Niklas (enligtniklas.se). För nyare texter och mer aktuell information bör du gå dit.

Gå till Enligt Niklas (Niklas Udds nya blogg)

Meny:

Sök
Bläddra

Citera texten

Naturligtvis får du citera denna text, men glöm då inte att lägga in lämpliga hänvisningar. Om du vill får du dessutom gärna skriva en kommentar om att du har citerat texten.

Slumpvalda artiklar

- Min elita elmätare
- "Chips or cookies?"
- Bygg bevis i naturlig deduktion med uProve

Första examinationen inlämnad

Publicerad: 2006-09-19
Kategori(er): jag, Kanada, skola

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
Min första examination
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