Kategoria BISAC: Computers >> Languages - General

This book constitutes the refereed proceedings of the 5th International Conference on Logic and Argumentation, CLAR 2023, held in Hangzhou, China, during September 10-12, 2023.

The 11 full papers, one short paper and one invited paper presented in this book were carefully reviewed and selected from 20 submissions.

The papers focus on topics such as: ​logic and automated deduction; abstract and structured argumentation; dialogues, games and practical reasoning; and quantitative argumentation.

It is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions.

In this unique textbook/reference, programs are drawn as string diagrams in the language of categories, which display a universal syntax of mathematics (Computer scientists use them to analyze the program semantics; programmers to display the syntax of computations). Here, the string-diagrammatic depictions of computations are construed as programs in a single-instruction programming language.  Such...

Dieses Buch erklärt das Konzept „Objektbasierung“ als wesentlichen Teil der „Objektorientierung“ und erläutert, warum Go eine Programmiersprache ist, die dieses Konzept optimal unterstützt. Anhand wesentlicher Teile des Mikrouniversums, einer großen Sammlung von Softwarekomponenten (mit Quellcode im Umfang von mehr als 53000 Programmzeilen), werden viele wichtige Datentypen mit ihren Algorithmen beschrieben.

Im praktischen Teil werden diverse Programmpakete präsentiert, die nach diesem Konzept konstruiert sind.