Study book for Logical Methods (in Norwegian)

This book is the perfect supplement to Logical Methods! It was created as a result of many years of teaching and experience with students' needs. The book has three main parts (and one extra part):

In the first part you will find for each chapter (1) a summary, (2) common mistakes, (3) tips and tricks and (4) test-yourself problems.
In the second part you will find a hundred new problems that are more broad than the problems from the textbook.
In the third part, you will find suggested solutions for all the problems with odd numbers in the textbook as well as suggested solutions for all the problems in the study book.
Finally, you will find a glossary of the 236 most important words from the textbook, with English translations, definitions and indications of the relevant chapters in the textbook. Finally, you will find an English-Norwegian dictionary.

I Repetitions and Tips (pages 1–60)

In this part you will find for each chapter (1) a summary, (2) common mistakes, (3) tips and tricks, and (4) test-yourself problems.

Content Chapter 0: The Art of Thinking Abstractly and Mathematically Chapter 1: Basic Set Theory Chapter 2: Propositional Logic Chapter 3: Semantics for Propositional Logic Chapter 4: Concepts in Propositional Logic Chapter 5: Proofs, Conjectures, and Counterexamples Chapter 6: Relations Chapter 7: Functions Chapter 8: A Little More Set Theory Chapter 9: Closures and Inductively Defined Sets Chapter 10: Recursively Defined Functions Chapter 11: Mathematical Induction Chapter 12: Structural Induction Chapter 13: First-Order Languages Chapter 14: Representation of Quantified Statements Chapter 15: Interpretation in Models Chapter 16: Reasoning About Models Chapter 17: Abstraction with Equivalences and Partitions Chapter 18: Combinatorics Chapter 19: A Little More Combinatorics Chapter 20: A Bit of Abstract Algebra Chapter 21: Graph Theory Chapter 22: Walks in Graphs Chapter 23: Formal Languages and Grammars Chapter 24: Natural Deduction

II Problems (pages 61–96)

In this part you will find a hundred new problems that are more broad than the problems from the textbook.

Content Set Theory Propositional Logic Relations Functions Closures and Inductively Defined Sets Recursively Defined Functions Mathematical Induction Recursively Defined Functions and Induction First-Order Languages and Representation First-Order Models Partitions Combinatorics Algebra Graph Theory Formal Languages Natural Deduction Mixed Problems

III Suggested solutions (pages 97–206)

In this part, you will find suggested solutions for all the problems with odd numbers in the textbook as well as suggested solutions for all the problems in the study book.

Content Suggested solutions for the problems in this book Suggested solutions for the problems in the textbook

Extra (pages 207–224)

In this part you will find a glossary of the 236 most important words from the textbook, with English translations, definitions and indications of the relevant chapters in the textbook. Finally, you will find an English-Norwegian dictionary.

Content Dictionary with Definitions English-Norwegian Translations