Logica - gratis cursus van Open Onderwijs, training 14 weken, van 4 tot 6 uur per week, Datum: 3 december 2023.
Gemengde Berichten / / December 07, 2023
De cursus laat studenten kennismaken met wiskundige logica, de methoden, stellingen en toepassingen ervan. Tijdens het bestuderen van de cursus kunnen studenten kennis maken met verschillende logische systemen: klassieke logica, intuïtionistische logica, verschillende modale logica's, evenals klassieke predicaatlogica en theorieën daarop gebaseerd.
Kwesties die verband houden met formele talen, kwesties van de uitdrukbaarheid van verschillende omstandigheden daarin, axiomatische systemen, bewijs en bewijsbaarheid, waarheid en weerlegbaarheid zullen worden aangepakt. De relaties tussen deze concepten worden getoond, evenals de relaties tussen verschillende logische systemen. Onderweg zullen de eigenschappen van theorieën, inclusief algoritmische theorieën, worden overwogen.
De cursus bevat zowel theoretisch materiaal gepresenteerd in hoorcolleges als praktische taken die als oefeningen aan de studenten worden aangeboden. Studenten zullen kunnen leren hoe ze formele bewijzen van stellingen, modellen van theorieën, tegenmodellen voor uitspraken die in theorieën onbewijsbaar zijn, kunnen construeren, en hoe ze hun conclusies rigoureus kunnen beargumenteren.
1
GoedKandidaat voor fysische en wiskundige wetenschappen: Yaroslavl State University. P.G. Demidova, PhD: Universiteit van de Witwatersrand, universitair hoofddocent Functie: universitair hoofddocent, Faculteit Wiskunde
Onderwijs, academische graden en academische titels 2019, PhD: Universiteit van de Witwatersrand 2017, Academische titel: universitair hoofddocent 2005, kandidaat voor fysische en wiskundige wetenschappen: Yaroslavl State University. P.G. Demidova 1999, Masterdiploma: Tver State University, specialiteit “Wiskunde, Toegepaste Wiskunde”, kwalificatie "Master" 1997, bachelordiploma: Tver State University, specialiteit "Wiskunde", kwalificatie "Bachelor opleiding"
Prijzen en prestaties Dankbaarheid van de Faculteit der Wiskunde van de National Research University Higher School of Economics (oktober 2021) Beste docent – 2021 Bonus voor publicatie in een internationaal peer-reviewed tijdschrift wetenschappelijke publicatie (2022-2023, 2021-2022, 2020-2021) Winnaar van de competitie voor de beste Russischtalige wetenschappelijke en populair-wetenschappelijke werken van HSE-medewerkers – 2022
1. Klassieke propositielogica. Syntaxis, semantiek. Wetten. Disjunctieve en conjunctieve normaalvormen. Volgorderekening.
2. Intuïtionistische propositielogica. Kripke-semantiek. Volgorderekening.
3. Klassieke predicaatlogica. Handtekening, kenmerkende modellen. Definieerbaarheid. Wetten. Voorvoegsel normale vorm.
4. Eerste orde theorieën. Eigenschappen van theorieën.
5. Algoritmen. Solvabiliteit. De stelling van de kerk.
6. Modale logica. Syntaxis, semantiek van Kripke. Berekening. Volledigheidsstellingen. Solvabiliteit. Verbinding met intuïtionistische logica en predicatenlogica.
14 weken, 4 tot 6 uur per week,
Begin 03 december