Search Constraints
Number of results to display per page
Results for:
Language
English
Remove constraint Language: English
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
-
Others
eduClipper is an easy to use social learning platform that allows teachers to create and share dynamic content, leave meaningful feedback on student assignments, and allows learners to capture and track their academic growth and achievement over time in digital learning portfolios.
With eduClipper you can:
(1) Explore top quality education resources for K-12
(2) Create clips from the web, Drive, Dropbox
(3) Use your camera to capture awesome work that you create in and out of the classroom
(4) Create whiteboard recordings
(5) Create differentiated groups and share content with them
(6) Create Personal Learning Portfolios
(7) Create Class Portfolios as a teacher and share Assignments with students
(8) Provide quality feedback through video, audio, text, badges, or grades
(9) Collaborate with other users on eduClipboards for class projects or personal interests
(10) Works on iPhone and iPad and Apple Watch
(11) 100% free for Teachers and Students
(12) Used by over 175,000 Educators around the world
(13) Ideal for K-12 Educators and Students, Administrators, Parents, and more!
(14) As seen in TechCrunch, FreeTech4Teachers, EdSurge, VentureBeat, etc.
- Subjects:
- Educational Resources
- Keywords:
- Educational technology Computer-assisted instruction
- Resource Type:
- Others
-
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
-
Video
Learning online is playing an increasingly large part of student life, whether as part of a blended approach, for group work, or even for fully online study. Join us in this webinar where we look at how to learn online, successfully, making the most of the opportunities and tools on offer.
Event Date: 23/8/2022
Facilitator(s): Harbutt, Darren; Ho, Anthony
- Subjects:
- Lesson Design and Student Engagement
- Keywords:
- Internet in education Motivation in education Blended learning Engagement (Philosophy)
- Resource Type:
- Video
-
Video
Learn about making effective student video assignments and how you can use uRewind to facilitate the submission of student video assignments, peer assessment and collaboration, and provide time stamped feedback.
Event Date: 04/01/2021
Facilitator(s): Mitesh Patel (EDC), Kai Pan Mark (EDC)
- Subjects:
- Assessment & Feedback
- Keywords:
- Educational tests measurements Web-based instruction
- Resource Type:
- Video
-
Video
Learn about making effective student video assignments and how you can use uRewind to facilitate the submission of student video assignments, peer assessment and collaboration, and provide time stamped feedback.
Event Date: 26/11/2020
Facilitator(s): Mitesh Patel (EDC), Kai Pan Mark (EDC)
- Subjects:
- Assessment & Feedback
- Keywords:
- Educational tests measurements Web-based instruction
- Resource Type:
- Video