Tag Archives: Computer Science

PtCut 3.0.1 and PPLpy for Python 2.7 wheels released

Jonas Weinz has produced pre-compiled wheels of PPLpy┬á for Python 2.7 (for Linux 64-bit). Have look at Jonas’ page here.

I have mirrored the files here as well:

I have released a slightly updated version 3.0.1 of PtCut that works under plain Python 2.7 as well (and Python 3.x and SageMath).

 

Skript v4.7 verf├╝gbar

Eine neue Version des Skripts zum Vorkurs ÔÇťformale Methoden der InformatikÔÇŁist hier┬á(Link dead) verf├╝gbar.

In Version 4.7 hat sich ge├Ąndert:

  • Kapitel 8.1: Erkl├Ąrungen zu Beweisen und Beispiele f├╝r Anwendungen von Gruppen hinzugef├╝gt.
  • Kapitel 9.2: Auf- und Abrundungsfunktion neu definiert.
  • Kapitel 9.3 (Restklassenring) neu hinzugef├╝gt.
  • Kapitel 9.1: Beispiel f├╝r Nullteiler hinzugef├╝gt.
  • Kapitel 9.6: Beispiel f├╝r endlichen K├Ârper hinzugef├╝gt.
  • Kapitel 10.3: Erkl├Ąrung zur Verallgemeinerung der Exponenten hinzugef├╝gt.

Skript v4.6 verf├╝gbar

Eine neue Version des Skripts zum Vorkurs “formale Methoden der Informatik”ist hier (Link dead) verf├╝gbar.

In Version 4.6 hat sich ge├Ąndert:

  • Kapitel 7.1: weitere Beispiele f├╝r Relationen hinzugef├╝gt und zwei Fehler gefixt.
  • Kapitel 7.2: Beweisverfahren f├╝r Surjektivit├Ąt und Injektivit├Ąt und mehrere Beispiele dazu hinzugef├╝gt.

Neues Skript zum Vorkurs, v4.5

Eine neue Version des Skripts zum Vorkurs “formale Methoden der Informatik” ist hier (Link dead)┬áverf├╝gbar.

In Version 4.5 hat sich ge├Ąndert:

  • Weitere Beispiele zur vollst├Ąndigen Induktion hinzugef├╝gt.
  • Kapitel 7.1: wesentlich mehr Beispiele f├╝r Relationen hinzugef├╝gt.

In Version 4.4 hat sich ge├Ąndert:

  • Hinweis auf Einschreibtermine hinzugef├╝gt.
  • Kapitel 3.6: Motivation zum ÔÇťUmdrehenÔÇŁ der Quantoren hinzugef├╝gt.
  • Kapitel 6.2: Beweise zur Partialsumme der geometrischen Reihe und zu x ┬Ě x = x + x hinzugef├╝gt.