Drodzy Pasjonaci Matematyki!
Zapraszany na kolejny referat, który odbędzie się 18 listopada o godz. 14:15 w sali F6 i zostanie wygłoszony przez Marcina Massalskiego (student 2go stopnia Matematyki Stosowanej)
Tytuł:
Lean - nowy sposób uprawiania matematyki w komputerze.
Abstrakt:
Lean to relatywnie nowy język programowania do formalizacji matematyki o rosnącej popularności. On jak i inne takie języki otwierają nowy sposób tworzenia matematyki z użyciem komputera, który gwarantuje matematyczną poprawność. Podczas referatu spróbuję wyjaśnić, jakie nadzieje wiązane są z tym podejściem do matematyki oraz jakie obecnie są mocne i słabe strony tych systemów. Pokażę również jak wygląda praca w języku Lean.
Do zobaczenia!
Koło Naukowe Matematyków PŁ