Beweren en bewijzen/2010-11

Uit Werkplaats
Ga naar: navigatie, zoeken
de opzet 2017-18    KalenderIcon.gif multimedia kwaliteit commentaren
site map


Beweren en bewijzen
Wijsheid omgaan met onzekerheid: met open blik op wankele ondergrond levenspad bewandelen
Vernuft aanpak van glibberige problemen precies redeneren op het hoogste niveau
vier zuilen → Artefacten Formalisering Taal Zekerheid
1. Rationaliteit Rationaliteitsvierkant 4 werelden Beweren is moeilijk Overtuigen
2. Modellen Focus Precisie Logica Stelling en bewijs
3. Model en realiteit Specificaties Domeinmodel Syntax en semantiek Waarheid
4. Correctheid Structuur Correctheidsstelling Typering Nagaan
5. Methoden Decompositie Systemat. vertalen Definities Natuurl. deductie
6. Theorie Domeintheorie Tijd Tijdslogica Wiskunde
7. Complexiteit Hiërarch. decompositie Vereenvoudigingen Modules Bewijsassistenten
8. Generalisering Standaardisatie Parametrisatie Talen Hulpstellingen
Beweren en bewijzen/2010-11
Stof en volgorde van deze cursus


  • Als je naam in de lijst hieronder niet voorkomt, moet je je nog inschrijven voor deze cursus.
  • Als je naam hier rood is, heb je nog niet in deze elektronische werkplaats gewerkt. Volg dan deze instructies: Hoe schrijf ik me hier in als student?



Rodin AarssenRafael Alejandro ImamgillerBram ArendsAlper AslanMarvin BarronRob ten BergeTim BergmanEvine BeurskenMarc BitterHector van den BoornPetra van den BosMaarten BovyHarm van den BrinkKoen BuitenhuisWouter BultenJoël CoxSanne DerckxJodocus DeunkLaurens van DijkJelger DijkstraElmar DongelmansSander DorigoFrank DorssersKelley van EvertGuido FaassenMike FarjamKim Feenstra KuiperTim FräserCarlo GeertseAaron van GeffenNurer GerginEdwin van der GraafHerre GroenFrans van GrunsvenTolga GökMirjam de HaasJoost HendricksenThomas van HeyningenBruno van HoekBas HulscherKoen van IngenRamon JanssenStef JanssenWesley JanssenGiel Janssen LokRoelf LeendersBas de LeeuwMike LigthartPieter MarsmanRoland MeertensGerdriaan MulderRobin MunstermanNico NijmanThomas NägeleLucy van OostveenNick OverdijkStan PhilipsenThomas PlantingAshwien RampersadJoost RijneveldNicky van RijsbergenTim SchwarteBen SiebertVincent SliekerKoen SmitEsther SmitsRamon van SparrentakMerijn SpiroWessel van StaalJudith van StegerenMarieke SweersJille TimmermansMerel TombrockJoep TopPatrick UiterwijkSven van ValburgMark VijfvinkelFleur de VisscherMathijs VosJasper van der WaaThymen WabekeNiels van der WeideLaurens van de WielMenno van WieringenArne WijniaMarije de WitteHans WoutersBas van Zadelhoff