Beweren en bewijzen/de opzet/altijd op de hoogte

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/de opzet/altijd op de hoogte
Hoe blijf ik op de hoogte?

Het "spoorboekje" voor deze cursus bereik je altijd door bovenaan bij "het werk" op de kalender KalenderIcon.gif te klikken. Je kunt in je iCal-agenda een abonnement op deze kalender nemen, zie onder. Belangrijke mededelingen worden gecommuniceerd via Blackboard. Je wordt geacht de agenda en het rooster te kennen en zelf na te gaan welke opdrachten lopen.


iCal: alle agenda's bij elkaar

Gebruik je iCal om een aantal kalenders samen in jouw agenda te bekijken?

  • Neem dan een abonnement op de B&B-kalender: [1]
  • Je kunt ook op je persoonlijke rooster een iCAl-abonnement nemen.
Overgenomen van "https://lab.cs.ru.nl/algemeen/index.php?title=Beweren_en_bewijzen/de_opzet/altijd_op_de_hoogte&oldid=239190"