Normalization, Cut-Elimination and the Theory of ProofsA.M. UngarIntroduction 1 Background 2 Comparing NJ with LJ 3 Natural Deduction Revisited 4 The Problem of Substitution 5 A Multiple-Conclusion Calculus 6 Reduction Procedures 7 Correspondence Results 8 Interpretations of Derivations Appendices A. A Strong Cut-Elimination Theorem for LJ B. A Formulation of the Classical Sequent Calculus C. Proofs and Categories

Set TheoryThomas JechPart I. Sets 1. Axiomatic Set Theory 2. Transitive Models of Set Theory Part II. More Sets 3. Forcing and Generic Models 4. Some Applications of Forcing Part III. Large Sets 5. Measurable Cardinals 6. Other Large Cardinals Part IV. Sets of Reals 7. Descriptive Set Theory

Tense LogicRobert P. McArthur1. An Overview of Tense Logic 2. Linear Tense Logics 3. Branching Tense Logic and Temporal Modality 4. Quantificational Tense Logics 5. Soundness and Completeness Theorems for Tense Logic

Mathematical BafflersAngela Fox Dunn (Ed.)1. Say it with letters 2. Axioms, angles, and arcs 3. Solving in integers 4. The data seekers 5. Minding your P's and Q's 6. Now you see it 7. Permutations, partitions, and primes

De Consequenties van: 1 = 1Lancelot HogbenWiskunde - óók voor u! Met een voorwoord van Dr. M. Euwe I. Wiskunde, de spiegel der beschaving II. De eerste metingen III. De grammatica van grootte, rang en getal IV. Meetkunde zonder tranen V. Van crisis tot kruiswoordraadsel VI. De omvang van de aarde VII. De dageraad van niets VIII. De aarde gemeten IX. De meetkunde der hervorming X. De collectivisatie der rekenkunde XI. De rekenkunde van groei en vorm XII. De algebra van het schaakbord en het sp...

Inleiding tot de leer der verzamelingenB.P. Haalmeijer en J.H. SchogtDeel 1. Algemeene verzamelingsleer I. Cardinaalgetallen II. Ordinaalgetallen III. Ordegetallen Deel 2. Leer der puntverzamelingen IV. Algemeene beschouwingen V. Gesloten en perfecte puntverzamelingen VI. Inhoud en maat. Inwendige grensverzamelingen

Vraagstukken over de Hoogere AlgebraJ.J.C. WestendorpI. Permutaties en Combinaties II. Determinanten III. Stelsels vergelijkingen van den eersten graad IV. Complexe getallen en meetkundige toepassingen V. Hoogeremachtsvergelijkingen VI. Splitsing van rationale breuken VII. Rekenkundige reeksen van hoogere orde VIII. Reeksen en Grenswaarden IX. Kettingbreuken X. Symmetrische functies XI. Eliminatie XII. Transcendente functies voor complexe waarden van de veranderlijke

Handboek der wiskunde 1Dr. L. Kuipers en Dr. R. Timman (red)I. Uit de geschiedenis der wiskunde - Dr. C.H. van Os II. Getallenstelsels - Dr. F. Loonstra III. Lineaire algebra - Dr. F. Loonstra IV. Analytische meetkunde - Dr. F. Loonstra V. Analyse - Dr. B. Meulenbeld VI. Getallenrijen - reeksen - Dr. L. Kuipers VII. Functietheorie - Dr. H.J.A. Duparc VIII. Gewone differentiaalvergelijkingen - Dr. S.C. van Veen IX. Bijzondere functies - Dr. S.C. van Veen X. Vectoranalyse - Dr. R. Timman XI. Parti...

Beknopt leerboek der differentiaal- en integraalrekeningDr. N.G. de Bruijnten behoeve van het onderwijs aan hogere technische scholen I. Het reële getal en het limietbegrip II. Functies van één veranderlijke III. Differentiaalquotiënten IV. Differentiatie van machtsfuncties en van exponentiële en logarithmische functies V. Bepaalde en onbepaalde integralen VI. Reeksen VII. Functies van twee veranderlijken VIII. Differentiaalvergelijkingen IX. Complexe getallen

Analyse voor propaedeutische examens 1Dr. B. Meulenbeld, Dr. W.K. Baart1. Beginselen van de differentiaal- en integraalrekening 2. Complexe getallen 3. Extreme waarden. Het schetsen van krommen 4. Systematische berekening van de primitieven van enige groepen van functies 5. Oneigenlijke integralen 6. Rijen 7. Reeksen 8. Vergelijkingen

