hinzundcode

Wahrheitstafeln
	1P1, 1A1

Aussagenlogik
	1P2, 1A2, 2P3, 2A3, 2P2, 2A2

Quantoren
	1P3, 1A3

Mengenoperationen

hinzundcode

<?php

class GitoliteConfigParser {
	public function parse($config) {
		$lines = explode("\n", $config);
		
		// remove comments and spaces
		$lines = array_filter(array_map(function ($line) {
			$line = preg_replace('/#(.*)$/', '', $line);
			return preg_replace('/^\s+/', '', $line);

hinzundcode

say -v 'pipe organ' Dum dum dee dum dum dum dum dee Dum dum dee dum dum dum dum dee dum dee dum dum dum de dum dum dum dee dum dee dum dum dee dummmmmmmmmmmmmmmmm

say -v Cellos Dum dum dum dum dum dum dum he he he ho ho ho fa lah lah lah lah lah lah fa lah full hoo hoo hoo

hinzundcode

<?php

namespace schokocappucino\Nameless\User\PasswordEncoder;

class CryptBlowfishPasswordEncoder implements PasswordEncoderInterface {
	protected $cost = 10;
	
	public function __construct($cost) {
		if ($cost < 4 || $cost > 31)
			throw new Exception('Invalid bcrypt cost parameter specified: '.$cost);

hinzundcode

<?php

error_reporting(E_ALL + E_STRICT);

require_once __DIR__.'/../vendor/autoload.php';

use Silex\Application;
use Symfony\Component\HttpKernel\Controller\ControllerResolverInterface;
use Symfony\Component\HttpFoundation\Request;
use Symfony\Component\Routing\RequestContext;

hinzundcode

// ==UserScript==
// @name          myGIGA
// @version       1.0.3
// @include       http://www.giga.de/
// ==/UserScript==

var main = function () {
	var myGIGA = {
		Teaser: function (title, url, image) {
			this.title = title;

hinzundcode

function tokenize (input) {
	function Token(type, isOpenUntil) {
		this.type = type;
		this.value = "";
		this.isOpenUntil = isOpenUntil || false;
	}

	var i = 0,
		len = input.length,
		tokens = [],

hinzundcode

/**
 * jQuery BootstrapMenu
 * Version 1.0.0
 * Released under the MIT license.
 * 
 * Usage:
 *   $(".topbar").bootstrapMenu({
 *     mousemove: true,
 *     cancel: true
 *   });

hinzundcode

<?php

header('Content-type: text/plain; charset=utf8');

$input = "hab me eben nen leet-speak generator geschrieben..";

$words = array(
	'one' => 1,
	'to' => 2,
	'too' => 2,