Betrouwbare leraar

2Leerlingen

Ervaren en geduldige docent logica voor informatica. Ik heb zes jaar lang logica, formele talen en automatentheorie aan studenten onderwezen. Mijn bijles wordt aangepast aan het niveau en de doelstellingen van de leerling. Of je nu logica moet leren voor je studie, of gewoon meer wilt weten over het onderwerp, ik help je graag om je begrip en vaardigheden te verbeteren. Logica De wetenschappen veronderstellen een bepaalde standaard van rationaliteit. Een vermogen om onderscheid te maken tussen correcte redeneringen en beweringen die niet uit de aannames volgen. In deze les bestuderen we de basisprincipes van de logica en passen we wiskundige technieken toe bij de studie ervan. Onderwerpen zijn onder meer: Propositionele en predicatenlogica Syntaxis en semantiek Natuurlijke aftrek Semantische tableaux Correctheid en degelijkheid Volledigheid Formele talen en automaten Een formele taal is een abstractie van algemene kenmerken van programmeertalen. Zo'n taal bestaat uit een set symbolen samen met enkele regels om te bepalen of een string die uit die symbolen bestaat, lid is van de taal. Onderwerpen zijn onder meer: Reguliere talen, contextvrije talen Eindige automaten, pushdown-automaten, Turing-machines Normale uitdrukkingen Reguliere grammatica, contextgevoelige grammatica Lemma's pompen voor reguliere en contextvrije talen