לוגיקה - קורס חינם מבית חינוך פתוח, הכשרה 14 שבועות, מ-4 עד 6 שעות שבועיות, תאריך: 3 בדצמבר 2023.

Miscellanea / by admin / December 07, 2023

click fraud protection

הקורס מציג לתלמידים לוגיקה מתמטית, שיטותיה, המשפטים והיישומים שלה. בתהליך לימוד הקורס יוכלו הסטודנטים ללמוד על מערכות לוגיות שונות - לוגיקה קלאסית, לוגיקה אינטואיציונית, הגיונות מודאליים שונים, כמו גם לוגיקה פרדיקט קלאסית ותיאוריות שנבנו מבוסס על זה.

יטופלו סוגיות הקשורות לשפות פורמליות, סוגיות של ביטוי של תנאים שונים בהן, מערכות אקסיומטיות, ראיות והוכחות, אמת והפרכה. יוצגו הקשרים בין מושגים אלו, וכן הקשרים בין מערכות לוגיות שונות. בהמשך הדרך ייבחנו תכונות התיאוריות, כולל אלגוריתמיות.

הקורס מכיל הן חומר תיאורטי המוצג בהרצאות והן משימות מעשיות המוצעות לסטודנטים כתרגילים. התלמידים יוכלו ללמוד כיצד לבנות הוכחות פורמליות למשפטים, מודלים של תיאוריות, מודלים נגדיים להצהרות שאינן ניתנות להוכחה בתיאוריות, וכן לטעון בקפדנות את מסקנותיהם.

ריבקוב מיכאיל ניקולאביץ'

נו

מועמד למדעי הפיזיקה והמתמטיקה: אוניברסיטת מדינת ירוסלב. פ.ג. דמידובה, דוקטורט: אוניברסיטת וויטווטרסרנד, תפקיד פרופסור חבר: פרופסור חבר, הפקולטה למתמטיקה

השכלה, תארים אקדמיים ותארים אקדמיים 2019, PhD: University of the Witwatersrand 2017, תואר אקדמי: פרופסור חבר 2005, מועמד למדעי הפיזיקה והמתמטיקה: Yaroslavl State University. פ.ג. דמידובה 1999, תואר שני: אוניברסיטת טבר סטייט, התמחות "מתמטיקה, מתמטיקה שימושית", הסמכה "מאסטר" 1997, תואר ראשון: אוניברסיטת טבר סטייט, התמחות "מתמטיקה", הסמכה "בוגר תואר ראשון"

instagram viewer

פרסים והישגים הכרת תודה מהפקולטה למתמטיקה של בית הספר הגבוה לכלכלה של אוניברסיטת המחקר הלאומית (אוקטובר 2021) המורה הטוב ביותר - 2021 בונוס לפרסום בכתב עת בינלאומי בעל ביקורת עמיתים פרסום מדעי (2022-2023, 2021-2022, 2020-2021) זוכה התחרות על היצירות המדעיות והמדע הפופולרי הטובות ביותר בשפה הרוסית של עובדי HSE - 2022

1. לוגיקה טענה קלאסית. תחביר, סמנטיקה. חוקים. צורות נורמליות דיסjunktive ו conjunctive. חישוב רצף.

2. היגיון הצעה אינטואיציוניסטי. סמנטיקה של קריפקה. חישוב רצף.

3. היגיון פרדיקט קלאסי. חתימה, דגמי חתימה. יכולת הגדרה. חוקים. קידומת צורה רגילה.

4. תיאוריות מסדר ראשון. מאפיינים של תיאוריות.

5. אלגוריתמים. פְּתִירוּת. משפט הכנסייה.

6. לוגיקה מודאלית. תחביר, סמנטיקה של קריפקה. חֶשְׁבּוֹן. משפטי שלמות. פְּתִירוּת. חיבור עם היגיון אינטואיציוני והיגיון פרדיקט.

14 שבועות, 4 עד 6 שעות בשבוע,

הַתחָלָה 03 בדצמבר

ענן תגיות