Кофейные традиции священнодействия и Awesome Cats In Slow Motion
Зашла к папе в гости на работу. Письмо перевела. Пообедали.
Здорово) Мне эти лабиринты нравятся) Судьба такая: лабиринты да лестницы =)
// Поняла, что тег arbeiten ассоциируется таки с офисной работой. К которой я свою не причисляю от слова "совсем"))) Ну, бумажки, конечно, тоже есть...
А кофе хоть и из кофемашины, что само по себе достижение, но отвратный, кислый. Молоко слабо спасает. Культура пития не привита.
Прям взмечталось о Яндексе))
Они как раз сегодня прислали рассылку о выступлении про сложность. У меня на этот вечер планы, но трансляцию второй части я б посмотрела. В записи. А первая интересна профессору, который у нас лекции читает: в докладе «The power of diagonalization for separating of complexity classes» Сэмюэл Басс, профессор математики Калифорнийского университета в Сан-Диего, расскажет о старых и новых результатах применения метода диагонализации в задачах о разделении сложностных классов.
Вторая:
Mathematical logic was developed in an effort to provide formal foundations for mathematics. In this quest, which ultimately failed, logic begat computer science, yielding both computers and theoretical computer science. But then logic turned out to be a disappointment as foundations for computer science, as almost all decision problems in logic are either unsolvable or intractable. Starting from the mid 1970s, however, there has been a quiet revolution in logic in computer science, and problems that are theoretically undecidable or intractable were shown to be quite feasible in practice. This talk describes the rise, fall, and rise of logic in computer science, describing several modern applications of logic to computing, include databases, hardware design, and software engineering.
Моше Варди - профессор компьютерных наук университета Райса, лауреат премии Гёделя. Автор более 500 научных статей, а также соавтор двух книг: «Reasoning about Knowledge» и «Finite Model Theory and Its Applications». Является одним из ведущих специалистов в области многоагентных систем, а также в теориях баз данных, конечных моделей и верификации. В докладе «A Logical Revolution» Варди расскажет о том, как практическое приложение логики в компьютерных науках привело к смене парадигм и «тихой революции» в этих областях.
P.S. Играющие кошки в замедленной съёмке! (1,500 fps)
Click to viewP.P.S. А в декабре я хочу в "отпуск" вот сюда, в Пово,
деревушку в пригородных холмах к востоку от центра Тренто, Италия:
