Philip Scott - Böcker

This book focuses on the talk of science classrooms and in particular on the ways in which the different kinds of interactions between teachers and students contribute to meaning making and learning. Central to the text is a new analytical framework for characterising the key features of the talk of school science classrooms. This framework is based on sociocultural principles and links the work of theorists such as Vygotsky and Bakhtin to the day-to-day interactions of contemporary science classrooms. *presents a framework, based on sociocultural theory, for analysing the language of teaching and learning interactions in science classrooms*provides detailed examples and illustrations of insights gained from applying the framework to real science lessons in Brazil and the UK.*demonstrates how these ways of thinking about classroom talk can be drawn upon to inform the professional development of science teachers.*offers an innovative research methodology, based on sociocultural theory, for analysing classroom talk.*expands upon the ways in which sociocultural theory has been systematically applied to analysing classroom contexts.This book offers a powerful set of tools for thinking and talking about the day-to-day practices of contemporary science classrooms. It contains messages of fundamental importance and insight for all of those who are interested in reflecting on the interactions of science teaching and learning, whether in the context of teaching, higher degree study, or research.

Linear logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical connectives, and the concepts of polarity and focalisation. These various aspects are illustrated here through introductory tutorials as well as more specialised contributions, with a particular emphasis on applications to computer science: denotational semantics, lambda-calculus, logic programming and concurrency theory. The volume is rounded-off by two invited contributions on new topics rooted in recent developments of linear logic. The book derives from a summer school that was the climax of the EU Training and Mobility of Researchers project 'Linear Logic in Computer Science'. It is an excellent introduction to some of the most active research topics in the area.