Faculteit der Computerwetenschappen

Om verder te gaan dan alleen het schrijven van code die draait en begint met het ontwerpen van systemen die aantoonbaar correct zijn, moet u de taal van de logica begrijpen.Deze cursus is uw praktische introductie tot de formele redeneervaardigheden die de moderne computers aandrijven. Je gaat van basislogische uitspraken naar het opbouwen van formele bewijzen, leert problemen met precisie en duidelijkheid analyseren.Tegen het einde heb je de mentale toolkit om op een gestructureerde en rigoureuze manier te redeneren over algoritmen, databasequery's en programmagedrag. Wat je leert: - Leer de grondbeginselen van propositielogica, inclusief waarheidstabellen, verbindingswoorden en logische gelijkwaardigheden. - Master predicaatlogica om te werken met kwantificatoren, variabelen en relaties in meer complexe uitspraken. - Oefen essentiële bewijs technieken zoals direct bewijs, bewijs door tegenspraak, en wiskundige inductie. - Begrijp de directe toepassing van booleaanse algebra in digitaal circuitontwerp. - Pas logische redenering toe om de structuur van databasequery's en de basisprincipes van programmacorrectheid te analyseren. - Ontwikkel uw computationele denkvaardigheden om technische problemen systematisch op te lossen en op te lossen. De cursus begint met de kernbouwstenen van logische uitspraken voordat ze doorgaan naar formele bewijzen en hun praktische toepassingen.Elk concept wordt uitgelegd door middel van duidelijke tekst en versterkt met schriftelijke oefeningen om uw begrip te versterken. Deze cursus is bedoeld voor aspirant-programmeurs en studenten informatica.Ervaring in formele logica of geavanceerde wiskunde is niet vereist. Begin vandaag nog met het bouwen van je basis in logisch redeneren.