Evidence and Counter-Evidence : Essays in Honour of Frederik
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
International Standard ISO/IEC 14977
ISO/IEC 14977 : 1996(E) Contents Page Foreword ................................................ iii Introduction .............................................. iv 1Scope:::::::::::::::::::::::::::::::::::::::::::::: 1 2 Normative references :::::::::::::::::::::::::::::::::: 1 3 Definitions :::::::::::::::::::::::::::::::::::::::::: 1 4 The form of each syntactic element of Extended BNF :::::::::: 1 4.1 General........................................... 2 4.2 Syntax............................................ 2 4.3 Syntax-rule........................................ 2 4.4 Definitions-list...................................... 2 4.5 Single-definition . 2 4.6 Syntactic-term...................................... 2 4.7 Syntacticexception.................................. 2 4.8 Syntactic-factor..................................... 2 4.9 Integer............................................ 2 4.10 Syntactic-primary.................................... 2 4.11 Optional-sequence................................... 3 4.12 Repeatedsequence................................... 3 4.13 Grouped sequence . 3 4.14 Meta-identifier...................................... 3 4.15 Meta-identifier-character............................... 3 4.16 Terminal-string...................................... 3 4.17 First-terminal-character................................ 3 4.18 Second-terminal-character . 3 4.19 Special-sequence.................................... 3 4.20 Special-sequence-character............................. 3 4.21 Empty-sequence.................................... -
17191931.Pdf
PDF hosted at the Radboud Repository of the Radboud University Nijmegen The following full text is a publisher's version. For additional information about this publication click this link. http://hdl.handle.net/2066/113622 Please be advised that this information was generated on 2017-12-06 and may be subject to change. Description and Analysis of Static Semantics by Fixed Point Equations Description and Analysis of Static Semantics by Fixed Point Equations Een wetenschappelijke proeve op het gebied van de Wiskunde en Natuurwetenschappen Proefschrift ter verkrijging van de graad van doctor aan Katholieke Universiteit te Nijmegen, volgens besluit van college van decanen in het openbaar te verdedigen maandag 3 april 1989, des namiddags te 1.30 uur precies door Matthias Paul Gerhard Moritz geboren op 13 mei 1951 te Potsdam-Babelsberg druk: Bloembergen Santee bv, Nijmegen Promotor: Prof. C.H.A. Koster ISBN 90-9002752-1 © 1989, M. Moritz, The Netherlands I am grateful to many present and former members of the Nijmegen Informatics Department for numerous constructive dis cussions and for their comments on earlier drafts of this thesis. Contents Contents 1 1 Introduction 5 1.1 A Personal View 6 1.2 Description and Implementation 9 1.2.1 Syntax of Programming Languages 10 1.2.2 Semantics of Programming Languages ... 11 1.2.3 Static Semantics of Programming Languages 12 1.3 Our Aim 13 1.4 Overview 14 1.5 Related Work 15 2 Posets and Lattices 19 2.1 Partially Ordered Sets 19 2.2 Functions on Partially Ordered Sets 24 2.3 Construction of Posets 25 2.4 Lattices 29 2.5 Construction of Complete Lattices 31 2.6 Reflexive Lattices 34 1 2 CONTENTS 2.7 Functions on Lattices 35 2.8 Fixed Points 38 3 Description of Systems by Graphs 41 3.1 Graphs and Systems 42 3.1.1 Graph Schemes 42 3.1.2 Graph Structures 44 3.2 Functions on Graphs . -
The History of the ALGOL Effort
Technische Universiteit Eindhoven Department of Mathematics and Computer Science The History of the ALGOL Effort by HT de Beer supervisors: C. Hemerik L.M.M. Royakkers Eindhoven, August 2006 Abstract This report studies the importancy of the ALGOL effort for computer science. Therefore the history of the ALGOL effort is told, starting with the compu- tational context of the 1950s when the ALGOL effort was initiated. Second, the development from IAL to ALGOL 60 and the role the BNF played in this development are discussed. Third, the translation of ALGOL 60 and the establishment of the scientific field of translator writing are treated. Finally, the period of ALGOL 60 maintenance and the subsequent period of creating a successor to ALGOL 60 are described. ii Preface This history on the ALGOL effort was written as a Master thesis in Com- puter Science and Engineering (Technische Informatica) at the Eindhoven University of Technology, the Netherlands. iii Contents Abstract ii Preface iii Contents iv 0 Introduction 1 0.0 On the sources used ........................ 2 0.1 My own perspective ........................ 3 0.2 The ALGOL effort: a definition .................. 4 0.3 Notes ................................ 4 1 Creation 5 1.0 The start of the ALGOL effort ................... 5 1.1 The need for a universal algorithmic language ........... 7 1.1.0 The American field of computing ............. 7 1.1.1 The European field of computing ............. 9 1.1.2 The difference between Europe and the USA and the need for universalism ...................... 11 1.2 Why was IAL chosen over other algorithmic languages? ..... 11 1.2.0 IT ............................ -
Musical Practices in the Balkans: Ethnomusicological Perspectives
MUSICAL PRACTICES IN THE BALKANS: ETHNOMUSICOLOGICAL PERSPECTIVES МУЗИЧКЕ ПРАКСЕ БАЛКАНА: ЕТНОМУЗИКОЛОШКЕ ПЕРСПЕКТИВЕ СРПСКА АКАДЕМИЈА НАУКА И УМЕТНОСТИ НАУЧНИ СКУПОВИ Књига CXLII ОДЕЉЕЊЕ ЛИКОВНЕ И МУЗИЧКЕ УМЕТНОСТИ Књига 8 МУЗИЧКЕ ПРАКСЕ БАЛКАНА: ЕТНОМУЗИКОЛОШКЕ ПЕРСПЕКТИВЕ ЗБОРНИК РАДОВА СА НАУЧНОГ СКУПА ОДРЖАНОГ ОД 23. ДО 25. НОВЕМБРА 2011. Примљено на X скупу Одељења ликовне и музичке уметности од 14. 12. 2012, на основу реферата академикâ Дејана Деспића и Александра Ломе У р е д н и ц и Академик ДЕЈАН ДЕСПИЋ др ЈЕЛЕНА ЈОВАНОВИЋ др ДАНКА ЛАЈИЋ-МИХАЈЛОВИЋ БЕОГРАД 2012 МУЗИКОЛОШКИ ИНСТИТУТ САНУ SERBIAN ACADEMY OF SCIENCES AND ARTS ACADEMIC CONFERENCES Volume CXLII DEPARTMENT OF FINE ARTS AND MUSIC Book 8 MUSICAL PRACTICES IN THE BALKANS: ETHNOMUSICOLOGICAL PERSPECTIVES PROCEEDINGS OF THE INTERNATIONAL CONFERENCE HELD FROM NOVEMBER 23 TO 25, 2011 Accepted at the X meeting of the Department of Fine Arts and Music of 14.12.2012., on the basis of the review presented by Academicians Dejan Despić and Aleksandar Loma E d i t o r s Academician DEJAN DESPIĆ JELENA JOVANOVIĆ, PhD DANKA LAJIĆ-MIHAJLOVIĆ, PhD BELGRADE 2012 INSTITUTE OF MUSICOLOGY Издају Published by Српска академија наука и уметности Serbian Academy of Sciences and Arts и and Музиколошки институт САНУ Institute of Musicology SASA Лектор за енглески језик Proof-reader for English Јелена Симоновић-Шиф Jelena Simonović-Schiff Припрема аудио прилога Audio examples prepared by Зоран Јерковић Zoran Jerković Припрема видео прилога Video examples prepared by Милош Рашић Милош Рашић Технички -
THE INTERNATIONAL WORKSHOP on BALTO-SLAVIC ACCENTOLOGY – Iwoba IX
THE INTERNATIONAL WORKSHOP ON BALTO-SLAVIC ACCENTOLOGY – IWoBA IX JURAJ DOBRILA UNIVERSITY – PULA, CROATIA 19–21 September 2013 The International Workshop on Balto-Slavic Accentology (IWoBA) is an annual international conference on comparative and historical Balto-Slavic accentology, including the prehistory and history of the separate Baltic and Slavic languages, as well as synchronic and dialectal issues that have to do with accentology. Its objective is to bring together linguists who are engaged in research and study of Balto-Slavic accentuation so that they may exchange and share their theories and research results. The first conference was held in Zagreb, 1–3 July 2005, with contributions by some of the world's foremost Balto-Slavists, Baltologists and Slavists, organized by Ranko Matasović and Mate Kapović. It proved to be an immense success and was thus followed by IWoBA II (in Copenhagen, 1–3 September 2006, organized by Thomas Olander, Adam Hyllested and Jenny Helena Larsson), IWoBA III (in Leiden, 27–29 July 2007, organized by Tijmen Pronk, proceedings edited by Rick Derksen and Tijmen Pronk), IWoBA IV (in Scheibbs, 2–3 July 2008, organized by Elena Stadnik- Holzer), IWoBA V (in Opava, 7–10 July 2009, organized by Roman Sukač), IWoBA VI (in Vilnius, 7–10 July 2010, organized by Vytautas Rinkevičius), IWoBA VII (in Moscow, 7–10 July 2011, organized by Mikhail Oslon) and IWoBA VIII (in Novi Sad, 6–8 July 2012, organized by Dragana Novakov). IWoBA IX will take place at Juraj Dobrila University, Pula (Croatia), on 19th–21st September 2013. The deadline for abstract submission is 1st June 2013. -
CHRZEŚCIJAŃSKIE DZIEDZICTWO DUCHOWE NARODÓW SŁOWIAŃSKICH Wydawca: Temida 2 Przy Współpracy I Wsparciu Finansowym Wydziału Filologicznego Uniwersytetu W Białymstoku
CHRZEŚCIJAŃSKIE DZIEDZICTWO DUCHOWE NARODÓW SŁOWIAŃSKICH Wydawca: Temida 2 Przy współpracy i wsparciu finansowym Wydziału Filologicznego Uniwersytetu w Białymstoku Redaktor Naukowy Wydawnictwa Temida 2: Cezary Kosikowski Rada Naukowa Wydawnictwa Temida 2: Przewodniczący Rady Naukowej Wydawnictwa Temida 2: Emil W. Pływaczewski Członkowie z Uniwersytetu w Białymstoku: Stanisław Bożyk, Leonard Etel, Ewa M. Guzik ‑Makaruk, Adam Jamróz, Dariusz Kijowski, Cezary Kosikowski, Cezary Kulesza, Jarosław Ławski, Agnieszka Malarewicz ‑Jakubów, Maciej Perkowski, Stanisław Prutis, Eugeniusz Ruśkowski, Walerian Sanetra, Joanna Sieńczyło ‑Chlabicz, Ryszard Skarzyński, Halina Święczkowska, Jaroslav Volkonovski, Mieczysława Zdanowicz Członkowie z Polski: Marian Filar (Uniwersytet Mikołaja Kopernika w Toruniu), Edward Gniewek (Uniwersytet Wrocławski), Lech Paprzycki (Sąd Najwyższy) Członkowie zagraniczni: Lidia Abramczyk (Państwowy Uniwersytet im. Janki Kupały w Grodnie, Białoruś), Vladimir Babčak (Uniwersytet w Koszycach, Słowacja), Renata Almeida da Costa (Uniwersytet La Salle, Brazylia), Chris Eskridge (Uniwersytet w Nebrasce, USA), José Luis Iriarte Ángel (Uniwersytet Navarra, Hiszpania), Marina Karasjewa (Uniwersytet w Woroneżu, Rosja), Bernhard Kitous (Uniwersytet w Rennes, Francja), Martin Krygier (Uniwersytet w Nowej Południowej Walii, Australia), Petr Mrkyvka (Uniwersytet Masaryka, Czechy), Marcel Alexander Niggli (Uniwersytet we Fryburgu, Szwajcaria), Andrej A. Novikov (Państwowy Uniwersytet w Sankt Petersburgu, Rosja), Sławomir Redo (Uniwersytet -
Wintersemester 2005/06
UNIVERSITÄT WIEN PHILOLOGISCH-KULTURWISSENSCHAFTLICHE FAKULTÄT INSTITUT FÜR SLAWISTIK INSTITUTSBERICHT FÜR DAS AKADEMISCHE JAHR 2017/2018 (Berichtszeitraum: 01.10.2017 bis 30.09.2018) zusammengestellt von Mag. Sylvia Richter im Auftrag von Univ.-Prof. Dr. Fedor POLJAKOV Institutsvorstand April 2019 Inhalt 1. Mitarbeiterinnen und Mitarbeiter ....................................................................................... 3 2. Lehre .................................................................................................................................. 5 2.1. HörerInnenstatistik ...................................................................................................... 5 2.1.1. HörerInnen WS 2017 ............................................................................................... 5 2.1.2. HörerInnen SoSe 2018 ............................................................................................. 5 2.2. Lehrveranstaltungen .................................................................................................... 5 2.2.1. Wintersemester 2017 ................................................................................................ 5 Lehrveranstaltungen aus dem Bachelorprogramm ............................................................. 5 Lehrveranstaltungen aus dem Masterprogramm ................................................................ 7 Lehrveranstaltungen aus der Fachdidaktik ......................................................................... 8 Fachtutorien und -
Van Wijngaarden Grammars, Metamorphism and K-Ary Malwares
Van Wijngaarden grammars, metamorphism and K-ary malwares. Gueguen Geoffroy ESIEA Laval Laboratoire de cryptologie et de virologie opérationelles (C + V )O, 38 rue des Dr Calmette et Guérin 53000 Laval, France [email protected] October 28, 2018 Abstract recognizers of a language are known. Van Wijngaarden grammars are different than the one Grammars are used to describe sentences structure, which fall in Chomsky’s classification. Their writing thanks to some sets of rules, which depends on the is particular, and above all, their production process is grammar type. A classification of grammars has been quite different than the grammars in Chomsky’s hierar- made by Noam Chomsky, which led to four well-known chy. We will see that these grammars may be used as types. Yet, there are other types of grammars, which do “code translators”. They indeed have some rules which not exactly fit in Chomsky’s classification, such as the allow them to be very expressive. two-level grammars. As their name suggests it, the main idea behind these grammars is that they are composed of two grammars. 2 Metamorphism vs. Polymor- Van Wijngaarden grammars, particularly, are such phism grammars. They are interesting by their power (expres- siveness), which can be the same, under some hypothe- The difference between polymorphism and metamor- ses, as the most powerful grammars of Chomsky’s clas- phism is often not very clear in people’s mind, so we sification, i.e. Type 0 grammars. Another point of inter- describe it quickly in this section. est is their relative conciseness and readability. -
Inductive Types in Constructive Languages
UNIVERSITY OF GRONINGEN Inductive Types in Constructive Languages Peter J. de Bruin March 24, 1995 Abstract Logic grammar is used to partly define a formal mathematical language “ADAM”, that keeps close to informal mathematics and yet is reducible to a foundation of Constructive Type Theory (or Generalized Typed Lambda Calculus). This language is employed in making a study of inductive types and related subjects, as they appear in languages for constructive mathematics and lambda calculi. The naturality property of objects with type parameters is described and employed. Cover diagram Behold the mathematical universe, developing from original unity into categorical duality. The central beam contains the initial and the final type, together with the remaining flat finite types. It is flanked by the dual principles of generalized sum and product, and of initial and final fixed point construction. Printed by: Stichting Drukkerij C. Regenboog, Groningen. RIJKSUNIVERSITEIT GRONINGEN Inductive Types in Constructive Languages Proefschrift ter verkrijging van het doctoraat in de Wiskunde en Natuurwetenschappen aan de Rijksuniversiteit Groningen op gezag van de Rector Magnificus Dr. F. van der Woude in het openbaar te verdedigen op vrijdag 24 maart 1995 des namiddags te 4.00 uur door Peter Johan de Bruin geboren op 20 september 1964 te Harderwijk Promotor: Prof. dr. G. R. Renardel de Lavalette Preface The fascination for mathematical truth has been the driving force for my research as it had been for my master’s thesis written in Nijmegen. Being amazed at the lack of a general language for the irrefutable expression of mathematical argument, I looked for it in the direction of what is called Type Theory. -
An Abstract of a Thesis Properties of Infinite
AN ABSTRACT OF A THESIS PROPERTIES OF INFINITE LANGUAGES AND GRAMMARS Matthew Scott Estes Master of Science in Mathematics Traditionally, languages are described as infinite sets, in this thesis, methods for specifying infinite grammars are explored. The effects of an infinite grammar on the language specified are examined along with several proofs. The relationship between grammars and semantics to specify the behaviour of formal systems is also explored. PROPERTIES OF INFINITE LANGUAGES AND GRAMMARS A Thesis Presented to the Faculty of the Graduate School Tennessee Technological University by Matthew Scott Estes In Partial Fulfillment of the Requirements for the Degree MASTER OF SCIENCE Mathematics May 2005 Copyright c Matthew Scott Estes, 2005 All rights reserved CERTIFICATE OF APPROVAL OF THESIS PROPERTIES OF INFINITE LANGUAGES AND GRAMMARS by Matthew Scott Estes Graduate Advisory Committee: Alex Shibakov, Chairperson date Jeff Norden date Allan Mills date Mike Rogers date Approved for the Faculty: Francis Otuonye Associate Vice-President for Research and Graduate Studies Date iii STATEMENT OF PERMISSION TO USE In presenting this thesis in partial fulfillment of the requirements for a Master of Science degree at Tennessee Technological University, I agree that the University Library shall make it available to borrowers under rules of the Library. Brief quota- tions from this thesis are allowable without special permission, provided that accurate acknowledgment of the source is made. Permission for extensive quotation from or reproduction of this thesis may be granted by my major professor when the proposed use of the material is for scholarly purposes. Any copying or use of the material in this thesis for financial gain shall not be allowed without my written permission. -
Science, Mathematics, Computer Science, Software Engineering†
© The Author 2011. Published by Oxford University Press on behalf of The British Computer Society. All rights reserved. For Permissions, please email: [email protected] Advance Access publication on 12 September 2011 doi:10.1093/comjnl/bxr090 Science, Mathematics, Computer Science, Software Engineering† Dick Hamlet∗ Department of Computer Science, Portland State University, Portland, OR 97207, USA ∗Corresponding author: [email protected] This paper examines three ideas: First, the traditional relationship between a science, the mathematics it uses and the engineering based on it. Second, the nature of (software) computer science, which Downloaded from may not be a science at all, and its unusual use of mathematics. And finally, the nature of software engineering, its relationship with computer science, and its use of mathematics called ‘formal methods’. These three ideas turn on the first of them, since the scientific world view seems natural for the study of computing. The paper’s thesis is that while software touches science in many ways, it does not itself have a significant scientific component. For understanding programming, for teaching it and for applying it in the world, science is the wrong model. Mathematics has found its own foundations http://comjnl.oxfordjournals.org/ apart from science, and computer science must do the same. Keywords: science; engineering; philosophy; computing Received 28 April 2011; revised 11 August 2011 Handling editor: Mark Josephs at Portland State University on July 21, 2016 1. TRADITIONAL SCIENCE AND ENGINEERING engineering, where the Fourier and Laplace transforms are used (AND MATHEMATICS) to convert differential equations into algebra. Where a physicist understands an electronic circuit as a set of simultaneous In the well-ordered scientific world that began with Galileo differential equations, an electrical engineer can describe the and Newton, the disciplines of science, mathematics and circuit without calculus.2 engineering subdivide the intellectual space and support each other. -
Iso/Iec Standard
INTERNATIONAL ISO/IEC STANDARD First edition 1996-l 2-l 5 Information technology - Syntactic metalanguage - Extended BNF Technologies de /‘information - Mbtalangage syntaxique - BNF &endu Reference number ISO/IEC 14977:1996(E) ISO/IEC 14977 : 1996(E) Contents Page Foreword ............................................. Introduction ........................................... 1 Scope .............................................. 2 Normative references .................................. 3 Definitions .......................................... 4 The form of each syntactic element of Extended BNF .......... 4.1 General ......................................... 2 4.2 Syntax ......................................... 2 4.3 Syntax-rule ...................................... 2 4.4 Definitions-list .................................... 2 4.5 Single-definition ................................... 2 4.6 Syntactic-term .................................... 2 4.7 Syntactic exception ................................ 2 4.8 Syntactic-factor ................................... 2 4.9 Integer ......................................... 2 4.10 Syntactic-primary .................................. 2 4.11 Optional-sequence ................................. 3 4.12 Repeated sequence ................................. 3 4.13 Grouped sequence ................................. 3 4.14 Meta-identifier .................................... 3 4.15 Meta-identifier-character ............................. 3 4.16 Terminal-string. ................................... 3 4.17 First-terminal-character