Analyse voor propaedeutische examens 2Dr. B. Meulenbeld, Dr. W.K. Baart1. Funkties van twee veranderlijken 2. Extreme waarden 3. Meervoudige integralen 4. Toepassingen van de integraalrekening op het berekenen van oppervlakten en inhouden 5. Vlakke krommen 6. Massa, zwaartepunt, traagheidsmoment 7. Ruimtekrommen 8. Differentiaalvergelijkingen

Inleiding in de analytische meetkunde en de lineaire algebra 1Dr. A. van Heemert, Dr. L.R.J WestermannI Translaties, plaatsvecoren en parametervoorstellingen II Meetkundige interpretatie van lineaire vergelijkingen; afstanden; oppervlakten en inhouden III Cirkel en bol IV Afbeeldingen V Meetkundige plaatsen

Leerboek der Differentiaal- en Integraalrekening, en van de theorie der Differentiaalvergelijkingen IIDr. Hk. de VriesI. Theorie der bepaalde integralen II. Aanvulling van de leer der dubbele en meervoudige integralen. Lijn- en oppervlakintegralen III. De integralen van Euler, of de Bêta- en Gammafunctie IV. Oneindige reeksen. Niet differentieerbare functies. De reeks van Euler V. Elliptische integralen en functies VI. Functies van één complexe variabele VII. Integralen en reeksen van functie...

Het algebra-onderwijs in de eerste vier klassen van het V.H.M.O.Voordrachten gehouden op het Conferentieweekeinde van de Wiskunde Werkgroep van de W.V.O. Conferentieoord 'De Grasheuvel' Amersfoort, 12-13 november 1960 Bijdragen van Dr. P.G.J. Vredenduin, C.J. Alders, Dr. W.J. Bos, Dr. P.M. van Hiele, Prof. Dr. M. Minnaert

Report on the Relations between Arithmetic and AlgebraDr. Hans Freudenthal (Ed.)I. Joh.H. Wansink - Arithmetic and algebra in the Dutch school system II. Hans Freudenthal - Logical analysis and critical survey III. W.J. Bos - Stimulating and motivating the student IV. P.M. van Hiele - The relation between theory and problems in arithmetic and algebra V. Joh.H. Wansink - The extensions of the number concept; the properties of the operations VI. H. Streefkerk - The introduction and the use of lett...

Euclides special "Statistiek en kansrekenng"pecial "Statistiek en kansrekenng"

Honderd jaar WiskundeonderwijsFred Goffree, Martinus van Hoorn, Bert ZwaneveldEen jubileumboek In Honderd jaar Wiskundeonderwijs wordt vanuit vele invalshoeken door verschillende auteurs over de veranderingen in alle categorieën van het voortgezet onderwijs geschreven. Aan het woord zijn leerlingen, oud-leerlingen, leraren en oud-leraren, opleiders van leraren, leerplanontwikkelaars, schoolboekauteurs, wiskundedidactici en zij die van de geschiedenis van de wiskunde en het wiskundeonderwijs hun...

Actoren en factoren achter het wiskundecurriculum sinds 1600Jenneke KrügerProefschrift I Inleiding II De Duytsche Mathematiue in Leiden, 1600–1681 III De Fundati van Renswoude in Utrecht, 1756–1810 IV De HBS in Nederland, 1863–1900 V Lessen voor de 21e eeuw

Wiskundeonderwijs nuBram LagerwerfEen op de praktijk gerichte didactische handreiking aan wiskundeleraren 0. Inleiding 1. Getallen 2. Vergelijkingen 3. Verzamelingen 4. Functies 5. Voorbeelden geven 1 6. Wiskunde tastbaar maken 7. Denken, leren en onthouden; schema's 1 8. Wie heeft welk probleem? 9. Beginnen 10. De niveautheorie van Van Hiele 11. Activiteiten van de leerling, die tot leren leiden 12. Uitleggen 13. Wie doet het werk in de klas? 14. Verwerken 15. Een lesplan maken 16. Waar doe je ...

The Elements of Mathematical LogicPaul RosenbloomI. The Logic of Classes II. The Logic of Propositions III. The Logic of Proposional Functions IV. The General Syntax of Language