Submitted by Sebastian Petit on
Ook online kan PRIME niet zonder problem-sovingavonden! Dit wordt ongetwijfeld opnieuw een gezellige avond om samen na te denken over allerlei wiskundige problemen en raadseltjes. Ben je een eerste bachelorstudent tot tweede masterstudent of gewoon een sympathisant, voor iedereen is er wat wils!
Naar goede gewoonte begint een PSA steeds met een stimulerende presentatie over een interessant wiskundig fenomeen. Deze keer wordt het zelfs een heuse mini-workshop. Ferre Vanden Kerchove zal ons begeleiden bij onze eerste stappen in de wondere wereld van interactive theorem proving. Samen verkennen we de fundamentele ideeën van deze discipline in Java.
Kijk dus zeker nog eens na of je compiler en IDE up to date zijn, en tot dan!
Deze activiteit gaat online door via Discord.