Search Constraints
Number of results to display per page
Results for:
Keywords
Textbooks
Remove constraint Keywords: Textbooks
« Previous |
1 - 10 of 892
|
Next »
Search Results
-
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
"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
"forall x is an open access introductory textbook in formal logic. It covers translation, proofs, and formal semantics for sentential and predicate logic."--BCcampus website.
- Subjects:
- Philosophy
- Keywords:
- Textbooks Logic
- Resource Type:
- e-book
-
e-book
ePortfolio Performance Support Systems: Constructing, Presenting, and Assessing Portfolios addresses theories and practices advanced by some of the most innovative and active proponents of ePortfolios. Editors Katherine V. Wills and Rich Rice interweave twelve essays that address the ways in which ePortfolios can facilitate sustainable and measureable writing-related student development, assessment and accountability, learning and knowledge transfer, and principles related to universal design for learning, just-in-time support, interaction design, and usability testing.
- Subjects:
- English Language
- Keywords:
- English language -- Rhetoric -- Study teaching (Higher) Electronic portfolios in education Textbooks
- Resource Type:
- e-book
-
e-book
The newly updated edition - based on Quirk's unique Think, Create, Engage, Optimise structure and processes - includes chapters on the latest marketing trends as well as updated facts and figures and all new real-world case studies showing the application of digital best practice. Other important updates include: Expansion of the THINK section to better position itself as a platform for approaching the rest of the book and the marketing process overall. Enormous improvements to the Market Research and Strategy chapters and the addition of a Content Strategy chapter. New Usability Design chapter. Expansion of the Video Marketing and Mobile chapters to reflect the growing importance of these areas in the digital landscape.
- Subjects:
- Marketing
- Keywords:
- Internet marketing Textbooks
- Resource Type:
- e-book
-
e-book
eMarketing: The Essential Guide to Online Marketing is a textbook intended for third and fourth year marketing students and draws on both academic theory and practical experience. The book offers students information that is applicable to the eMarket industry by providing examples that are easily relatable. The book covers all of the important aspects of online marketing, including the areas associated with search engine marketing, affiliate marketing, web analytics and conversion optimization, web development, online copywriting, online advertising, webPR, online reputation management, pay per click advertising, viral marketing, social media marketing, search engine optimization, eMarketing strategy, market research, mobile marketing, crowd sourcing, and customer relationship management. The book also features summaries, learning objectives and discussion points for each chapter, as well as, a glossary and index.
- Subjects:
- Marketing
- Keywords:
- Internet marketing Internet advertising Textbooks
- Resource Type:
- e-book
-
e-book
"Scott McLean's Writing for Success is a text that provides instruction in steps, builds writing, reading, and critical thinking, and combines comprehensive grammar review with an introduction to paragraph writing and composition. Beginning with the sentence and its essential elements, this book addresses each concept with clear, concise and effective examples that are immediately reinforced with exercises and opportunities to demonstrate, and reinforce, learning."--BCcampus website.
- Subjects:
- English Language
- Keywords:
- Textbooks English language -- Grammar
- Resource Type:
- e-book
-
e-book
This text is meant to be used in any first year College Composition class or as a general guide to college writing. The book focuses on writing as a process, not a product. The goal is to help students discover their own writing process, tryin g out different methods and strategies to find what works best for them
- Subjects:
- English Language
- Keywords:
- Report writing Textbooks Authorship English language -- Rhetoric
- Resource Type:
- e-book
-
e-book
In Yoga Minds, Writing Bodies, Christy Wenger argues for the inclusion of Eastern-influenced contemplative education within writing studies. She observes that, although we have "embodied" writing education in general by discussing the rhetorics of racialized, gendered, and disabled bodies, we have done substantially less to address the particular bodies that occupy our classrooms. She proposes that we turn to contemplative education practices that engages student bodies through fusing a traditional curriculum with contemplative practices including yoga, meditation, and the martial arts. Drawing strength from the recent "quiet revolution" (Zajonc) of contemplative pedagogy within postsecondary education and a legacy of field interest attributable to James Moffett, this project draws on case studies of first-year college writers to present contemplative pedagogy as a means of teaching students mindfulness of their writing and learning in ways that promote the academic, rhetorical work accomplished in first-year composition classes while at the same time remaining committed to a larger scope of a writer's physical and emotional well-being.
- Subjects:
- English Language
- Keywords:
- English language--Composition exercises Textbooks
- Resource Type:
- e-book
-
e-book
This version of YAINTT has a particular emphasis on connections to cryptology. The cryptologic material appears in Chapter 4 and §§5.5 and 5.6, arising naturally (I hope) out of the ambient number theory. The main cryptologic applications – being the RSA cryptosystem, Diffie-Hellman key exchange, and the ElGamal cryptosystem – come out so naturally from considerations of Euler’s Theorem, primitive roots, and indices that it renders quite ironic G.H. Hardy’s assertion [Har05] of the purity and eternal inapplicability of number theory. Note, however, that once we broach the subject of these cryptologic algorithms, we take the time to make careful definitions for many cryptological concepts and to develop some related ideas of cryptology which have much more tenuous connections to the topic of number theory. This material therefore has something of a different flavor from the rest of the text – as is true of all scholarly work in cryptology (indeed, perhaps in all of computer science), which is clearly a discipline with a different culture from that of “pure”mathematics. Obviously, these sections could be skipped by an uninterested reader, or remixed away by an instructor for her own particular class approach.
- Subjects:
- Mathematics and Statistics
- Keywords:
- Number theory Textbooks
- Resource Type:
- e-book