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

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

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

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

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

Комментарии

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

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

01:14:11


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

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

Вавилов Н.А.

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

00:05:56


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

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

Вершик А.М.

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

01:27:59


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

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

Холодов А.С.

МФТИ

01:18:49


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

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

Холодов А.С.

МФТИ

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

 

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

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

 

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

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

 

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


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

 

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

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

 

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

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

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

Rambler's Top100

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