Математика как иностранный. A1-4. Простейший формализм.

Uploaded By: Myvideo

Published on

28 Nov 2024

1 view

0

0 votes

0

About Share Download Add to

Повторяем пройденное и строим логику высказываний. Поговорим о правилах построения формул в простейшем языке с переменными и логическими связками. Немного затронем тему булевых функций и понятие равносильности формул. Постараюсь прояснить различие уровней математичекого языка при работе с формальными системами. Ссылки: 1. Спецкурс по теореме Гудстейна на канале Маткульт-привет: 2. Вторая теореме Гёделя о неполноте на канале Маткульт-привет:

Share with your friends

Link:

Embed:

<iframe width="640" height="360" src="//myvideo.cc/embed/V3R2Y09LSjhQakhwS2ttL1JSaHpaamc4TWV5RElHRVdJd2tFZkhoazMrYz0" frameborder="0" webkitallowfullscreen mozallowfullscreen allowfullscreen></iframe>

Video Size:

Custom size:

x

Autoplay video

Hide player controls

Hide resume playing

Add to Playlist:

Favorites

My Playlist

Watch Later

ВМ/WarpBeacon Либрариум WHFB 6 - Королевства Огров / Ogre Kingdoms

16 minutes ago

00:38:40

ВМ/WarpBeacon Либрариум WHFB 6 - Королевства Огров / Ogre Kingdoms

1 58%

Для тех, кому лень самостоятельно наряжать ёлку, молодые учёные ЛЭТИ разработали робо-руку с применением искусственного интеллек

18 minutes ago

00:00:25

Для тех, кому лень самостоятельно наряжать ёлку, молодые учёные ЛЭТИ разработали робо-руку с применением искусственного интеллек

1 48%

Ученье продолжается!!!

39 minutes ago

00:00:00

Ученье продолжается!!!

3 72%

Эрик Легион | ЕГЭ по математике | 100балльный Курс Легион. 16 урок. 11 номер. Графики | Эрик Легион | 100балльный

2 hours ago

02:04:54

Эрик Легион | ЕГЭ по математике | 100балльный Курс Легион. 16 урок. 11 номер. Графики | Эрик Легион | 100балльный

3 18%

Это событие вызывает бурное обсуждение во всём мире! Вот что открыли учёные в Чернобыльском лесу.

3 hours ago

00:04:30

Это событие вызывает бурное обсуждение во всём мире! Вот что открыли учёные в Чернобыльском лесу.

1.5K 86%

Математика Для Чайников Как решать Обыкновенные Дроби Урок 2

3 hours ago

00:13:51

Математика Для Чайников Как решать Обыкновенные Дроби Урок 2

9 54%

Вселенная Плюс ПАРАЛЛЕЛЬНЫЕ ВСЕЛЕННЫЕ / ЧЁРНЫЕ ДЫРЫ / НАСТРОЙКА ВСЕЛЕННОЙ. Семихатов, Сурдин, Побединский (1080p)

4 hours ago

01:25:09

Вселенная Плюс ПАРАЛЛЕЛЬНЫЕ ВСЕЛЕННЫЕ / ЧЁРНЫЕ ДЫРЫ / НАСТРОЙКА ВСЕЛЕННОЙ. Семихатов, Сурдин, Побединский (1080p)

1.2K 56%

БУДНИ СТУДЕНТКИ: купила айпад, учись со мной | Marina Vorontsova

4 hours ago

00:08:04

БУДНИ СТУДЕНТКИ: купила айпад, учись со мной | Marina Vorontsova

115 11%

Линейные (векторные) пространства

5 hours ago

00:20:49

Линейные (векторные) пространства

1.3K 92%

Новогодний квиз

5 hours ago

00:46:37

Новогодний квиз

745 88%

Skypro: онлайн-университет Биномиальное распределение. Вероятности вероятностей. Математика для аналитика #2

6 hours ago

00:16:04

Skypro: онлайн-университет Биномиальное распределение. Вероятности вероятностей. Математика для аналитика #2

4 90%

Skypro: онлайн-университет 15 вопросов Java-разработчику

6 hours ago

00:32:12

Skypro: онлайн-университет 15 вопросов Java-разработчику

2 90%

Skypro: онлайн-университет 15 вопросов аналитику данных. Ответы на популярные вопросы

6 hours ago

00:38:31

Skypro: онлайн-университет 15 вопросов аналитику данных. Ответы на популярные вопросы

1 73%

Секретное СВОЙСТВО ЛОГАРИФМОВ, которое спасет тебя от АРМИИ!

7 hours ago

00:08:41

Секретное СВОЙСТВО ЛОГАРИФМОВ, которое спасет тебя от АРМИИ!

1.7K 46%

Южнокорейские ученые представили робота, который поможет парализованным людям не только ходить, но и подниматься по лестнице, а

7 hours ago

00:01:01

Южнокорейские ученые представили робота, который поможет парализованным людям не только ходить, но и подниматься по лестнице, а

1 86%

ФКН ВШЭ дистанционные занятия Основы машинного обучения семинар 17 (ИАД-1)

8 hours ago

01:03:55

ФКН ВШЭ дистанционные занятия Основы машинного обучения семинар 17 (ИАД-1)

1 47%

ФКН ВШЭ дистанционные занятия Основы машинного обучения семинар 16 (ИАД-1)

8 hours ago

01:08:18

ФКН ВШЭ дистанционные занятия Основы машинного обучения семинар 16 (ИАД-1)

1 25%

ФКН ВШЭ дистанционные занятия Основы машинного обучения семинар 15 (ИАД-1)

8 hours ago

01:14:24

ФКН ВШЭ дистанционные занятия Основы машинного обучения семинар 15 (ИАД-1)

1 42%

ФКН ВШЭ дистанционные занятия Основы машинного обучения семинар 14 (ИАД-1)

8 hours ago

01:18:45

ФКН ВШЭ дистанционные занятия Основы машинного обучения семинар 14 (ИАД-1)

4 23%

Анапский сельскохозяйственный техникум стал лабораторной базой для учёных из МГУ

8 hours ago

00:04:11

Анапский сельскохозяйственный техникум стал лабораторной базой для учёных из МГУ

1.6K 82%

Как решаются уравнения с корнями и модулями в заочной школе ЗФТШ при МФТИ Видеоуроки репетитора Физтеха Что такое знаменитые ДВИ

9 hours ago

00:30:50

Как решаются уравнения с корнями и модулями в заочной школе ЗФТШ при МФТИ Видеоуроки репетитора Физтеха Что такое знаменитые ДВИ

35 82%

И.Н. Острецов: Спор в лицо с физиками-ядерщиками. Термоядерный синтез-туфта научная Кто прав

10 hours ago

00:16:58

И.Н. Острецов: Спор в лицо с физиками-ядерщиками. Термоядерный синтез-туфта научная Кто прав

1 83%

YouCut_20241229_125012937.mp4

10 hours ago

00:00:18

YouCut_20241229_125012937.mp4

13 90%

Скачать Форекс стратегию fx raider

10 hours ago

00:01:44

Скачать Форекс стратегию fx raider

1 74%

0 Comments

Guest