Search Constraints
Number of results to display per page
Results for:
Affiliation
University of Calgary
Remove constraint Affiliation: University of Calgary
1 - 2 of 2
Search Results
-
e-book
The Open Logic Text is an open-source, collaborative textbook of formal meta-logic and formal methods, starting at an intermediate level (i.e., after an introductory formal logic course). Though aimed at a non-mathematical audience (in particular, students of philosophy and computer science), it is rigorous. The Open Logic Text is a collaborative project and is under active development. Coverage of some topics currently included may not yet be complete, and many sections still require substantial revision. We plan to expand the text to cover more topics in the future. We also plan to add features to the text, such as a glossary, a list of further reading, historical notes, pictures, better explanations, sections explaining the relevance of results to philosophy, computer science, and mathematics, and more problems and examples. If you find an error, or have a suggestion, please let the project team know. The project operates in the spirit of open source. Not only is the text freely available, we provide the LaTeX source under the Creative Commons Attribution license, which gives anyone the right to download, use, modify, re-arrange, convert, and re-distribute our work, as long as they give appropriate credit.
- Subjects:
- Philosophy
- Keywords:
- Logic Textbooks
- Resource Type:
- e-book
-
e-book
After being traditionally published for many years, this formidable text by W. Keith Nicholson is now being released as an open educational resource and part of Lyryx with Open Texts! Supporting today's students and instructors requires much more than a textbook, which is why Dr. Nicholson opted to work with Lyryx Learning. Overall, the aim of the text is to achieve a balance among computational skills, theory, and applications of linear algebra. It is a relatively advanced introduction to the ideas and techniques of linear algebra targeted for science and engineering students who need to understand not only how to use these methods but also gain insight into why they work. The contents have enough flexibility to present a traditional introduction to the subject, or to allow for a more applied course. Chapters 1–4 contain a one-semester course for beginners whereas Chapters 5–9 contain a second semester course. The text is primarily about real linear algebra with complex numbers being mentioned when appropriate (reviewed in Appendix A).
- Subjects:
- Mathematics and Statistics
- Keywords:
- Textbooks Algebras Linear
- Resource Type:
- e-book