
Доповідь «Логічні структури як аналог математичних структур»
У понеділок 8 червня в Київському національному університеті імені Тараса Шевченка на факультеті кібернетики в рамках семінару «Програмологія та її застосування» відбудеться
Початок — у 14:15.
Адреса: пр-т Академіка Глушкова, 2, корпус 6 (станція метро "Виставковий центр"),ауд. 33 (для довідок і на початок можна підійти в ауд. 601 або 602).
Резюме доповіді:
Бурбакі стверджували, що кожна математична дисципліна вивчає математичні структури певного роду. В означенні математичної структури (через поняття шкали множин) можна замінити поняття відношення на поняття правила. Структури, отримані в результаті такої заміни доповідач називає логічними (структурами). Можна показати, що кожен розділ логіки вивчає логічні або математичні структури певного роду. Зокрема, формальні мови, логічні числення та алгоритми суть логічні структури.
За темою доповіді опубліковано статтю доповідача «Феномен знания с точки зрения логики» [ru].
- Версія для друку
- Увійдіть щоб залишати відгуки
Останні коментарі
7 years 14 hours тому
10 years 13 weeks тому
11 years 48 weeks тому
11 years 1 week тому
12 years 4 weeks тому
12 years 15 weeks тому
12 years 15 weeks тому
12 years 15 weeks тому
12 years 23 weeks тому
12 years 23 weeks тому