Обявления

Занятия по λ-смятане и теория на доказателствата

Занятия по λ-смятане и теория на доказателствата

от Трифон Трифонов -
Number of replies: 6

Здравейте, колеги,

По заповед на Ректора на СУ се отменят присъствените занятия в университета. Занятията по λСТД ще се проведат в стандартното време (вторник от 9 до 13) дистанционно, чрез видео връзка, като ще имаме възможност за двупосочна комуникация с помощта на Discord. По-късно днес ще ви изпратя подробности как да се включите. Междувременно, моля, ако не сте го направили вече, включете се в платформата Discord чрез тази покана.

Важно: за да можете да се включите в дистанционните занятия е необходимо да си изтеглите и инсталирате приложението Discord, понеже в браузъра има някои ограничения и е възможно не всичко да работи както трябва. Приложението е налично за Windows, macOS, Linux, Android и iOS.

Поздрави,
Т. Трифонов

In reply to Трифон Трифонов

Re: Занятия по λ-смятане и теория на доказателствата

от Трифон Трифонов -
Здравейте,

Занятията утре ще се излъчват по YouTube на следния адрес: .

По време на лекцията ще можете да задавате въпроси и да отговаряте на моите въпроси в Discord в текстовия канал на курса или по микрофон с гласовия канал със същото име.

Лекцията започва в стандартния час, 9:15.

Поздрави,
Т. Трифонов
In reply to Трифон Трифонов

Re: Занятия по λ-смятане и теория на доказателствата

от Трифон Трифонов -
Здравейте, колеги,

В следващите минимум две седмици занятията по λСТД ще продължават да се провеждат в стандартното време (вторник от 9 до 13) дистанционно, но ще сменим платформата и ще ползваме Google Meet, което ще ни даде възможност за двупосочна видео връзка в реално време, в допълнение на изпращане на текстови съобщения. По-късно днес ще изпратя връзка към видеоконференцията.

За достъп не се изисква допълнителен софтуер освен съвременен браузър. Аз лично съм го ползвал успешно на Firefox и Chrome. Възможно е браузърът ви да поиска да му дадете разрешение са достъп до микрофона и камерата, ако не сте ползвали видео чат през браузъра досега. Най-добре би било да осигурите микрофон и камера и да се включите с видео, за да имаме усещане максимално близко до лекцията на живо.

При проблеми със свързването, моля пишете в чата в Discord. По време на лекцията предпочитаният начин за задаване на въпроси е по микрофона, а ако нямате такъв, може и по текстовия чат.

Поздрави,
Т. Трифонов
In reply to Трифон Трифонов

Re: Занятия по λ-смятане и теория на доказателствата

от Трифон Трифонов -
Здравейте, колеги,

Малка промяна в плана: ще пробваме да направим лекцията в системата Big Blue Button, която е интегрирана с Learn.FMI и е малко по-пригодена за преподаване.

Можете да се присъедините към видеоконференцията утре на този линк.
 
Тъй като системата се ползва от все повече преподаватели за дистанционно обучение и още не е ясно колко е лимитът на сървъра, който е отделен за нея, като резервен вариант ще се прехвърлим в Google Meet, ако се наложи. В случай, че има нужда да сменим системата, ще изпратя Google Meet линк в Moodle и Discord.
 
Поздрави и до утре,
Т. Трифонов
In reply to Трифон Трифонов

Re: Занятия по λ-смятане и теория на доказателствата

от Трифон Трифонов -
Здравейте, колеги,

Утрешната лекция ще се проведе в Google Meet на следния адрес:
 
https://meet.google.com/mes-tjsp-ird
 
Сред поддържаните браузъри са Firefox и Chrome, а също има и мобилно приложение. Възможно е браузърът ви да поиска да му дадете разрешение са достъп до микрофона и камерата, ако не сте ползвали видео чат през браузъра досега. Най-добре би било да осигурите микрофон и камера и да се включите с видео, за да имаме усещане максимално близко до лекцията на живо.
 
При проблеми със свързването, моля пишете в чата в Discord. По време на лекцията предпочитаният начин за задаване на въпроси е по микрофона, а ако нямате такъв, може и по текстовия чат.
 
Поздрави,
Т. Трифонов
In reply to Трифон Трифонов

Re: Занятия по λ-смятане и теория на доказателствата

от Трифон Трифонов -
Здравейте, колеги,

Занятията по λ-смятане и теория на доказателствата тази седмица ще започнат с два часа упражнения, които ще води Георги Любенов, след което ще продължим с два часа лекции.
 
Упражненията ще започнат в 9:15 и ще се проведат в платформата Jitsi на този адрес:
 
https://jitsi.ludost.net/lambda
 
Лекциите ще започнат в 11:15 и ще се проведат в платформата Google Meet на същия адрес като миналия път:
 
https://meet.google.com/mes-tjsp-ird
 
Моля, следете канала в Discord за повече информация.
 
Поздрави,
  Т. Трифонов
In reply to Трифон Трифонов

Re: Занятия по λ-смятане и теория на доказателствата

от Трифон Трифонов -
Здравейте, колеги,

Утре (21.04) занятията по λ-смятане и теория на доказателствата ще се проведат по график от 9:15 на обичайния адрес:

https://meet.google.com/mes-tjsp-ird
 
Поздрави,
Т. Трифонов