Logica voor Informatici: verschil tussen versies
Geen bewerkingssamenvatting |
|||
| (65 tussenliggende versies door 30 gebruikers niet weergegeven) | |||
| Regel 1: | Regel 1: | ||
[[Afbeelding: | [[Afbeelding:Marcdenecker.jpg|right|200px|thumb|Prof. Marc Denecker]] | ||
== | Dit vak wordt gedoceerd in het eerste semester van eerste Bachelor met in januari een schriftelijk examen. | ||
==Samenvattingen== | |||
[[Logica voor informatici/Samenvattingen| Klik hier om de samenvattingen te bekijken]] | |||
== Inleiding == | |||
Onderschat dit toch niet, en vooral het logica-gedeelte niet! Je moet vlot oefeningen kunnen maken in de stijl van de oefenzittingen, maar altijd van de moeilijkste soort (meestal erg lange zinnen). Panikeer dus niet als je net je examen krijgt, en het ziet ernaar uit dat je nog geen halve vraag van de 7 vragen kan, begin er gewoon aan en dat loopt wel los. Oefeningen zijn dus bewijzen of iets al dan niet logisch waar is, een logisch gevolg van een (verzameling) zin(nen) is, Ke-bewijzen, beweringen uit Geo-werelden, e.d... niks dat je niet gezien hebt. Voor structuren komt het grotendeels op hetzelfde neer. | |||
De algemene regel is dat als je dit vak goed kon in de oefenzittingen, dat de examens ervan geen probleem zullen zijn om te maken. Let wel op: prof. Denecker verbetert vrij streng, dus zorg ervoor dat alles zeker correct genoteerd is (niet al te intuïtief, maar in de juiste taal van de propositie- of predikatenlogica). Dit kan wel eens zorgen voor verrassende (in de negatieve zin) resultaten als je je punten krijgt. | |||
De puntenverdeling is als volgt: | |||
* Theorie: 6 punten | |||
* Oefeningen: 14 punten | |||
In 2021-22 was de puntenverdeling: | |||
* Theorie: 9 punten | |||
* Oefeningen: 11 punten | |||
==Oefeningen== | |||
[[Logica_voor_Informatici/Oefeningen | Oplossingen van oefeningen en huistaken ]] | |||
== | == LogicPalet == | ||
Voor het maken van de huiswerken op LogicPalet heb je een login nodig. Deze kan je opvragen via volgende link: | |||
[https://wet.kuleuven.be/apps/shib/Denef/LPRegistrationAssumingAuthenticatedKUL1BaInf.php Logic Palet Registration Link] | |||
== Examens == | |||
[[Media:ExamenLogica_Januari2023.pdf | Examenvragen Logica Jan 2023]] | |||
[[Media:Examen2020-2021.pdf | Examenvragen Logica Jan 2021]] | |||
[[Media:Examen Logica - Jan 2020.docx | Examenvragen Logica Jan 2020]] | |||
''' | |||
'''Vorige examens zijn te bezichtigen op de toledo-site voor het vak.''' | |||
== Structuur van het examen == | |||
let op: Deze informatie is hoogstwaarschijnlijk niet meer up-to-date (zo staat theorie nu op 6 punten). | |||
#Twee theorievragen (samen 4 punten). | |||
#- Vertalen naar predikatenlogica (Geo-werelden). | |||
#- Een formeel KE-bewijs opstellen. | |||
#- "Al dan niet logisch waar", of "al dan niet logisch gevolg", of "al dan niet bestaan van een model". | |||
#- Toepassingen in de informatica. | |||
#- Eventueel kunnen er ook nog andere oefeningen of multiple choice vragen zijn. (Bijvoorbeeld het berekenen van een normaalvorm.) | |||
[[Categorie:1bi]] | [[Categorie:1bi]] | ||
Huidige versie van 27 jan 2023 13:53
Dit vak wordt gedoceerd in het eerste semester van eerste Bachelor met in januari een schriftelijk examen.
Samenvattingen
Klik hier om de samenvattingen te bekijken
Inleiding
Onderschat dit toch niet, en vooral het logica-gedeelte niet! Je moet vlot oefeningen kunnen maken in de stijl van de oefenzittingen, maar altijd van de moeilijkste soort (meestal erg lange zinnen). Panikeer dus niet als je net je examen krijgt, en het ziet ernaar uit dat je nog geen halve vraag van de 7 vragen kan, begin er gewoon aan en dat loopt wel los. Oefeningen zijn dus bewijzen of iets al dan niet logisch waar is, een logisch gevolg van een (verzameling) zin(nen) is, Ke-bewijzen, beweringen uit Geo-werelden, e.d... niks dat je niet gezien hebt. Voor structuren komt het grotendeels op hetzelfde neer.
De algemene regel is dat als je dit vak goed kon in de oefenzittingen, dat de examens ervan geen probleem zullen zijn om te maken. Let wel op: prof. Denecker verbetert vrij streng, dus zorg ervoor dat alles zeker correct genoteerd is (niet al te intuïtief, maar in de juiste taal van de propositie- of predikatenlogica). Dit kan wel eens zorgen voor verrassende (in de negatieve zin) resultaten als je je punten krijgt.
De puntenverdeling is als volgt:
- Theorie: 6 punten
- Oefeningen: 14 punten
In 2021-22 was de puntenverdeling:
- Theorie: 9 punten
- Oefeningen: 11 punten
Oefeningen
Oplossingen van oefeningen en huistaken
LogicPalet
Voor het maken van de huiswerken op LogicPalet heb je een login nodig. Deze kan je opvragen via volgende link: Logic Palet Registration Link
Examens
Vorige examens zijn te bezichtigen op de toledo-site voor het vak.
Structuur van het examen
let op: Deze informatie is hoogstwaarschijnlijk niet meer up-to-date (zo staat theorie nu op 6 punten).
- Twee theorievragen (samen 4 punten).
- - Vertalen naar predikatenlogica (Geo-werelden).
- - Een formeel KE-bewijs opstellen.
- - "Al dan niet logisch waar", of "al dan niet logisch gevolg", of "al dan niet bestaan van een model".
- - Toepassingen in de informatica.
- - Eventueel kunnen er ook nog andere oefeningen of multiple choice vragen zijn. (Bijvoorbeeld het berekenen van een normaalvorm.)