Die Aussagenlogik ist ein Teilgebiet der Logik, welches sich mit Aussagen und deren Verknüpfungen befasst. Die bekanntesten dieser Verknüpfungen sind selbstverständlich "und", sowie "oder". In der klassischen Aussagenlogik wird jede Aussage entweder zu "wahr" oder "falsch" ausgewertet ("true" oder "false" bzw. "1" oder "0").



Die Mengenlehre ist ein grundlegendes Teilgebiet der Mathematik, das sich mit der Untersuchung von Mengen, also von Zusammenfassungen von Objekten, beschäftigt. Sie ist für viele Bereiche in der Mathematik und Informatik von großer Bedeutung. Im Bereich der Informatik ist es z.B. für die Definition von kontextfreien Grammatiken wichtig.

Context Free Grammars


A context-free grammar (cfg) is a formal grammar in which exactly one nonterminal symbol is derived on an arbitrarily long sequence of other symbols. They are important for programming languages, because their syntax is described by a cfg.


A context-free grammar $G$ is a 4-tuple $(N, T, P, S)$ with the following features:

Android Wear Watch Face "SpinWatch" published

We published our next Watch Face! This watch features a sporty, elegant design, with a rotating surface showing the time. Additionally it shows the date and the batterylife of smartwatch and smartphone.
Google Playstore

Android Wear Watch Face "WordWatch" published

My first Watch Face for Android Wear is now on Google Play! The date and time of this Watch Face is shown in a pure textual form. The minutes are rounded to the nearest multiple of five. The time 5:12 is shown as "ten past five", while 5:13 is shown as "quarter past five".

Carbon Controller Library


LibGDX contains an extension for controller support, but handling different kinds of controllers isn't so easy. This is caused by the different mappings. The A-button on a Xbox 360 controller has a different code than the A-button on an Ipega controller. The Ipega also has different codes on different platforms. The arbitrary codes are also har to remember.

Audacity damaged project file


Audacity is a free, platform independent, open-source software for audio recording and editing. Computer crashes are always annoying, but especially when you're recording something. This tutorial will show you how to repair a damaged audacity project file.

Java Generics


Generics are a facility of generic programming that were added to Java within version 5. The core idea behind these parameterized types is the addition of so called Type Variables. They allow a type or method to operate on objects of various types, while providing compile-time safety.

Ipega Controller Mappings


The Ipega Bluetooth Controller is a cheap controller for nearly every bluetooth device. With it's holder it is specifically designed for smartphones. The controller has different operating modes, with different behaviors on different platforms. In this tutorial I will show you how to use this controller and it's mapping for LibGDX.

LibGDX Controller


Today we are going to look at the LibGDX Controller extension. I will show you how to add controller support, specifically support for the XBox 360 controller, because it seems to be a widely used gamepad.


Subscribe to InfectedBytes RSS