Cover Image

Logical reasoning.

Show other versions (1)

Logical reasoning, in the context of computing, is essentially a systematic way of going about solving a problem.

Bibliographic Details
Format:	Video
Language:	English
Language Notes:	Closed-captions in English.
Published:	London, United Kingdom : SAGE Publications Ltd., 2015.
Series:	SAGE video shorts.
Subjects:	Computer logic. Computer science > Study and teaching (Elementary) Logique informatique. Informatique > Étude et enseignement (Primaire) Internet videos. Nonfiction television programs. Émissions télévisées autres que de fiction. Vidéos sur Internet.
Online Access:	Connect to this streaming video

Similar Items

Teaching computing to primary age children.
Published: (2015)

Teaching computing to primary age children.
Published: (2015)

Program development in computational logic : a decade of research advances in logic-based program development /
Published: (2004)

Computational thinking.
Published: (2015)

Computational logic--CL 2000 : First International Conference, London, UK, July 2000 : proceedings /
Published: (2000)

Learning language in logic /
Published: (2000)

Computational logic /
Published: (2014)

App for primary science - counting caterpillars with Deborah Herridge.
Published: (2015)

Isabelle/HOL : a proof assistant for higher-order logic /
by: Nipkow, Tobias, 1958-
Published: (2002)

ACM transactions on computational logic.
Published: (2000)

Programming fundamentals : conditional statements.
Published: (2017)

Substructural logics /
Published: (2023)

SIGLOG news.
Published: (2014)

Best practices in action.
Published: (2006)

Logical reasoning.
Published: (2015)

Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop : Aix-en-Provence, France, August 11-22, 1997 : revised lectures /
Published: (1999)

Programming fundamentals : conditionals in for loops.
Published: (2017)

Don't teach coding : until you read this book /
by: Foster, Stephen, 1985-, et al.
Published: (2020)

Challenges for action theories /
by: Thielscher, Michael
Published: (2000)

Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings /
Published: (2001)

Articulating medieval logic /
by: Parsons, Terence
Published: (2014)

Coding.
Published: (2015)

Programming.
Published: (2015)

Problem-solving with electricity.
Published: (2015)

Solving Higher-Order Equations : From Logic to Programming /
by: Prehofer, Christian
Published: (1998)

Types for proofs and programs : International Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers /
Published: (1998)

Fraction wall.
Published: (2015)

Algebra handshake.
Published: (2015)

Home life in far-away lands /
by: Atwood, Wallace Walter, 1872-1949
Published: (1947)

Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings /
Published: (2004)

Lectures on the logic of computer programming /
by: Manna, Zohar
Published: (1980)

Hanbdook of logic in computer science.
Published: (2020)

STEM road map 2.0 : a framework for integrated STEM education in the innovation age /
by: Johnson, Carla C., 1969-
Published: (2021)

Soft Computing and Its Applications.
by: Ray, Kumar S.
Published: (2015)

Journal on educational resources in computing.
Published: (2001)

American communities : teachers ̓guide /
Published: (1970)

Geography education and explorations on human development and culture /
Published: (2025)

Children and controversial issues : strategies for the early and middle years of schooling /
Published: (1988)

In the presence of each other : a pedagogy of storytelling /
by: Kuyvenhoven, Johanna, 1953-
Published: (2009)

Language skills.
Published: (2020)