Vai al contenuto principale
Pannello laterale
Course search
Chiudi
Course search
Attiva/disattiva input di ricerca
Italiano (it)
Русский (ru)
Українська (uk)
Deutsch (de_old)
English (de)
English (en)
Español - Internacional (es)
Français (fr)
Italiano (it)
Polski (pl)
Login
Додаткові розділи математичної логіки
Course search
Chiudi
Course search
Attiva/disattiva input di ricerca
Вибір дисциплін
Minimizza
Espandi
Вибір дисциплін
Minimizza
Espandi
Обрати дисципліни
Статистика вибору дисциплін ВМУ
Apri indice del corso
Apri il cassetto del blocco
Home
Corsi
Факультети, кафедри
Математичний факультет
Кафедра загальної математики
Додаткові розділи математичної логіки
Підсумковий модуль
Практичне завдання (20 б.)
Практичне завдання (20 б.)
Aggregazione dei criteri
Attività precedente
Теоретичне завдання (20 б.)
Vai a...
Vai a...
Анотація курсу
Навчальний посібник
Математична логіка та теорія алгоритмів. Конспект лекцій
Силабус "Додаткові розділи математичної логіки" (заочна форма)
Лекція 1
Пояснення до завдання 1
Завдання 1 (20 б.)
Лекція 2
Завдання_Логічні основи вивчення теорем (20 б.)
Формальні (аксіоматичні) теорії_Числення висловлювань
Індивідуальне завдання_Числення висловлювань (20 б.)
Лекційні матеріали_Багатозначні логіки
Завдання 2_Багатозначні логіки (20 б.)
Теоретичне завдання (20 б.)