La prelego temas pri formaligado de programlingvaĵoj.
La ideo estas la jena: multe da sciencistoj uzas programlingvaĵojn, sen nepre faki pri komputiko.Sed ĉu oni vere scias ĉion pri kiel tiuj programlingvaĵoj?
Martin Constantino–Bodin klarigos la problemon,kaj montros la matematikan modelon kiun li faris de la
programlingvaĵo R.
Do temos pri komputiko, kaj pli specife pri semantiko de programlingvaĵoj!
La evento okazos per Zoom:
https://us02web.zoom.us/j/81141368558
aŭ:
identigilo: 811 4136 8558