?

Log in

Лаборатория мат. логики ПОМИ РАН [entries|archive|friends|userinfo]
Лаборатория мат. логики ПОМИ РАН

[ website | My Website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

лабораторный лытдыбр [Mar. 26th, 2009|11:50 am]
Лаборатория мат. логики ПОМИ РАН

edwardahirsch
[Current Mood |smoky]
[Current Music |Заварен круто дымный чай...]

Благодаря появившемуся на работе aristk обнаружил, что у нас в шкафу имеется чай lapsan suchong. По запаху обнаружил. Его ни с чем не спутаешь :)
LinkLeave a comment

(no subject) [Dec. 9th, 2007|12:36 am]
Лаборатория мат. логики ПОМИ РАН

andrey_bovykin

Эдуард Алексеевич,

добавьте пожалуйста в интересы этой группы следующие слова:

constructive mathematics, intuitionism, model theory, logic, arithmetic, Peano Arithmetic, unprovability, consistency strength, reverse mathematics, philosophy of mathematics, truth, "truth", Godel, compactness, models of arithmetic, models of ZFC, models of New Foundations, computability theory, конструктивная математика, интуиционизм, недоказуемость, модели арифметики, арифметика Пеано, теория рекурсии, Гёдель, обратная математика, построение модели ZFC.

Так, для порядка...

Link4 comments|Leave a comment

Тревисан [Nov. 10th, 2007|01:04 pm]
Лаборатория мат. логики ПОМИ РАН

edwardahirsch
Для тех, кто почему-то не подписан на luca_feed - прямая ссылка на последнее, которое (обе части - и про Коблица, и про аспирантов) можно комментировать до бесконечности, но прямо сейчас некогда, поэтому просто ссылка. Можно устроить в лаборатории философский диспут :) и даже два.
LinkLeave a comment

Расписание занятий на ближайшие субботу и воскресенье [Oct. 24th, 2007|02:38 pm]
Лаборатория мат. логики ПОМИ РАН

kirpich_spb
Привет!

Напоминаю, что в ближайшую субботу (27.10.2007) Борис Юрьевич с 15-ти до 16-ти часов будет отвечать на вопросы по уже прочитанным лекциям и выданным упражнениям по верификации, а с 16-00 до 17-30 будет прочитана следующая лекция. В воскресенье же занятия пройдут точно так же, как и в прошлое воскресенье: начинаем в 10-00, слушаем две лекции, потом часовой перерыв на обед, после чего еще одна или две лекции, которые заканчиваются не позже 16-00.

Слайды прошедших лекций уже доступны (http://logic.pdmi.ras.ru/~infclub/?q=courses/verification). В ближайшие несколько дней мы также постараемся выложить слайды будущих лекций.

Саша
LinkLeave a comment

И ещё о лекциях [Oct. 4th, 2007|10:25 pm]
Лаборатория мат. логики ПОМИ РАН

edwardahirsch
Если кто совершенно случайно не читает журнал rus4, то в ближайшее воскресенье будет вот что. Я-то туда, соответственно, не пойду, поскольку самое начало, но, наверное, кому-то будет полезно и это. А потом будет продолжение.

Вот kirpich_spb уже получил The Probabilistic Method в том или ином виде в качестве части экзамена по специальности :)
LinkLeave a comment

Напоминание [Oct. 4th, 2007|05:06 pm]
Лаборатория мат. логики ПОМИ РАН

edwardahirsch
1. Напоминаю, что завтра Сашин доклад на DM семинаре.

2. Для тех, кто по какой-нибудь причине не читает общеинститутскую рассылку, сообщаю, что в понедельник 8 октября в 14:00 на общеинститутском семинаре - лекция Юрия Владимировича про дзета-функцию.
LinkLeave a comment

Заморозки в ПОМИ [Apr. 9th, 2007|08:21 am]
Лаборатория мат. логики ПОМИ РАН

edwardahirsch
Батареи не топят. Приходя на работу, одевайтесь теплее.

Хотя вообще-то обещали включить. Да и я сейчас нагрею...
LinkLeave a comment

ЮВ-60 [Mar. 15th, 2007|09:42 pm]
Лаборатория мат. логики ПОМИ РАН

eterevsky
А вот -- галерея фотографий с празднования 60-летия Юрия Владимировича. Супер-качества, конечно, не обещаю, но получилось неплохо.

60-летие Ю. В. Матиясевича


Кто занимался праздничной страничкой? Поставьте ссылку, что ли.
Link3 comments|Leave a comment

(no subject) [Mar. 4th, 2007|12:08 pm]
Лаборатория мат. логики ПОМИ РАН

edwardahirsch
                       Семинар по дискретной математике
                        пятница, 9 марта, 15:30, к.106

Докладчик: А.Куликов

               Миникурс по сложности формул и схем. Вторая лекция

Будут рассмотрены общие методы доказательства нижних оценок на размер
формулы: метод Ходеса и Спекера, метод Фишера, Майера и Патерсона,
метод Нечипорука и метод Храпченко. Каждый метод будет сопровожден
примером функции, для которой он дает нетривиальную (а в ряде случаев
и оптимальную) нижнюю оценку. Никаких предварительных знаний (в
частности, ЗНАНИЯ МАТЕРИАЛА ПРОШЛОЙ ЛЕКЦИИ) НЕ ТРЕБУЕТСЯ.
LinkLeave a comment

Пятница [Feb. 2nd, 2007|02:49 pm]
Лаборатория мат. логики ПОМИ РАН

eterevsky
А сегодня в лаборатории кто-нибудь/что-нибудь будет?
Link4 comments|Leave a comment

navigation
[ viewing | most recent entries ]
[ go | earlier ]