Популярное

Музыка Кино и Анимация Автомобили Животные Спорт Путешествия Игры Юмор

Интересные видео

2025 Сериалы Трейлеры Новости Как сделать Видеоуроки Diy своими руками

Топ запросов

смотреть а4 schoolboy runaway турецкий сериал смотреть мультфильмы эдисон
dTub
Скачать

Логические исчисления. 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 Полнота, независимость и разрешимость

Логические исчисления. 4.1.1 — 4.2.5

Поделиться в:

Доступные форматы для скачивания:

Скачать видео mp4

  • Информация по загрузке:

Скачать аудио mp3

Похожие видео

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 Исчисление высказываний.

4.3.1 — 4.3.5 Исчисление высказываний.

Аксиома выбора: как Георг Кантор чуть не сломал математику [Veritasium]

Аксиома выбора: как Георг Кантор чуть не сломал математику [Veritasium]

Угроза для всего мира / Резкое заявление

Угроза для всего мира / Резкое заявление

Как Путин видит окончание войны

Как Путин видит окончание войны

Корень из двух – первая математическая трагедия // Vital Math

Корень из двух – первая математическая трагедия // Vital Math

Как делить на НОЛЬ // Vital Math

Как делить на НОЛЬ // Vital Math

Самая простая нерешённая задача — гипотеза Коллатца [Veritasium]

Самая простая нерешённая задача — гипотеза Коллатца [Veritasium]

АУСЛЕНДЕР:💥 АД НАД ТЕГЕРАНОМ! Израиль УНИЧТОЖАЕТ все вооружение Ирана!

АУСЛЕНДЕР:💥 АД НАД ТЕГЕРАНОМ! Израиль УНИЧТОЖАЕТ все вооружение Ирана!

Закон сохранения энергии — величайшее заблуждение физики [Veritasium]

Закон сохранения энергии — величайшее заблуждение физики [Veritasium]

ПАВЛИКОВ, ОН ЖЕ ХИТМАН, ОН ЖЕ МАТЕМАТИК МГУ, В ГОСТЯХ У САВВАТАНА! РЕШАЕМ ИНТЕРЕСНЫЕ ЗАДАЧКИ С ЕГЭ!!

ПАВЛИКОВ, ОН ЖЕ ХИТМАН, ОН ЖЕ МАТЕМАТИК МГУ, В ГОСТЯХ У САВВАТАНА! РЕШАЕМ ИНТЕРЕСНЫЕ ЗАДАЧКИ С ЕГЭ!!

© 2025 dtub. Все права защищены.



  • Контакты
  • О нас
  • Политика конфиденциальности



Контакты для правообладателей: [email protected]