{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":47,"n_cols":5,"rows_kept":47,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[18,2,18,3],[19,2,19,3],[23,2,23,3],[26,2,26,3],[26,4,26,5],[27,2,27,3],[27,4,27,5],[28,2,28,3],[28,4,28,5],[29,2,29,3],[30,2,30,3],[31,2,31,3],[32,2,32,3],[33,2,33,3],[34,2,34,3],[41,2,41,3],[42,2,42,3],[44,2,44,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996466514003316"]
[null,null,"Autore",null,"Agrachev Andrei A"]
[null,null,"Titolo",null,"Nonlinear and Optimal Control Theory [[electronic resource] ] : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, June 19-29, 2004 / / by Andrei A. Agrachev, A. Stephen Morse, Eduardo D. Sontag, Hector J. Sussmann, Vadim I. Utkin ; edited by Paolo Nistri, Gianna Stefani"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008"]
[null,null,"ISBN",null,"3-540-77653-2"]
[null,null,"Edizione",null,"[1st ed. 2008.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XIV, 360 p. 78 illus.)"]
[null,null,"Collana",null,"C.I.M.E. Foundation Subseries"]
[null,null,"Disciplina",null,"629.8/36"]
[null,null,"Soggetti",null,"System theory"]
[{"$nulls":4},"Calculus of variations"]
[{"$nulls":4},"Differential geometry"]
[{"$nulls":4},"Dynamics"]
[{"$nulls":4},"Ergodic theory"]
[{"$nulls":4},"Systems Theory, Control"]
[{"$nulls":4},"Calculus of Variations and Optimal Control; Optimization"]
[{"$nulls":4},"Differential Geometry"]
[{"$nulls":4},"Dynamical Systems and Ergodic Theory"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","\"Fondazione CIME.\""]
[null,null,null,"Nota di bibliografia","Includes bibliographical references."]
[null,null,"Nota di contenuto",null,"Geometry of Optimal Control Problems and Hamiltonian Systems -- Lecture Notes on Logically Switched Dynamical Systems -- Input to State Stability: Basic Concepts and Results -- Generalized Differentials, Variational Generators, and the Maximum Principle with State Constraints -- Sliding Mode Control: Mathematical Tools, Design and Applications."]
[null,null,null,"Sommario/riassunto","The lectures gathered in this volume present some of the different aspects of Mathematical Control Theory. Adopting the point of view of Geometric Control Theory and of Nonlinear Control Theory, the lectures focus on some aspects of the Optimization and Control of nonlinear, not necessarily smooth, dynamical systems. Specifically, three of the five lectures discuss respectively: logic-based switching control, sliding mode control and the input to the state stability paradigm for the control and stability of nonlinear systems. The remaining two lectures "]
[{"$nulls":4},"are devoted to Optimal Control: one investigates the connections between Optimal Control Theory, Dynamical Systems and Differential Geometry, while the second presents a very general version, in a non-smooth context, of the Pontryagin Maximum Principle. The arguments of the whole volume are self-contained and are directed to everyone working in Control Theory. They offer a sound presentation of the methods employed in the control and optimization of nonlinear dynamical systems."]
[null,"2.","Record Nr.",null,"UNINA9910484276203321"]
[null,null,"Autore",null,"Wolf Karsten"]
[null,null,"Titolo",null,"Präzises Denken für Informatiker / / von Karsten Wolf"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Vieweg, , 2017"]
[null,null,"ISBN",null,"3-662-54973-5"]
[null,null,"Edizione",null,"[1st ed. 2017.]"]
[null,null,"Descrizione fisica",null,"1 online resource (VI, 184 S. 56 Abb.)"]
[null,null,"Disciplina",null,"005.131"]
[null,null,"Soggetti",null,"Logic, Symbolic and mathematical"]
[{"$nulls":4},"Algorithms"]
[{"$nulls":4},"Computer science—Mathematics"]
[{"$nulls":4},"Mathematical Logic and Formal Languages"]
[{"$nulls":4},"Mathematical Logic and Foundations"]
[{"$nulls":4},"Algorithm Analysis and Problem Complexity"]
[{"$nulls":4},"Symbolic and Algebraic Manipulation"]
[null,null,"Lingua di pubblicazione",null,"Tedesco"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"Vorrede -- Erste Bekanntschaft -- Weitere Grundlagen -- Höhere Kunst -- Auf dem Weg zur Meisterschaft -- Wie geht es weiter?."]
[null,null,null,"Sommario/riassunto","Das Lehrbuch befasst sich mit dem präzisen Denken, einer Schlüsselkompetenz im Studium der Informatik. Es bildet die Vorstufe für das Verständnis der logischen Grundfunktionen der Informatik. Das Erlernen der mathematischen Logik ist ein wesentlicher Bestandteil des Grundstudiums, da  das logische Denken in der Informatik auf den gleichen Regeln und Techniken basiert wie in der Mathematik. Der Autor führt umfassend in die Aussagenlogik ein und erklärt unter anderem die Bedeutungen von logischer Äquivalenz, Implikation und Induktion für diesen Fachbereich. Darüber hinaus definiert er den Beweis aus Sicht der Mathematik und stellt grundlegende Beweisstrategien vor, die im Studium benötigt werden. Mit den in diesem Lehrbuch vorgestellten Techniken des präzisen Denkens erwerben die Studenten die Fähigkeit, Begriffe punktgenau zu definieren, Aussagen trennscharf zu formulieren und ihre Richtigkeit angemessen zu begründen. Viele praxisnahe Aufgaben und Lösungshinweise innerhalb der Kapitel erleichtern die Überprüfung und Vertiefung des Lernstoffs. Der Autor richtet sich vornehmlich an Bachelorstudenten der ersten Semester. Sie finden in diesem Werk eine "]
[{"$nulls":4},"optimale Vorbereitung auf die Logik-Seminare ihres Informatikstudiums. Die vermittelten Kompetenzen verbessern dabei nicht nur das Verständnis im Informatik-Studium, sondern sind ebenso für das spätere Berufsleben von großer Bedeutung. Darüber hinaus erhalten auch interessierte Laien mit diesem Buch einen interessanten Einblick in die  Welt der Informatik und Mathematik und lernen, dass die Fähigkeit zu präzisem Denken auch jenseits dieser Fachbereiche hilfreich sein kann. ."]