Beweren en bewijzen/2014-15

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/2014-15
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?



Abe HeemskerkAmanda HeeresAn HaAnna NouwensAnne van PeerArvien RamdhanBailey BosmaBart van den BoomBart GruppenBart van ThielBart VeldhuizenBas VogelzangBellamie PersadBerend van DeelenBob van KesselBob de RuiterBoye KoksBram JodiesBram in 't ZandtCamil StapsCasper van AarleChris KamphuisChris KemperChrisovalandis BoukourasConny BlachCorne VorstenboschDaan RoosDion van HelvoirtDion ScheperDorieke GrijseelsDouwe van ErpDylan OpdamEireen WestlandErik VerboomErin van der VeenErwin de WolffEvert BraalEvi SijbenFelix StegermanFrank GerlingsFranka BuytenhuijsGerardo MaioGideon HoogeveenGiel BesouwHans KrutzerHarm van den BrandHaye BöhmIrina TziamaliIscha StorkJaco SchalijJan AartsJan van de MolengraftJan PotmaJelle HilbrandsJeremy GuijtJeroen van AlemJeroen DroogJesse FennemanJesse ZwambornJetske AdamsJim DriessenJitse BijlmakersJoan RessingJob van DrunenJob ScheepersJochem BaaijJoep BernardsJonathan MoermanJonathan VosJoost KarstenJordy RipperdaJoris van VugtJorre VedderJorrick BoshoveJos CraaijoJulius MannesKevin KoertsKirsten KingmaKoen VerdeniusKris ElsingaLaura PijnackerLaurens KuiperLinde KuijpersLino VliexLisa KalseLisa TostramsLotte FekkesLuuk ArtsLuuk van BlitterswijkMaarten CarsjensMaarten VosManuel StampeMarein KöningsMarijn RoesMartijn HeitkönigMartijn OeleMartin MeyersMarvin van BekkumMathis SackersMatthijs BiondinaMaurice SwanenbergMax MoonsMaxim van LooMichel KokMick KoomenNikki van der GouwNils BokdamNino van HalemNoël BangmaOlaf MalthaOussama DanbaPaul van PoeckePhilip JanssenRandy WangaRick DijkstraRick SchoutenRob DuijfjesRobin de HeerRobin ImmelRobin TonenRoel van der BurgRuben DrijversRuben KlugeRuben WesselsSacha TobéSanna DinhSebastiaan te MolderSébastiaan VersteegSerena RietbergenSiemen LooijenSion VerhagenSjoerd HemelsStan BrouwersStan van SuijlekomStef BrandsStijn EverinkSven HerdenThijs klein BaltinkThijs VonckenThomas IlmerThomas ZoeterTiko HuizingaTim van DijkTimo van NiedekTom EdingTom NijholtTom WesterhoutVincent PhilipsVos MercuurWard BanninkWesley van HoornWim BrouwersWouter van der VenYlja RemmitsYorick van PeltZina Al-jibouri