Uppsatser om formal languages

6 uppsatser

Mängdlära och kardinalitet

Cantors paradis

Kandidatuppsats · Växjö universitet

… the same number of points. Because of that the set theory is described with a formal language this the paper has an appendix about formal languages.

FÖRSTASPRÅK I FÖRSKOLAN

En studie av vilket stöd barn med annat förstaspråk än svenska får på några förskolor i en kommun i Mellansverige

Examensarbete, grundnivå · Karlstads universitet

… viz. Arabic and Somali. Children who have other first language receive no formal training in their first language in preschool. One reason for the modest number of first-language teachers in the municipality ” one in Arabic and one in Somali ” is the fact that it is hard to find …

Ontologier i kunskapsorganisation Vägen från tesaur till den semantiska webben

D-uppsats · Högskolan i Borås

… main differences are that ontologies require that relationships are defined formally in order to avoid ambiguities, and that they can handle concepts in addition to terms. This makes ontologies more powerful, especially when using computer based systems. Utilising an ontology …

Analysis of Intent Specification and SystemUpgrade Traceability

Examensarbete, grundnivå · Linköpings universitet

… is of great importance during system upgrades. Since SpecTRM does not support formal verification of safety properties in design models, the SpecTRM-RL models were translated to Esterel code. Further analysis showed that functional verification can be efficient and useful when …

Ämneshantering hos flerspråkiga med Alzheimers sjukdom

Magisteruppsats · Uppsala universitet

… Narrative ability was also examined and a story was elicited in more formal settings with the help of a picture series from the research project COST Action IS0804. The narrative was compared with the interview to see if visual support improved the participants language. Results …