Hier finden Sie die Unterlagen zu der Vorlesung "Theoretische Informatik I", die sich im wesentlichen mit der Logik befasst. Die Beispiele sind in der Sprache Python implementiert.
☆46Updated this week
Alternatives and similar repositories for Logic
Users that are interested in Logic are comparing it to the libraries listed below
Sorting:
- The lecture notes for my lecture on AI.☆45Feb 16, 2026Updated last week
- lecture notes for the algorithms class together with most of the programs☆45Dec 9, 2025Updated 2 months ago
- These are the lecture notes for my class on linear algebra.☆10Oct 28, 2024Updated last year
- setlX is an interpreter for the high level programming-language SetlX (set language extended).☆29Sep 20, 2021Updated 4 years ago
- Example code for Sunrise, written in Arduino.☆12Aug 8, 2023Updated 2 years ago
- A small astrolabe suitable for laser cutting☆12May 23, 2024Updated last year
- Julia notebook for exploring correlations among consecutive primes.☆10Sep 7, 2020Updated 5 years ago
- Prime number testing and generation in R☆11Jan 16, 2024Updated 2 years ago
- Companion software to "Music Representation: A Software Approach" by Donald Pazel☆13Dec 4, 2022Updated 3 years ago
- Code of the book "Getting started with the Julia Programming Language"☆11Jul 7, 2018Updated 7 years ago
- Original Joy☆11Dec 17, 2024Updated last year
- CLUCalcSource-4.3.3 original GPL source code, released in 2005 on www.clucalc.info by Christian Perwass☆12Jul 20, 2014Updated 11 years ago
- Advent Of Code (http://adventofcode.com/) solutions☆13Dec 12, 2025Updated 2 months ago
- ML Basis for Poly/ML☆13Oct 18, 2025Updated 4 months ago
- Solutions to exercises in the book *Learn Physics with Functional Programming*☆11Mar 8, 2025Updated 11 months ago
- Learn Red - Fundamentals of Red, published by Packt☆13Jan 30, 2023Updated 3 years ago
- A Compiler and Type Inference System for a subset of Standard ML called Small.☆13May 19, 2017Updated 8 years ago
- Deepen your knowledge of q by studying the language systematically☆12Jan 16, 2024Updated 2 years ago
- This repository contains the core and extended source files of the standard library of the SaC programming language.☆17Feb 13, 2026Updated 2 weeks ago
- package for LuaLatex (draw with Lua and tikz)☆26Feb 18, 2026Updated last week
- A warm dark theme for Pharo Smalltalk☆14Feb 6, 2024Updated 2 years ago
- 7GUIs is a GUI programming usability benchmark.☆12Nov 15, 2017Updated 8 years ago
- ☆13Jun 22, 2017Updated 8 years ago
- A Mooc on Pharo☆14Apr 22, 2020Updated 5 years ago
- A bridge to provide the ability to Pharo user to use Python's Matplotlib.☆19May 20, 2019Updated 6 years ago
- The PharoByExample9 repository since to have a broken history. Now the book versioning is moved to this repository to get work done.☆14Aug 2, 2025Updated 7 months ago
- Documentation for Macro SPITBOL☆13Jan 28, 2026Updated last month
- ☆15Oct 19, 2023Updated 2 years ago
- Javascript Dada Engine inspired text generator☆15Nov 14, 2015Updated 10 years ago
- SETL4 brings the raw power and speed of SPITBOL to non-numeric computation using set-theoretic constructs.☆14Jun 13, 2019Updated 6 years ago
- ☆16Jan 26, 2026Updated last month
- An introduction to the basic ideas of commutative algebra☆17Mar 12, 2020Updated 5 years ago
- A repl for the D programming language☆32Oct 1, 2020Updated 5 years ago
- An implementation of the Finite Difference Time Domain (FDTD) method in 2D and 3D for Electromagnetic Simulation in julia.☆14Feb 8, 2020Updated 6 years ago
- Binding to the graphviz library☆18Dec 7, 2024Updated last year
- Geometric Algebra using wxMaxima (GAwxM)☆13Oct 14, 2025Updated 4 months ago
- Code from the book: Programming Crystal (PragProg 2017-18)☆17Aug 7, 2018Updated 7 years ago
- Free and open-source code package designed to perform PyMEEP FDTD simulations applied to Plasmonics (UBA+CONICET) [Buenos Aires, Argentin…☆20Jan 19, 2022Updated 4 years ago
- Automatically exported from code.google.com/p/full-maude☆16Sep 18, 2025Updated 5 months ago