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

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

Холодов А.С.

МФТИ

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

 

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


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

 

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

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

 

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

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

 

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

В XVIII в. Россия воевала с Пруссией на ее территории и одержала ряд побед. Однако это обернулось массовым переселением европейских тараканов в Петербург, Москву и многие другие города. Дело в том, что русские солдаты бывали в прусских кабаках и харчевнях, а там эти насекомые водились в изобилии. Они забирались в походные солдатские ранцы и так попадали в Россию, где прежде их не было вовсе. Иноземных гостей сразу же окрестили «прусаками».

 

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

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

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

Rambler's Top100

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