Beweren en bewijzen/2011-12

Uit Werkplaats
< Beweren en bewijzen
Versie door Engelbert Hubbers (overleg | bijdragen) op 23 jan 2013 om 16:00 (Dichtgezet ivm nieuwe cursus)
(wijz) ← Oudere versie | Huidige versie (wijz) | Nieuwere versie → (wijz)
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/2011-12
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?



Abdul AbdiMichiel AkkermansFrank ArtsLars BadeJeroen BakkerKoen BastenPeter BaxTessa BeinemaLaurens van den BerckenMarc BitterVincent BlaasMartijn BonajoLisa BoonstraMaaike ter BorgLeon BotrosSanne BoumansTimo BrettenHarm van den BrinkBen BrückerSimon BrugmanMarlies de BruijnEmmanuel ChamilakisSjors ClabbersJoël CoxJasper van DalenNout van DeijckJip DekkerNikki van DeunLaurens van DijkLeander van DinterenSander DorigoFrank DorssersRick ErkensMike FarjamRob FöllingsAaron van GeffenCharlie GerhardusJan GroothuijseFrans van GrunsvenGerco van HeerdtJoost HendricksenDré HendriksMatthijs HendriksPiet HenkeBruno van HoekSietse HoekstraPaul HubertsGeertjan JacobsRobert JansenLoth JanssenTim JanssenGiel Janssen LokNick van KalkerWieke KantersEnnier KellyRob van KemenadeJory van KeulenGerhard KlassenMaurice KnoopNiek KoonenPieter van LaatumSil van de LeemputRoelf LeendersMartijn LiebrandDaniël van LoonDennis LuitenAnouk van MarisPieter MarsmanAnnet MeijersCoen MooijGijs MoorenGerdriaan MulderMoritz NeikesDavid van OorsouwSjoerd van OostenbruggeRamon van OsMats OuborgDorus PeelenAnco PeetersStan PhilipsenGeert PingenPaul van PoeckeKeerthigah PoobalasinghamVilas PultooSimon van RaaijAshwien RampersadRichard RavenLotte van de ReeFlip van RijnBjorn RijpertOkko RoesIngeborg RoeteMeerten RongenJudith RooswinkelJaco RuizendaalTom SandersJan SchmidtLuuk ScholtenTobias SchröterPim SewusterEsther SmitsMatjah SonneveldEileen SowaRemy SpaanSigrid SpeckensJeftha SpundaNiek StamLeon StemerdinkAhmed TahaKa ka TamPatrick TanJordy ThielenMax TijssenAsli TokbayMaja VasicJean-Paul VeenendaalRoland VerbruggenYorick VernooijAram VerstegenJelle VerstegenLore VeugenGereon VienkenKoen VijverbergStijn VossPien WalravenJelte van WaterschootJanne WeijkampRobin WellnerMenno van WieringenThom WiggersLuc WijnenArnoud WillemsenWillem de Wit