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

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

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

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

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

Комментарии

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

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

01:14:11


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

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

Вавилов Н.А.

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

00:05:56


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

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

Вершик А.М.

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

01:27:59


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

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

Холодов А.С.

МФТИ

01:18:49


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

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

Холодов А.С.

МФТИ

История происхождения этого выражения связана со Смутным временем. В 1612 г., после освобождения Москвы от польских интервентов народным ополчением, враг бежал, бросая оружие и обозы. Паническое отступление прекратилось лишь у города Можайска. Тогда и появилась поговорка «загнать за Можай», то есть разбить врага, заставить его обратиться в бегство. В переносном смысле она используется и в наши дни. Так может, например, выразиться ученый, победивший оппонента в научном споре.

 

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

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

 

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

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

 

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


 
К сожалению, площади многих пустынь увеличиваются с каждым годом. Растет и пустыня Гоби в Монголии, и Калахари в Южной Африке, и Каракумы в Средней Азии. Но рекордсмен – африканская Сахара, самая большая пустыня нашей планеты. В начале XXI в. ее площадь составляла более 7 млн км2. Пески Сахары наступают на юг и юго-восток со скоростью 50 км в год. Точные причины этого движения ученым пока неясны. Не существует и способа остановить это неуклонное песчаное наступление.

 

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

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

 

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

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

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

Rambler's Top100

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