Teaching
Teaching copied to clipboard
florian-rabe
My lecture notes and other course materials
Months ago, I formalized the definitions of syntax, {deductive, computational, concretized} semantics and more at LATIN2@tetrapod: https://gl.mathhub.info/MMT/LATIN2/-/tree/tetrapod/source/type_theory/tetrapod **Be cautious when merging into devel.** Dennis already did that and those files...
I just came across the terms *(denotational|operational|axiomatic) semantics* once again (see screenshot), and actually the first two seem to unify pretty well with WuV's *relative semantics* and *absolute computational semantics*...
@florian-rabe As dicussed, this PR is now **ready to be reviewed and merged!** This PR contains various changes, incl. - typo fixes - added explanations (e.g. in the notes on...
Currently, exercises are hidden under sometimes deep subsections. I'd find it helpful if *additionally* they could be listed consecutively at some place in the notes, possibly using some LaTeX magic.
 The IEEE 754-2008 standard revision does not state at all how floats are encoded/decoded from strings. [Here's a PDF](http://www.dsc.ufcg.edu.br/~cnum/modulos/Modulo2/IEEE754_2008.pdf) Google found for the otherwise closed-access standard. In fact, choosing...
 On the second slide, the non-terminal identifier *D* is used twice.
at the end of section 6.1: https://github.com/florian-rabe/Teaching/blob/1608cbb4661c3c4895b68128625f7d84381748ab/WuV/onto_general.tex#L103
Maybe I file a PR later this week.