Скачать
Логические исчисления. 4.1.1 — 4.2.5
Автор: Дискретная математика через силу джедаев
Загружено: 2022-08-02
Просмотров: 15
Описание:
Лекция по дискретной математике СПбПУ от Новкива Ф.А. Лекции были выложены студентами преподавателя, проводящего лекции по дискретной математике.
00:00 — О логике. 4. Логические исчисления
08:15 — 4.1 Логические связки и кванторы
10:00 — 4.1.1 Высказывания и связки
10:30 — 4.1.2 Формулы
12:50 — 4.1.3 Интерпретация
18:30 — 4.1.4 Логическое следование и эквивалентность
26:55 — 4.1.5 Подстановка и замена
30:00 — 4.1.6 Кванторы
37:50 — 4.1.7 Формализация
49:00 — 4.2.1 Определение формальной теории
51:40 — 4.2.2 Выводимость
55:00 — 4.2.3 Интерпретация
56:20 — 4.2.4 Общезначимость и непротиворечивость
57:55 — 4.2.5 Полнота, независимость и разрешимость
Доступные форматы для скачивания:
Похожие видео
array(10) {
[0]=>
object(stdClass)#6193 (5) {
["video_id"]=>
int(9999999)
["related_video_id"]=>
string(11) "eycfXWr2EMw"
["related_video_title"]=>
string(67) "4.3.1 — 4.3.5 Исчисление высказываний."
["posted_time"]=>
string(21) "2 года назад"
["channelName"]=>
string(76) "Дискретная математика через силу джедаев"
}
[1]=>
object(stdClass)#6166 (5) {
["video_id"]=>
int(9999999)
["related_video_id"]=>
string(11) "Nc8Pxx24f-k"
["related_video_title"]=>
string(120) "Аксиома выбора: как Георг Кантор чуть не сломал математику [Veritasium]"
["posted_time"]=>
string(19) "4 дня назад"
["channelName"]=>
string(10) "Vert Dider"
}
[2]=>
object(stdClass)#6191 (5) {
["video_id"]=>
int(9999999)
["related_video_id"]=>
string(11) "cPdGt9v0Bag"
["related_video_title"]=>
string(73) "Угроза для всего мира / Резкое заявление"
["posted_time"]=>
string(23) "5 часов назад"
["channelName"]=>
string(10) "NEXTA Live"
}
[3]=>
object(stdClass)#6198 (5) {
["video_id"]=>
int(9999999)
["related_video_id"]=>
string(11) "hFcEVM0moYU"
["related_video_title"]=>
string(58) "Как Путин видит окончание войны"
["posted_time"]=>
string(24) "13 часов назад"
["channelName"]=>
string(27) "Анатолий Шарий"
}
[4]=>
object(stdClass)#6177 (5) {
["video_id"]=>
int(9999999)
["related_video_id"]=>
string(11) "r9VsEpXxwsA"
["related_video_title"]=>
string(107) "Корень из двух – первая математическая трагедия // Vital Math"
["posted_time"]=>
string(19) "1 год назад"
["channelName"]=>
string(10) "Vital Math"
}
[5]=>
object(stdClass)#6195 (5) {
["video_id"]=>
int(9999999)
["related_video_id"]=>
string(11) "vzzN-fPUaJ8"
["related_video_title"]=>
string(47) "Как делить на НОЛЬ // Vital Math"
["posted_time"]=>
string(27) "5 месяцев назад"
["channelName"]=>
string(10) "Vital Math"
}
[6]=>
object(stdClass)#6190 (5) {
["video_id"]=>
int(9999999)
["related_video_id"]=>
string(11) "QgzBDZwanWA"
["related_video_title"]=>
string(114) "Самая простая нерешённая задача — гипотеза Коллатца [Veritasium]"
["posted_time"]=>
string(21) "3 года назад"
["channelName"]=>
string(10) "Vert Dider"
}
[7]=>
object(stdClass)#6200 (5) {
["video_id"]=>
int(9999999)
["related_video_id"]=>
string(11) "jLN9cnI7aTo"
["related_video_title"]=>
string(131) "АУСЛЕНДЕР:💥 АД НАД ТЕГЕРАНОМ! Израиль УНИЧТОЖАЕТ все вооружение Ирана!"
["posted_time"]=>
string(21) "4 часа назад"
["channelName"]=>
string(19) "Апостроф TV"
}
[8]=>
object(stdClass)#6176 (5) {
["video_id"]=>
int(9999999)
["related_video_id"]=>
string(11) "B1ULvYY-0Uo"
["related_video_title"]=>
string(124) "Закон сохранения энергии — величайшее заблуждение физики [Veritasium]"
["posted_time"]=>
string(24) "16 часов назад"
["channelName"]=>
string(10) "Vert Dider"
}
[9]=>
object(stdClass)#6194 (5) {
["video_id"]=>
int(9999999)
["related_video_id"]=>
string(11) "shlHpBbPg5c"
["related_video_title"]=>
string(178) "ПАВЛИКОВ, ОН ЖЕ ХИТМАН, ОН ЖЕ МАТЕМАТИК МГУ, В ГОСТЯХ У САВВАТАНА! РЕШАЕМ ИНТЕРЕСНЫЕ ЗАДАЧКИ С ЕГЭ!!"
["posted_time"]=>
string(19) "1 год назад"
["channelName"]=>
string(75) "Маткульт-привет! :: Алексей Савватеев и Ко"
}
}
4.3.1 — 4.3.5 Исчисление высказываний.
Аксиома выбора: как Георг Кантор чуть не сломал математику [Veritasium]
Угроза для всего мира / Резкое заявление
Как Путин видит окончание войны
Корень из двух – первая математическая трагедия // Vital Math
Как делить на НОЛЬ // Vital Math
Самая простая нерешённая задача — гипотеза Коллатца [Veritasium]
АУСЛЕНДЕР:💥 АД НАД ТЕГЕРАНОМ! Израиль УНИЧТОЖАЕТ все вооружение Ирана!
Закон сохранения энергии — величайшее заблуждение физики [Veritasium]
ПАВЛИКОВ, ОН ЖЕ ХИТМАН, ОН ЖЕ МАТЕМАТИК МГУ, В ГОСТЯХ У САВВАТАНА! РЕШАЕМ ИНТЕРЕСНЫЕ ЗАДАЧКИ С ЕГЭ!!