Kategoria BISAC: Mathematics >> Logic

The 13 full papers presented were carefully reviewed and selected from 21 submissions. The papers address various topics such as  information and knowledge systems, including submissions that apply ideas, theories or methods from specific disciplines to information and

knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model...

Logik ist überall: im vernunftgemäßen Urteil, in der Einsicht, die den Glauben ergänzt, in Sprache und Mathematik, in einer aufgeklärten Ethik und in der Frage nach der Wahrheit und den Grenzen des Wissens. Sie scheint unverzichtbar, selbstverständlich und immer schon da gewesen zu sein, solange Menschen denken.

Doch auch die Logik musste erst geschaffen werden – auch sie blickt, wie alle klassischen Wissenschaften, auf ein fünfundzwanzig Jahrhunderte währendes Entstehen zurück, und viele der größten Geister haben an ihr gebaut. Davon berichtet dieses Buch.

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2022, colocated with ETAPS 2022, held in Munich, Germany, in April 2022.

The 9 revised full papers were carefully reviewed and selected from 12 submissions. The papers cover a wide range of topics in the theory, logics, and applications of coalgebras.

Einsatzfertige Lerneinheiten vermitteln fundamentale mathematische Techniken, die weit über die Mittelstufe hinaus von Bedeutung sind. Die Lerninhalte eignen sich auch zur gezielten Vorbereitung auf Mathematikwettbewerbe. Die Schüler*innen wenden den Euklidischen Algorithmus auf Polynome an und lernen den erweiterten Euklidischen Algorithmus kennen. Abwechslungsreiche Aufgaben in unterschiedlichen Schwierigkeitsgraden vertiefen die Kombinatorik und führen in die Stochastik ein. Die Schüler*innen führen Beweise in unterschiedlichen Gebieten. Die Aufgaben fördern die mathematische...

If you have ever wondered what quaternions are — then look no further, John Vince will show you how simple and useful they are. This 2nd edition has been completely revised and includes extra detail on the invention of quaternions, a complete review of the text and equations, all figures are in colour, extra worked examples, an expanded index, and a bibliography arranged for each chapter.

Quaternions for Computer Graphics includes chapters on number sets and algebra, imaginary and complex numbers, the complex plane, rotation transforms, and a comprehensive description of...