andrei rodin Andrei Rodin's blog about History and Philosophy of Mathematics

April 12, 2017

Workshop 12 May 2017

Filed under: — Andrei Rodin @ 10:53 pm

Конструктивное знание-3: формализация теорий

NEW: Full Video

Когда: пятница 12 мая 2017 с 10 утра

Где: ИФ РАН, комната 416 (4-й этаж)

 

Описание:

Этот воркшоп – третий в серии воркшопов, организованных в рамках проекта “Логические и эпистемологические аспекты конструктивного знания” (см. первый и второй воркшопы). В этот раз фокус будет сделан на анализе различных подходов к формализации теорий. Эта проблема будет рассмотрена как с технической, так и с эпистемологической точек зрения.

 

Программа:

10:00 – 10:40

ВЛАДИМИР ШАЛАК (ИФ РАН)

Логическая компонента научных теорий

(аннотация)(слайды)(резюме)

 

10:40 – 11:10

СЕРГЕЙ КОВАЛЁВ (ИПУ РАН)

Представление инженерных знаний в электронно-цифровом макете сложного технического изделия

(аннотация)(слайды)

 

КОФЕ

 

11:30 – 12:10

ВЛАДИМИР КРУПСКИЙ

О моделировании уверенности и знания в социальных сетях

(аннотация)(слайды)

 

12:10 – 12:50

АНДРЕЙ РОДИН (ИФ РАН)

Правила или аксиомы? О двух стилях аксиоматизации.

(аннотация)(слайды)

 

12:50 – 13:30

АЛЕКСАНДР ЖОЖИКАШВИЛИ (ИППИ РАН)

Теоретико-категорная формализация продукционных систем представления знаний

(аннотация)(слайды)

 

 

13:30 – 15:00 – ОБЕД

 

15:00 – 15:40

ВЛАДИМИР ВАСЮКОВ (ИФ РАН)

Трансцендентальные модальности

(аннотация)(слайды)

 

 

15:40 – 16:10

КОНСТАНТИН ШИШОВ (МГУ)

Семантики квантовой логики

(аннотация)(слайды)

 

КОФЕ

 

16:30 – 17:10

ДАНЯ РОГОЗИН (МГУ)

Соответствие Карри-Говарда и колмогоровская сложность

(аннотация)(слайды)

 

17:10 – 17:50

СЕРГЕЙ ТИТОВ (ИФРАН)

 Объяснительная сила информационно-емких исследований

(аннотация)(слайды)

 

17:50 – 18:30

ЗАЛЮЧИТЕЛЬНОЕ ОБСУЖДЕНИЕ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 


No Comments

No comments yet.

RSS feed for comments on this post.

Sorry, the comment form is closed at this time.

Powered by WordPress