Diagrams and Gestures, La Mantia

Автор: Moktefi Amirouche
Название: Visual Reasoning with Diagrams
ISBN: 3034805993 ISBN-13(EAN): 9783034805995
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book examines the logical status of diagrams-in order to advance the goal of universal logic by exploring common and/or unique features of visual reasoning.

Автор: Stachowiak-Szymczak Katarzyna
Название: Eye Movements and Gestures in Simultaneous and Consecutive Interpreting
ISBN: 3030194450 ISBN-13(EAN): 9783030194451
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book addresses eye movements and gestures as markers of language comprehension and production in interpreting as the "visible embodiment" of cognitive processing in simultaneous and consecutive interpreting.

Автор: George Englebretsen
Название: Figuring It Out: Logic Diagrams
ISBN: 3110621630 ISBN-13(EAN): 9783110621631
Издательство: Walter de Gruyter
Цена: 123910.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book begins with an extensive survey of the history of logic diagrams, including looking at possible diagrams from Aristotle, the development of both linear and closed figure diagrams by Leibniz, Lambert, Euler, Venn’s new system, Peirce’s Existential Graphs, and Frege’s two-dimensional notation as a kind of logic diagram system. During most of the 20 th century, there was little regard for efforts to construct logic diagrams. However, since the 1980s there has been an increasing interest in such diagrams. Ever larger numbers of philosophers, logicians, mathematicians, computational scientists, and cognitive scientists have turned their attention to building, analyzing, using, or exploring in other ways systems of logic diagrams. The system offered here makes use of line segments and points and it enjoys a number of important advantages: it is simple, natural, and both expressively and inferentially powerful. It can be used to analyze syllogisms (including those involving relational terms) and arguments involving unanalyzed statements. Understanding such a system can shed valuable light on how ordinary people naturally reason.

Автор: Englebretsen George
Название: Figuring It Out
ISBN: 3110763354 ISBN-13(EAN): 9783110763355
Издательство: Walter de Gruyter
Рейтинг:
Цена: 29420.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

The book begins with an extensive survey of the history of logic diagrams, including looking at possible diagrams from Aristotle, the development of both linear and closed figure diagrams by Leibniz, Lambert, Euler, Venn’s new system, Peirce’s Existential Graphs, and Frege’s two-dimensional notation as a kind of logic diagram system. During most of the 20^th century, there was little regard for efforts to construct logic diagrams. However, since the 1980s there has been an increasing interest in such diagrams. Ever larger numbers of philosophers, logicians, mathematicians, computational scientists, and cognitive scientists have turned their attention to building, analyzing, using, or exploring in other ways systems of logic diagrams. The system offered here makes use of line segments and points and it enjoys a number of important advantages: it is simple, natural, and both expressively and inferentially powerful. It can be used to analyze syllogisms (including those involving relational terms) and arguments involving unanalyzed statements. Understanding such a system can shed valuable light on how ordinary people naturally reason.

Автор: O. Kubaschewski; O. Kubaschewski
Название: IRON—Binary Phase Diagrams
ISBN: 3662080265 ISBN-13(EAN): 9783662080269
Издательство: Springer
Рейтинг:
Цена: 87070.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: When I congratulated him on the well deserved success of his "Aufbau der Zweistoff-Legierungen", he smiled: "yes, it was a struggle with the hydra, and so it has taken me seven years", meaning that whenever he had thought to have finished the phase diagram of a particular system, new evidence would turn up like the new heads of the Greek monster.

