Beweren en bewijzen/2012-13

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/2012-13
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?



Kash AfzalRuben AltorfferSven ArissenMichiel BartenKoen BastenBas van BerkelJoep de BildeMark BongersLisa BoonstraMaaike ter BorgDennis van den BosMichel BotrosHans-Christiaan BraunEtienne BruinesTom van BusselMegan BuuronBernhard DegenNout van DeijckLaurens van DijkRick DijkstraVincent DoppenbergErik EppenhofTom EversPhil GeelhoedFrans van GrunsvenRobbert van der GugtenTim van den HanenbergSander HendrixAlex HlushenokSietse HoekstraElian ten HolderDave van HoorenMartin HuijbenSenna van IerselMichael JansenDemian JanssenLuc JongenJory van KeulenLisanne KluitmansJolein KlutenMax KnechtenBryan KochJoep KockelkornEdwin de KoningJeroen de KoningJochem KooistraJules KruijswijkHans KrutzerTim KutschaPieter van LaatumStan van LierMart LubbersErik MeijerMichel MeijermanDennis MerkusDanny MerkxMerijn MommersIris MonsterSietse MoorenMartijn NanneStan NielenLuc NiesDavid van OorsouwSjoerd van OostenbruggeMike OverkampPaul van PoeckeTom van de PollSven PouwelsHarmen PrinsVilas PultooArvien RamdhanJos ReijersSteven ReitsmaJoren van de RijdtBjorn RijpertMaarten SchellevisJonathan SeesinkMarco SinkeEsther SmitsBas SteegWillem van SummerenAhmed TahaPatrick TanJeremy TimessenDion van de VoorenJean-Paul VeenendaalLiza VerhaertMark VerlegJelle VerstegenKoen VijverbergNiek de VisscherThijs VonckenWouter van der WaalInez WijnandsArnoud WillemsenGuido ZuidhofMarjolein ZwerverArmin Zwilling