
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
“Logic and its applications”
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
Програма семінару:
- Євген Іванов. Про принципи індукції із слабким базисом.
- Ігор Дуцяк. Про коректність формалізації правничого принципу «незаборонене дозволено» в деонтичній логіці.
- Микола Нікітченко. Трирівнева схема викладання курсу «Математична логіка».
- Степан Шкільняк. Програмно-обумовлена концепція викладання курсу «Математична логіка».
- Ярослав Кохан. Система альтернатив як теоретичний об’єкт логіки.
- Іван Басараб. Скінченно-збіжні та циклічні функції, послідовності Коллатца і Гудстейна.
- Версія для друку
- Увійдіть щоб залишати відгуки
Останні коментарі
7 years 8 weeks тому
10 years 22 weeks тому
12 years 5 weeks тому
12 years 8 weeks тому
12 years 13 weeks тому
12 years 24 weeks тому
12 years 24 weeks тому
12 years 24 weeks тому
12 years 32 weeks тому
12 years 32 weeks тому