Som utlovat kommer en ny liten labb inför Julen. Denna är en omformulering av den sista uppgiften i predikatlogiklabben, så att den är konstruktivt giltig (dock inte samma som jag gav på föreläsning, denna är mycket bättre (och enklare)). Uppgiften finns i

~malo/LabbKonstruktivDrinkare

Den är nog klart svårare än den klassiska drinkaren. Korrekt lösning ger en halv poäng på VG gränsen. Och ingen ledning kommer att ges! Och självfallet skall den lösas utan RAA!

--Jan

Upp: Matematisk logik