Przejdź do zawartości

Wkład użytkownika Hdps8

Użytkownik(-czka) wykonał(a) 21 edycji. Konto utworzone 15 wrz 2021.
Szukaj wkładuRozwińZwiń
⧼contribs-top⧽
⧼contribs-date⧽

1 paź 2024

  • 19:4319:43, 1 paź 2024 różn. hist. +5677 N Wikipedysta:Hdps8/Artur Korniłowicz Nowa strona: '''Artur Korniłowicz''' (ur. 1970) – polski matematyk, informatyk oraz logik, doktor habilitowany nauk matematycznych, profesor uczelni na Uniwersytecie w Białymstoku. Specjalizuje się w logice matematycznej, teorii dowodu oraz komputerowych systemach wspomagających dowodzenie twierdzeń (proof assistants). Jego badania dotyczą między innymi rozwijania i zastosowania systemów Mizar oraz teorii zbiorów w kontekście mechanizacji dowodów matem… Znaczniki: Z urządzenia mobilnego Z wersji mobilnej (przeglądarkowej)

14 sie 2024

13 sie 2024

11 sie 2024

9 sie 2024

8 sie 2024

23 lip 2024

11 lip 2024

15 wrz 2021