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”

http://logic.net.ua/

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
Українським Логічним Товариством організовано дистанційний семінар

«Логіка та її застосування»

http://logic.net.ua/

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

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

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

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

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