Edsger W. Dijkstra - Lecture: Reasoning About Programs - Solving 2 problems using programing - 1990
This is part of the University Video Communications - Distinguished Lecture Series on Computer Science and Programming.. Dr Dijkstra in this lecture solves two problems using programing. The two problems are:
1- General structure about correctness argument about programs.
2- Mathematical Existance theorem has to be proven - that is certain result exist. (starts at 28 min 33 sec)
This lecture goes under the title: "Reasoning About Programs
which was recorded in 1990 and sponsored by Sun Microsystems.
For those who do not know - Dr Dijkstra he is a pioneer in Computer Science and Programming field. He is one of the most influential members of computing science's founding generation, who helped shape the new discipline from both an engineering and a theoretical perspective.
This is of two vidoe tapes I had laying in my library for many years - since 1994 - and recently decided to digitize and upload and share.
Что делает видео по-настоящему запоминающимся? Наверное, та самая атмосфера, которая заставляет забыть о времени. Когда вы заходите на RUVIDEO, чтобы посмотреть онлайн «Edsger W. Dijkstra - Lecture: Reasoning About Programs - Solving 2 problems using programing - 1990», вы рассчитываете на нечто большее, чем просто загрузку плеера. И мы это понимаем. Контент такого уровня заслуживает того, чтобы его смотрели в HD 1080, без дрожания картинки и бесконечного буферизации.
Честно говоря, Rutube сегодня — это кладезь уникальных находок, которые часто теряются в общем шуме. Мы же вытаскиваем на поверхность самое интересное. Будь то динамичный экшн, глубокий разбор темы от любимого автора или просто уютное видео для настроения — всё это доступно здесь бесплатно и без лишних формальностей. Никаких «заполните анкету, чтобы продолжить». Только вы, ваш экран и качественный поток.
Если вас зацепило это видео, не забудьте взглянуть на похожие материалы в блоке справа. Мы откалибровали наши алгоритмы так, чтобы они подбирали контент не просто «по тегам», а по настроению и смыслу. Ведь в конечном итоге, онлайн-кинотеатр — это не склад файлов, а место, где каждый вечер можно найти свою историю. Приятного вам отдыха на RUVIDEO!
Видео взято из открытых источников Rutube. Если вы правообладатель, обратитесь к первоисточнику.