Telegram Group & Telegram Channel
23 ноября стартует научно-учебный семинар «Математическая Логика и Теория Категорий»!

Семинар нацелен на совместное изучение основ и актуальных результатов в сфере категорной логики, теории типов и теории моделей. Особое внимание уделяется изучению проблем и подходов, находящихся на пересечении математики, формальной философии, логики и теоретической информатики. В рамках семинаров предполагается введение в основные понятия и темы математических дисциплин напрямую связанных с категорной логикой. Основная задача семинара — совместное изучение основ категорной логики, поэтому участие не предполагает специальных знаний в указанных выше сферах.

Если Вы хотите присоединиться к семинару или выступить с докладом, то свяжитесь с организаторами ([email protected] / [email protected]). Семинар проходит по субботам в 11:30 в аудитории A-121. Семинар проводится в гибридном формате. Обязательно свяжитесь с организаторами, если Вам нужен пропуск.

Ссылка на чат семинара: https://www.group-telegram.com/+q7rhQuAMOcs0MTYy



group-telegram.com/form_phil/242
Create:
Last Update:

23 ноября стартует научно-учебный семинар «Математическая Логика и Теория Категорий»!

Семинар нацелен на совместное изучение основ и актуальных результатов в сфере категорной логики, теории типов и теории моделей. Особое внимание уделяется изучению проблем и подходов, находящихся на пересечении математики, формальной философии, логики и теоретической информатики. В рамках семинаров предполагается введение в основные понятия и темы математических дисциплин напрямую связанных с категорной логикой. Основная задача семинара — совместное изучение основ категорной логики, поэтому участие не предполагает специальных знаний в указанных выше сферах.

Если Вы хотите присоединиться к семинару или выступить с докладом, то свяжитесь с организаторами ([email protected] / [email protected]). Семинар проходит по субботам в 11:30 в аудитории A-121. Семинар проводится в гибридном формате. Обязательно свяжитесь с организаторами, если Вам нужен пропуск.

Ссылка на чат семинара: https://www.group-telegram.com/+q7rhQuAMOcs0MTYy

BY Формальная философия




Share with your friend now:
group-telegram.com/form_phil/242

View MORE
Open in Telegram


Telegram | DID YOU KNOW?

Date: |

READ MORE The regulator said it has been undertaking several campaigns to educate the investors to be vigilant while taking investment decisions based on stock tips. Telegram was founded in 2013 by two Russian brothers, Nikolai and Pavel Durov. Some privacy experts say Telegram is not secure enough Telegram Messenger Blocks Navalny Bot During Russian Election
from ru


Telegram Формальная философия
FROM American