2,421 research outputs found
New Formalized Results on the Meta-Theory of a Paraconsistent Logic
Get PDFClassical logics are explosive, meaning that everything follows from a contradiction. Paraconsistent logics are logics that are not explosive. This paper presents the meta-theory of a paraconsistent infinite-valued logic, in particular new results showing that while the question of validity for a given formula can be reduced to a consideration of only finitely many truth values, this does not mean that the logic collapses to a finite-valued logic. All definitions and theorems are formalized in the Isabelle/HOL proof assistant
An Experience with and Reflections on Live Coding with Active Learning
Get PDFIn this paper I report and reflect on a concrete experience with changing an introductory programming course from being based on "classical lectures" to being based on live coding with active learning. The experiment is built on learnings found in the literature and the pedagogical theories of scaffolding, think-pair-share and teaching as facilitation of learning. I reflect on the students' reaction to the experiment, the difficulty of the active learning, how to keep time, coverage of learning objectives, the degree of improvisation and student involvement. The experiment was well received by the students, and I report also on the feedback. My hope is that educators who want to introduce live coding with active learning will be able to draw inspiration from my preparation of, execution of and reflections on the experiment
Guenther Anders.
No full textDigital ImageThe author Guenther Anders was born on July 12, 1902 in Breslau, the son of William Stern.4607
Anders Bodelsen
No full textThis is a short presentation of the main works of the Danish author Anders Bodelsen
Binnenstedelijk ontwikkelen moet op alle fronten anders
No full textBinnenstedelijke (her)ontwikkeling moet vraaggerichter, goedkoper, flexibeler en sneller, anders loopt de stedelijke vernieuwing compleet vast. Ook ambities vergen aanpassing. Dit artikel laat de urgentie van dit probleem zien, maar schetst vooral hoe het anders moet en kan, met een focus op actuele discussiepuntenReal Estate and HousingArchitectur
Formalization of the Resolution Calculus for First-Order Logic
Get PDFI present a formalization in Isabelle/HOL of the resolution calculus for first-order logic with formal soundness and completeness proofs. To prove the calculus sound, I use the substitution lemma, and to prove it complete, I use Herbrand interpretations and semantic trees. The correspondence between unsatisfiable sets of clauses and finite semantic trees is formalized in Herbrand’s theorem. I discuss the difficulties that I had formalizing proofs of the lifting lemma found in the literature, and I formalize a correct proof. The completeness proof is by induction on the size of a finite semantic tree. Throughout the paper I emphasize details that are often glossed over in paper proofs. I give a thorough overview of formalizations of first-order logic found in the literature. The formalization of resolution is part of the IsaFoL project, which is an effort to formalize logics in Isabelle/HOL.</p
Practicum, net even anders
No full textPracticum; dertig leerlingen doen in vijftig minuten allemaal dezelfde handelingen, verzamelen dezelfde data waarbij ze hopelijk tot dezelfde conclusie komen. Het practicum blijftdaarmee wel beperkt tot het zelfstandig data verzamelen en het trekken van die ene conclusie. Kan dat niet anders? Door het centraal delen van data blijft er tijd over voor een centrale discussie. In dit artikel zet ik uiteen hoe dit principe bij diverse practica toegepast kan worden.ImPhys/Practicum suppor
Partnering as a strategy to approach new markets : case Anders Inno
Get PDFThis thesis was done for Anders Inno Oy, a Finnish small and medium sized enterprise from Turku, interested in widening their operations by approaching international markets.
This thesis was based on the applied thesis model. The purpose of this thesis was to analyse the process of partnering as a strategy in the case of Anders Inno Oy with a strong focus on trust and commitment as part of the partnering process. The research method was to investigate and analyse the factors of commitment and trust in partnerships and implement partnering as a potential strategy for Anders Inno to approach the German markets.
The first part of this thesis was to briefly illustrate the case background and circumstances of the starting situation of the project at the time the author was assigned. The second part consisted out of discussing partnering in general, as well as the part of commitment and the relationship between trust and commitment in particular. The third part was to evaluate the partnering approach by its general adaptability to this case, distinctions in its application and matters of general application to a case.
The research process of this thesis showed that partnering can bring a lot advantages to companies when understood in the right way and implemented accordingly. The main conclusions were that partnering could be the ideal strategy for reaching previously unattainable markets. However, dependent on mutual willingness and need and therefore not always easily establish able
Anders Kristian Munk on Anthropology in Business with Matt Artz
No full textIn this episode of the Anthropology in Business podcast, Anders Kristian Munk speaks with Matt Artz about his career as a business anthropologist. The conversation covers Ander’s journey from human geography to Techno-Anthropology.Anders Kristian Munk is an anthropologist, associate professor, and the director of The Techno-Anthropology Lab at Aalborg University in Copenhagen. He holds degrees in ethnology and human geography, with a PhD from the University of Oxford, and previously worked at the SciencesPo médialab in Paris and the Danish Technical University.He is the co-author of Controversy Mapping: A Field Guide, which introduces readers to the observation and representation of contested issues on digital media
Formalization of the Resolution Calculus for First-Order Logic
Get PDFA formalization in Isabelle/HOL of the resolution calculus for first-order logic is presented. Its soundness and completeness are formally proven using the substitution lemma, semantic trees, Herbrand’s theorem, and the lifting lemma. In contrast to previous formalizations of resolution, it considers first-order logic with full first-order terms, instead of the propositional case
- …
