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

April 18, 2017

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

Filed under: Uncategorized — Andrei Rodin @ 7:07 pm

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

 

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

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

 

Описание:

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

Программа:

 

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

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

(аннотация)

 

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

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

(аннотация)

 

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

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

(аннотация)

 

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

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

(аннотация)

 

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

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

(аннотация)

 

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

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

(аннотация)

 

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

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

(аннотация)

 

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

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

(аннотация)

No Comments

No comments yet.

RSS feed for comments on this post.

Sorry, the comment form is closed at this time.

Powered by WordPress