Search Constraints
Number of results to display per page
Results for:
Keywords
Textbooks
Remove constraint Keywords: Textbooks
« Previous |
1 - 10 of 218
|
Next »
Search Results
-
e-book
"forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), translating (formalizing) English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. It is provided in PDF (for screen reading, printing, and a special version for dyslexics) and in LaTeX source code. A proof editor/checker for the proof system used is available at proofs.openlogicproject.org."--BCcampus website.
- Subjects:
- Philosophy
- Keywords:
- Textbooks Logic
- Resource Type:
- e-book
-
e-book
"Introduction to Philosophy: Philosophy of Religion introduces some of the major traditional arguments for and against the existence of God, as well as some less well-known, but thought-provoking arguments for the existence of God, and one of the most important new challenges to religious belief from the Cognitive Science of Religion. An introductory chapter traces the connection between philosophy and religion throughout Western history, and a final chapter addresses the place of non-Western and non-monotheistic religions within contemporary philosophy of religion."--BCcampus website.
- Subjects:
- Religious Studies
- Keywords:
- Philosophy Religion Textbooks
- Resource Type:
- e-book
-
e-book
"Introduction to Philosophy: Logic provides students with the concepts and skills necessary to identify and evaluate arguments effectively. The chapters, all written by experts in the field, provide an overview of what arguments are, the different types of arguments one can expect to encounter in both philosophy and everyday life, and how to recognise common argumentative mistakes."--BCcampus website.
- Subjects:
- Philosophy
- Keywords:
- Philosophy Textbooks Logic
- Resource Type:
- e-book
-
e-book
"Building Blocks of Academic Writing covers typical writing situations for developing academic writers, from prewriting and research through expressing themselves online. Developmental work in different types of paragraphs--descriptive, narrative, expository, persuasive--allows students to build capacity for longer essays. Each chapter includes review questions with a Canadian focus that instructors can assign to help students practise the skills developed in the text. This book aligns with the BC ABE Level: Intermediate English"--BC Campus website.
- Subjects:
- English Language
- Keywords:
- Textbooks Academic writing
- Resource Type:
- e-book
-
e-book
"This open textbook is designed to introduce readers to the basics of professional communications in technical fields: audience and task analysis in workplace contexts, clear and concise communications style, effective document design, teamwork and collaboration, and fundamental research skills"--BC Campus website.
- Subjects:
- English Language
- Keywords:
- Communication Technical writing -- Textbooks Business writing Textbooks Communication of technical information
- Resource Type:
- e-book
-
e-book
"Cree: Language of the Plains is a comprehensive educational resource, offering a broad range of learning materials that is easily accessible to Cree language learners. This collection includes an updated and redesigned Cree language textbook, Cree language audio labs, and a Cree language workbook"--BCcampus website.
- Subjects:
- Foreign Language Learning
- Keywords:
- Textbooks Cree language
- Resource Type:
- e-book
-
e-book
"This textbook is based on the Open Logic Project. It covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and Löwenheim-Skolem theorems, Turing machines, and the undecidability of the halting problem and of first-order logic"--BCcampus website.
- Subjects:
- Philosophy
- Keywords:
- Textbooks Logic
- Resource Type:
- e-book
-
e-book
"This is a textbook on formal logic. The book is divided into eight parts. Part I introduces the topic and notions of logic in an informal way, without introducing a formal language yet. Parts II-IV concern truth-functional languages. In it, sentences are formed from basic sentences using a number of connectives ('or', 'and', 'not', 'if . . . then') which just combine sentences into more complicated ones. We discuss logical notions such as entailment in two ways: semantically, using the method of truth tables (in Part III) and proof-theoretically, using a system of formal derivations (in Part IV). Parts V-VII deal with a more complicated language, that of first-order logic. It includes, in addition to the connectives of truth-functional logic, also names, predicates, identity, and the so-called quantifiers. These additional elements of the language make it much more expressive than the truth-functional language, and we'll spend a fair amount of time investigating just how much one can express in it. Again, logical notions for the language of first-order logic are defined semantically, using interpretations, and proof-theoretically, using a more complex version of the formal derivation system introduced in Part IV. Part VIII covers an advanced topic: that of expressive adequacy of the truth-functional connectives"--BCcampus website.
- Subjects:
- Philosophy
- Keywords:
- Textbooks Logic
- Resource Type:
- e-book
-
e-book
"Media, Society, Culture, and You is an approachable introductory Mass Communication text that covers major mass communication terms and concepts including "digital culture." It discusses various media platforms and how they are evolving as Information and Communication Technologies change"--BC Campus website.
- Subjects:
- Communication
- Keywords:
- Textbooks Mass media culture
- Resource Type:
- e-book
-
e-book
"Knowing Home attempts to capture the creative vision of Indigenous scientific knowledge and technology that is derived from an ecology of a home place. The traditional wisdom component of Indigenous Science - the values and ways of decision-making - assists humans in their relationship with each other, the land and water, and all of creation. Indigenous perspectives have the potential to give insight and guidance to the kind of environmental ethics and deep understanding that we must gain as we attempt to solve the increasingly complex problems of the 21st century. This book provides a window into the vast storehouse of innovations and technologies of the Indigenous peoples who live in Northwestern North America. It is our hope that the Indigenous Science examples, research, and curriculum models will inspire deep reflection regarding the under-representation of Aboriginal students in the sciences. It is intended that the rich examples and cases, combined with the resources listed in the appendices, will enable teachers and students to explore Indigenous Science examples in the classroom, and in addition, support the development of curriculum projects in home places."--BC Campus website.
- Subjects:
- Area Studies
- Keywords:
- Ethnoscience Textbooks
- Resource Type:
- e-book