This interactive tutorial will teach you how to use the sequent calculus, a simple set of rules with which you can use to show the truth of statements in first order logic. It is geared towards anyone with some background in writing software for computers, with knowledge of basic boolean logic.
Video game industry news, interviews, features, videos, opinions and gaming analysis by games business experts. Game Theory magazine is your top source.
Die deutschen Spieleautorentage geben einen Anstoß für eine systematischere Aus- und Weiterbildung von Spieleautoren und -autorinnen. Bei Vorträgen, Podiumsdiskussionen und Streitgesprächen lernen Sie die Sichtweisen anderer Spieleautoren kennen. Diese FACHTAGUNGEN bietet Ihnen die Gelegenheit, Tipps und Tricks auszutauschen, sich innerhalb der Autoren-Szene zu vernetzen und bestehende Kontakte zu vertiefen.