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