Автор: Pavlovic
Название: Programs as Diagrams
ISBN: 3031348265 ISBN-13(EAN): 9783031348266
Издательство: Springer
Рейтинг:
Цена: 79190.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: It is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions. In this unique textbook/reference, programs are drawn as string diagrams in the language of categories, which display a universal syntax of mathematics (Computer scientists use them to analyze the program semantics; programmers to display the syntax of computations). Here, the string-diagrammatic depictions of computations are construed as programs in a single-instruction programming language. Such programs as diagrams show how functions are packed in boxes and tied by strings. Readers familiar with categories will learn about the foundations of computability; readers familiar with computability gain access to category theory. Additionally, readers familiar with both are offered many opportunities to improve the approach. Topics and features: * Delivers a ‘crash’ diagram-based course in theory of computation * Uses single-instruction diagrammatic programming language * Offers a practical introduction into categories and string diagrams as computational tools * Reveals how computability is programmability, rather than an ‘ether’ permeating computers * Provides a categorical model of intensional computation is unique up to isomorphism * Serves as a stepping stone into research of computable categories In addition to its early chapters introducing computability for beginners, this flexible textbook/resource also contains both middle chapters that expand for suitability to a graduate course as well as final chapters opening up new research. Dusko Pavlovic is a professor at the Department of Information and Computer Sciences at the University of Hawaii at Manoa, and by courtesy at the Department of Mathematics and the College of Engineering. He completed this book as an Excellence Professor at Radboud University in Nijmegen, The Netherlands.

Автор: Yau, Donald
Название: Operads of wiring diagrams
ISBN: 3319950002 ISBN-13(EAN): 9783319950006
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Wiring diagrams form a kind of graphical language that describes operations or processes with multiple inputs and outputs, and shows how such operations are wired together to form a larger and more complex operation. This monograph presents a comprehensive study of the combinatorial structure of the various operads of wiring diagrams, their algebras, and the relationships between these operads.The book proves finite presentation theorems for operads of wiring diagrams as well as their algebras. These theorems describe the operad in terms of just a few operadic generators and a small number of generating relations. The author further explores recent trends in the application of operad theory to wiring diagrams and related structures, including finite presentations for the propagator algebra, the algebra of discrete systems, the algebra of open dynamical systems, and the relational algebra. A partial verification of David Spivak’s conjecture regarding the quotient-freeness of the relational algebra is also provided. In the final part, the author constructs operad maps between the various operads of wiring diagrams and identifies their images. Assuming only basic knowledge of algebra, combinatorics, and set theory, this book is aimed at advanced undergraduate and graduate students as well as researchers working in operad theory and its applications. Numerous illustrations, examples, and practice exercises are included, making this a self-contained volume suitable for self-study.

Автор: Dan Marsden, Ralf Hinze
Название: Introducing String Diagrams: The Art of Category Theory
ISBN: 1009317865 ISBN-13(EAN): 9781009317863
Издательство: Cambridge Academ
Рейтинг:
Цена: 42230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: String diagrams are powerful graphical methods for reasoning in elementary category theory. Written in an informal expository style, this book provides a self-contained introduction to these diagrammatic techniques, ideal for graduate students and researchers. Much of the book is devoted to worked examples highlighting how best to use string diagrams to solve realistic problems in elementary category theory. A range of topics are explored from the perspective of string diagrams, including adjunctions, monad and comonads, Kleisli and Eilenberg–Moore categories, and endofunctor algebras and coalgebras. Careful attention is paid throughout to exploit the freedom of the graphical notation to draw diagrams that aid understanding and subsequent calculations. Each chapter contains plentiful exercises of varying levels of difficulty, suitable for self-study or for use by instructors.

Автор: Katarzyna Stachowiak-Szymczak
Название: Eye Movements and Gestures in Simultaneous and Consecutive Interpreting
ISBN: 3030194426 ISBN-13(EAN): 9783030194420
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book addresses eye movements and gestures as markers of language comprehension and production in interpreting as the 'visible embodiment' of cognitive processing in simultaneous and consecutive interpreting. It discusses conference interpreting as a complex, multimodal activity where language processing is not restricted to auditory perception and oral production, highlighting the complexity of interpreting and exploring possible strategies that can be used by professional interpreters and students to make their work easier and more accurate.