Univertv.ru
InternetUrok.ru

Новости
19.10.2012
19 октября – Всероссийский день лицеиста  19 октября традиционно отмечается День лицея. Портал UniverTV предлагает вам подборку образовательных видео об истории праздника и известных выпускниках Императорского лицея, оставивших след в мировой политике, литературе, культуре. Далее...
01.09.2012
C 1 сентября!  Поздравляем всех посетителей сайта с Днём знаний! Желаем новых открытий и увлекательной учёбы! Далее...
05.05.2012
UniverTV поздравляет пользователей с праздником 9 Мая  9 мая отмечается 67 годовщина победы в Великой Отечественной войне. Далее...
Все новости » Подписаться на RSS Подписаться на e-mail

Выступление Ю.В. Матиясевича


RU
01:04:03

Матиясевич Ю.В.

д.ф.-м.н., академик РАН, исследователь Санкт-Петербургского отделения Математического института им. В.А. Стеклова РАН

Совместное заседание Санкт-Петербургского математического общества и секции математики Дома учёных

Дата съемки: 23.03.2010

Математические доказательства являются центральным объектом математики. В данном докладе рассматривается формальная сторона этого вопроса. Нахождение доказательств - очень трудоёмкий процесс. Много лет разрабатываются системы, пытающиеся формализовать доказательства. Лектор приводит пример... Далее »

Математические доказательства являются центральным объектом математики. В данном докладе рассматривается формальная сторона этого вопроса. Нахождение доказательств - очень трудоёмкий процесс. Много лет разрабатываются системы, пытающиеся формализовать доказательства. Лектор приводит пример интерактивного доказательства.

_
Попробуйте снова.

Видео не проигрывается
Видео не соответствует описанию
Другое (кратко опишите проблему)
1042 просмотра
Язык: рус.
Добавлен: 04.06.10

Комментарии

Написать комментарий
Страницы: 1

   Другие видео по теме

01:14:11


1436 просмотров
Добавлен: 06.06.2010

Выступление Н.А. Вавилова

Вавилов Н.А.

Совместное заседание Санкт-Петербургского математического общества и секции математики Дома учёных

00:05:56


405 просмотров
Добавлен: 01.06.2010

Письмо А.М. Вершика «Адаптация доказательств и публикации...

Вершик А.М.

Совместное заседание Санкт-Петербургского математического общества и секции математики Дома учёных

01:27:59


332 просмотра
Добавлен: 11.07.2009

Завершение теории уравнения переноса

Холодов А.С.

МФТИ

01:18:49


251 просмотр
Добавлен: 11.07.2009

Консервативные монотонные схемы

Холодов А.С.

МФТИ

В таблице Менделеева этот газ (элемент № 7) назван азотом. Он был открыт в XVIII в. великим французским физиком Антуаном Лавуазье, который поначалу назвал его «инертной средой» и установил, что его содержание в атмосфере составляет больше трех четвертей. В 1787 г. сам же Лавуазье переименовал «инертную среду» в «азот», что в переводе с древнегреческого означает «безжизненный». Это название стало общепринятым, однако в Германии газ до сих пор называют «штикштоф», что означает  «удушливая материя». Англичане же предпочитают термин «нитрогениум», что можно перевести с латыни как «рождающий селитру».

 

О свойствах веществ расскажут разделы Химия и Физика.

Как считают этнографы и специалисты по русскому языку, это слово пришло к нам от волжских бурлаков. Когда-то бурлаки называли кавардаком варево на скорую руку – суп из рыбы, лука, сухарей, пшена и грубых корок сала. Теперь же этим колоритным словом обозначают беспорядки, противоречивые слухи, раздоры, в причине которых трудно разобраться.

 

Происхождение слов и выражений изучают науки этимология и фразеология. Видеолекции и фильмы на похожие темы смотрите в разделе Филология.

У древних евреев был своеобразный религиозный обычай, который назывался «азазел», или «козлоотпущение». Раз в году, в назначенный для этого день, собирался народ. Одного козла приносили в жертву богу, а другого торжественно прогоняли («отпускали») в пустыню, предварительно «возложив на него руки», то есть по очереди прикоснувшись к нему. Считалось, что грехи всего народа перейдут на изгоняемого козла и он унесет их с собой. Отражением этого обычая в языках разных народов и осталось сочетание «козел отпущения». Так называют в переносном смысле человека, отдувающегося за чужие проступки, вынужденного расплачиваться за грехи других.

 

Происхождение слов и выражений изучают науки этимология и фразеология. Смотрите о них в разделе Филология.

 
По сравнению с золотыми самородками платиновые выглядят крохотными. Обычно они весят не более 50 г, а самородки массой 100 г представляют очень большую редкость. Однако в нашей стране был найден уникальный кусок платины весом 8 кг 400 г! Сейчас он хранится в Алмазном фонде.

 

Сюжеты и фильмы о месторождениях других драгоценных металлов смотрите в разделе Геология.

 
Нередко официальным полюсом холода называют Оймяконскую котловину в Якутии, где температура воздуха у поверхности земли зимой достигает – 70 оС. Тем не менее, в у Оймякона есть соперник – такую же температуру не раз регистрировали в одной из впадин между ледниками Гренландии. А в Южном полушарии, в Антарктиде, есть сразу несколько точек, где столбик термометра опускается ниже отметки – 70 оС, а в одном месте – ниже – 80 оС. Правда, это случается только в период ураганных ветров.

 

Видеолекции и фильмы на похожие темы смотрите в разделе География

Разработка сайта: i-market © 2009

Дизайн сайта сделан в Knock Knock

Rambler's Top100

Заполните анкету
Оставьте свой отзыв