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

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

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

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

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

Комментарии

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

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

01:14:11


1431 просмотр
Добавлен: 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 г. сам же Лавуазье переименовал «инертную среду» в «азот», что в переводе с древнегреческого означает «безжизненный». Это название стало общепринятым, однако в Германии газ до сих пор называют «штикштоф», что означает  «удушливая материя». Англичане же предпочитают термин «нитрогениум», что можно перевести с латыни как «рождающий селитру».

 

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

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

 

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

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

 

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

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

 

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

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

 

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

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

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

Rambler's Top100

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