Logika - kursus gratis dari Open Education, pelatihan 14 minggu, dari 4 hingga 6 jam per minggu, Tanggal: 3 Desember 2023.
Miscellanea / / December 07, 2023
Kursus ini memperkenalkan siswa pada logika matematika, metode, teorema, dan aplikasinya. Dalam proses mempelajari mata kuliah tersebut, mahasiswa akan dapat mempelajari tentang berbagai sistem logika – logika klasik, logika intuisionistik, berbagai logika modal, serta logika predikat klasik dan teori yang dibangun berdasarkan itu.
Isu-isu yang berkaitan dengan bahasa formal, isu-isu yang dapat diungkapkan dari berbagai kondisi di dalamnya, sistem aksiomatik, bukti dan pembuktian, kebenaran dan sanggahan akan dibahas. Hubungan antara konsep-konsep ini akan ditampilkan, serta hubungan antara sistem logis yang berbeda. Sepanjang jalan, sifat-sifat teori, termasuk teori algoritmik, akan dipertimbangkan.
Mata kuliah ini berisi materi teori yang disajikan dalam perkuliahan dan tugas praktek yang ditawarkan kepada mahasiswa sebagai latihan. Siswa akan dapat belajar bagaimana membangun bukti formal dari teorema, model teori, model tandingan untuk pernyataan yang tidak dapat dibuktikan dalam teori, serta memperdebatkan kesimpulan mereka dengan cermat.
1
SehatKandidat Ilmu Fisika dan Matematika: Universitas Negeri Yaroslavl. hal. Demidova, PhD: Universitas Witwatersrand, Associate Professor Posisi: Associate Professor, Fakultas Matematika
Pendidikan, gelar akademik dan gelar akademik 2019, PhD: Universitas Witwatersrand 2017, Gelar akademik: Associate Professor 2005, Kandidat Ilmu Fisika dan Matematika: Universitas Negeri Yaroslavl. hal. Demidova 1999, gelar Master: Universitas Negeri Tver, spesialisasi “Matematika, Matematika Terapan”, kualifikasi "Master" 1997, gelar Sarjana: Universitas Negeri Tver, spesialisasi "Matematika", kualifikasi "Sarjana"
Penghargaan dan pencapaian Ucapan Terima Kasih dari Fakultas Matematika Sekolah Tinggi Ekonomi Universitas Riset Nasional (Oktober 2021) Guru terbaik – Bonus 2021 untuk publikasi di jurnal peer-review internasional publikasi ilmiah (2022-2023, 2021-2022, 2020-2021) Pemenang Kompetisi karya ilmiah dan sains populer berbahasa Rusia terbaik oleh karyawan HSE – 2022
1. Logika proposisional klasik. Sintaks, semantik. Hukum. Bentuk normal disjungtif dan konjungtif. Kalkulus barisan.
2. Logika proposisional intuitifistik. Semantik Kripke. Kalkulus barisan.
3. Logika predikat klasik. Tanda tangan, model tanda tangan. Keterdefinisian. Hukum. Awalan bentuk normal.
4. Teori orde pertama. Sifat-sifat teori.
5. Algoritma. Solvabilitas. Teorema Gereja.
6. Logika modal. Sintaks, semantik Kripke. Kalkulus. Teorema kelengkapan. Solvabilitas. Kaitannya dengan logika intuisi dan logika predikat.
14 minggu, 4 hingga 6 jam per minggu,
Awal 03 Desember