4 World Logic Day – ULS seminar

The 4th World Logic Day
https://wld.cipsh.international/wld2022.html
is celebrated on January 14, 2022.

One of the events is online seminar of the Ukrainian Logic Society

Zoom Link:
https://us04web.zoom.us/j/2677425181?pwd=Z0pzUVdQYTVrMXlsY1BvRFJyWlVzdz09
Conference Identifier: 267 742 5181
Pass Code: AQ3p8P

Date and time of the Seminar:

January 14, 2022, 10:00–13:00 EET.

Program of the Seminar:

• Ievgen Ivanov. On Induction Principles with Weak Basis.
• Ihor Dutsyak. On Correctness of Formalization of the Legal Principle "What is not Forbidden is Allowed" in Deontic Logic.
• Mykola Nikitchenko. Three-Level Scheme of Teaching the Course "Mathematical Logic".
• Stepan Shkilniak. Program-based Conception of Teaching the Course "Mathematical Logic".
• Yaroslav Kokhan. A System of Alternatives as a Theoretical Object of Logic.
• Ivan Basarab. Finite-convergent and Cyclic Functions, Collatz and Goodstein Sequences.

В рамках 4-го Всесвітнього Дня Логіки
14 січня 2022 року
https://wld.cipsh.international/wld2022.html
Українським Логічним Товариством організовано дистанційний семінар

Zoom Link:
https://us04web.zoom.us/j/2677425181?pwd=Z0pzUVdQYTVrMXlsY1BvRFJyWlVzdz09
Ідентифікатор конференції: 267 742 5181
Код доступу: AQ3p8P

Дата і час проведення Семінару:

14 січня 2022 року, 10:00–13:00

Програма семінару:

• Євген Іванов. Про принципи індукції із слабким базисом.
• Ігор Дуцяк. Про коректність формалізації правничого принципу «незаборонене дозволено» в деонтичній логіці.
• Микола Нікітченко. Трирівнева схема викладання курсу «Математична логіка».
• Степан Шкільняк. Програмно-обумовлена концепція викладання курсу «Математична логіка».
• Ярослав Кохан. Система альтернатив як теоретичний об’єкт логіки.
• Іван Басараб. Скінченно-збіжні та циклічні функції, послідовності Коллатца і Гудстейна.