Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Advances in proof theory / / edited by Reinhard Kahle, Thomas Strahm, Thomas Studer
| Advances in proof theory / / edited by Reinhard Kahle, Thomas Strahm, Thomas Studer |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2016 |
| Descrizione fisica | 1 online resource (430 p.) |
| Disciplina | 511.3 |
| Collana | Progress in Computer Science and Applied Logic |
| Soggetto topico |
Logic, Symbolic and mathematical
Logic Mathematical Logic and Foundations |
| ISBN | 3-319-29198-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | W. Buchholz: A survey on ordinal notations around the Bachmann-Howard ordinal -- A. Cantini: About truth and types -- R. Dyckhoff: Intuitionistic decision procedures since Gentzen -- S. Feferman: The operational perspective -- R. Gore: Formally verified proof-theory using Isabelle/HOL -- P. Minari: Analytic equational proof systems for combinatory logic and lambda calculus -- W. Pohlers: From subsystems of classical analysis to subsystems of set theory - a personal account -- M. Rathjen: Ordinal analysis and witness extraction -- P. Schuster: Logic completeness via open induction -- H. Schwichtenberg: On the computational content of Higman's lemma -- P. Schroeder-Heister: TBA -- A. Setzer: TBA -- S. Wainer: On weak "pointwise" induction, and a miniaturized predicativity. |
| Record Nr. | UNINA-9910254060903321 |
| Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
IDT 2017 . Band 1 : Hauptvorträge / / edited by Elisabeth Peyer, Thomas Studer
| IDT 2017 . Band 1 : Hauptvorträge / / edited by Elisabeth Peyer, Thomas Studer |
| Pubbl/distr/stampa | Berlin : , : Erich Schmidt Verlag, , 2018 |
| Descrizione fisica | 1 online resource (225 pages) |
| Disciplina | 438.007 |
| Soggetto topico | German philology - Study and teaching |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Nota di contenuto | Einleitung -- Ingo Thonhauser, Thomas Studer und Elisabeth Peyer 7 -- Entwicklungslinien des Fachs Deutsch als Fremd- und Zweitsprache - wo stehen -- wir heute und wo woll(t)en wir hin? -- Claudia Riemer 9 -- Erntezeit!? Streiflichter auf aktuelle Arbeitsfelder der Fremdsprachendidaktik -- Thomas Studer. 20 -- Stand und Perspektiven linguistischer Plurizentrik und mögliche Konsequenzen für -- Deutsch als Fremdsprache/Deutsch als Zweitsprache -- Regula Schmidlin 35 -- Zur Übertragbarkeit früherer Sprachlern erfahrungen in den L3-Deutschunterricht -- Åsta Haukås 48 -- Mehrsprachige Textkompetenz weiterentwickeln: Professionelles und akademisches Schreiben in der L2 Deutsch -- Sabine Dengscherz 59 -- Kinder- und Jugendliteratur in mehreren Sprachen . Möglichkeiten der Verbindung -- von literarischer und sprachlicher Bildung im DaZ-Unterricht -- Ulrike Eder 69 -- Umgang mit Sachtexten im CLIL-Unterricht . Ein Beispiel anhand des Faches -- Biologie -- Sandra Drumm 80 -- Der rezeptive Wortschatzbedarf im Deutschen als Fremdsprache -- Erwin Tschirner 98 -- Grammatik, Kommunikation, Inhalt - Freunde, nicht Gegner -- Dietmar Rösler 112 -- Differenzierung fördern mit digitalen Medien . Neue und weniger neue Ansätze für -- den Einsatz digitaler Medien im DaF/DaZ-Unterricht -- Nicola Würffel 123 -- Kulturwissenschaftliche Konzepte der Kulturvermittlung - Erinnerungsorte, -- Symbolische Kompetenz, Diskursive Landeskunde, Linguistic Landscapes -- Simone Schiedermair 140 -- Überprüfung interkultureller Kompetenzen im Fremdsprachenunterricht - ein aussichtsloses Unterfangen? Empirisch fundierte Beurteilungs raster zur Auswertung -- interkultureller Reflexionen -- Jan-Oliver Eberhardt 149 -- Welche fachdidaktische Kompetenz brauchen Lehrende? Einige Antworten im -- Blick auf die Textarbeit im Fremdsprachenunterricht -- Ingo Thonhauser 163 -- Was Lehrende heute können müssen . Herausforderungen für die Lehrer/innenausbildung -- Ilona Feld-Knapp 175 -- Aus- und Weiterbildung von Lehrenden für Deutsch als Fremdsprache in Japan . -- Bestandsaufnahme und Ausblicke -- Tatsuya Ohta 186 -- Nach der kommunikativen Wende - Der DaF-Unterricht an den Westschweizer -- Schulen -- Anton Näf 196 -- Sprachliche Heterogenität und Schule . Überlegungen zum erfolgreichen Scheitern -- sprachpädagogischer Innovationen -- Raphael Berthele 213. |
| Altri titoli varianti | IDT 2017, Band 1 |
| Record Nr. | UNINA-9910576853903321 |
| Berlin : , : Erich Schmidt Verlag, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
IDT 2017, Band 1 : : Hauptvorträge / / Thomas Studer, Elisabeth Peyer
| IDT 2017, Band 1 : : Hauptvorträge / / Thomas Studer, Elisabeth Peyer |
| Pubbl/distr/stampa | [s.l.] : , : Erich Schmidt Verlag, , 2018 |
| Descrizione fisica | 1 electronic resource (225 p.) |
| Soggetto non controllato |
Didaktik
Fremdsprachendidaktik DaF Bildungspolitik Tagung Kultur Fremdsprachen Fortbildung Tagungsband IDT Deutschlehrende Fribourg Resolution |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNINA-9910436250203321 |
| [s.l.] : , : Erich Schmidt Verlag, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
IDT 2017, Band 1 : : Hauptvorträge / / Thomas Studer, Elisabeth Peyer
| IDT 2017, Band 1 : : Hauptvorträge / / Thomas Studer, Elisabeth Peyer |
| Pubbl/distr/stampa | [s.l.] : , : Erich Schmidt Verlag, , 2018 |
| Descrizione fisica | 1 electronic resource (225 p.) |
| Soggetto non controllato |
Didaktik
Fremdsprachendidaktik DaF Bildungspolitik Tagung Kultur Fremdsprachen Fortbildung Tagungsband IDT Deutschlehrende Fribourg Resolution |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNINA-9910833098403321 |
| [s.l.] : , : Erich Schmidt Verlag, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic, Language, Information, and Computation : 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10–13, 2024, Proceedings / / edited by George Metcalfe, Thomas Studer, Ruy de Queiroz
| Logic, Language, Information, and Computation : 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10–13, 2024, Proceedings / / edited by George Metcalfe, Thomas Studer, Ruy de Queiroz |
| Autore | Metcalfe George |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (309 pages) |
| Disciplina | 4 |
| Altri autori (Persone) |
StuderThomas
de QueirozRuy |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Artificial intelligence Computer Hardware Artificial Intelligence |
| ISBN |
9783031626876
9783031626869 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | -- Model Theory of Gödel Logic. -- Nothing is Logical. -- Automata Minimisation in Logical Form. -- Probability and Nondeterminism with Multiset Semantics. -- Theory and Practice of Uniform Interpolation. -- Pride and Probability. -- Strict-Tolerant Conditional Logics. -- A linear proof language for second-order intuitionistic linear logic. -- A Logic of Isolation. -- A simple loopcheck for Intuitionistic K. -- Axiomatising Classical Realisability. -- Obtaining Intersection Types via Finite-Set Declaration. -- Syntactic concept lattice models for infinitary action logic. -- Rules of Partial Orthomodularity. -- Labelled Sequent Calculi for Inquisitive Modal Logics. -- Correspondence theory on vector spaces. -- An EXPTIME-complete entailment problem in separation logic. -- (In)consistency operators on quasi-Nelson algebras. -- Lambek Calculus with Banged Atoms for Parasitic Gaps. -- Completeness of Finitely Weighted Kleene Algebra With Tests . -- Modal Hyperdoctrine: Higher-Order and Non-Normal Extensions. -- Validity in Contexts: A Semantics for Indicatives and Epistemic Modals. -- Logical Expressibility of Syntactic NL for Complementarity and Maximization. -- Polyadic Quantifiers on Dependent Types. |
| Record Nr. | UNINA-9910865249003321 |
Metcalfe George
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||