• Regeln für den Dokumente-Bereich:

    In den Börsenbereich gehören nur Angebote die bereits den Allgemeinen Regeln entsprechen.

    Allgemeines:

    Nicht erlaubt im Dokumente-Bereich sind:

    - indizierte Titel (inkl. Comics)
    - extremistische Werke, Zeitschriften und Comics (egal, welche Richtung)
    - jegliche Art von Pornographie
    - Anleitungen zu kriminellen Handlungen, gleich welcher Art
    - sadistische, menschenverachtende oder ähnliche Werke

    Nutzt den "Bedanken"-Button, bei Sammelthreads führen jegliche Kommentare, positiv wie negativ, sehr schnell zu einer Unübersichtlichkeit des Threads. Downmeldungen sind an den Uploader zu richten

    Vor dem Einstellen zu beachten:

    - Suchfunktion

    Vergewissert euch, dass es euer Dokument noch nicht im Board gibt, Doppelposts werden kommentarlos gelöscht. Ist es schon vorhanden, tragt es als Mirror im bestehenden Post ein.

    - Threadtitel

    Idealerweise ist sofort zu erkennen um was es sich handelt. Verseht euren Titel mit den relevanten Informationen, das hilft euch und damit auch uns und allen Suchenden erheblich weiter.

    Beispiel: [Thriller] Dan Brown - Inferno oder bei Magazinen:

    Computerbild - 14/2014 (es muss ersichtlich sein, um welche Ausgabe und welches Magazin es sich handelt)

    Folgende Präfixe stehen im Unterforum "Unterhaltung" zur Verfügung:

    [Humor]
    [Drama]
    [Erotik]
    [Fantasy]
    [Krimi]
    [Roman]
    [Thriller]
    [Horror]
    [Science Fiction]

    Inhalt des Beitrags:

    Folgende Pflichtangaben gilt es einzuhalten:

    - Autor
    - Titel
    - Präfix
    - Cover
    - Genre
    - Inhaltsbeschreibung
    - enthaltene Formate
    - Gesamtgröße des Downloads
    - Hoster
    - ggf. Passwort

    Nicht erlaubt sind alle Dateien, die den Download unnötig aufblähen um eine Affiliategrenze zu erreichen, wie zB. mp3-files, übergroße Bilder, etc.

    Ebenso nicht erlaubt sind sämtliche Dateien mit DRM, persönlichen Daten, etc., diese werden kommentarlos zu eurem eigenem Schutz gelöscht.

    Achtet bitte bei der Konvertierung der Formate auf die Lesbarkeit, ein epub, was nur einfach durch Calibre gejagt wird um ein PDF zu erhalten, ist zu 99% eben nicht lesbar. Wenn ihr es nicht könnt, dann lasst es besser oder lest euch ein, wie man es richtig macht.


    Unterforum Comics:

    Threadtitel:

    Ähnlich, wie bei Unterhaltung und Magazinen, sollte der Titel alle relevanten Informationen enthalten, hier bitte

    - den Titel des Comics
    - den Verlag (einige Comics sind in verschiedenen Verlagen erschienen)
    - das Erscheinungsjahr

    Erlaubt sind folgende Formate:

    - CBR
    - CBZ

    Grundsätzlich gilt: jede Version eines Comics erhält einen eigenen Thread, Ersteller eines Comics können ihre Bände gerne mit dem Zusatz (Original-Release) versehen.

    Bei Unsicherheiten zur korrekten Benennung bitte die Informationen von www.comicguide.de nutzen.

    Inhalt des Beitrags:

    Pflichtangaben hier sind:

    - Titel des Bandes und ggf. Nummer
    - Cover
    - falls bekannt technische Daten (DPI, Breite, Speicherqualität)
    - Größe des Downloads
    - Hoster
    - ggf. Passwort
    - falls bekannt Releasenamen
  • Bitte registriere dich zunächst um Beiträge zu verfassen und externe Links aufzurufen.

*** Bestes IPTV *** bester Preis *** gratis Test ***



Introduction to Languages, Machines and Logic Computable Languages, Abstract Machines and Formal ...

visoft

MyBoerse.bz Pro Member

1902231127070100.jpg

Introduction to Languages, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic By Alan P. Parkes BSc, PhD (auth.)
2002 | 351 Pages | ISBN: 1852334649 | PDF | 13 MB​




1.1 Overview This chapter briefly describes: * what this book is about * what this book tries to do * what this book tries not to do * a useful feature of the book: the exercises. 1.2 What This Book Is About This book is about three key topics of computer science, namely computable lan guages, abstract machines, and logic. Computable languages are related to what are usually known as "formal lan guages". I avoid using the latter phrase here because later on in the book I distin guish between formal languages and computable languages. In fact, computable languages are a special type of formal languages that can be processed, in ways considered in this book, by computers, or rather abstract machines that represent computers. Abstract machines are formal computing devices that we use to investigate prop erties of real computing devices. The term that is sometimes used to describe abstract machines is automata, but that sounds too much like real machines, in particular the type of machines we call robots. The logic part of the book considers using different types of formal logic to represent things and reason about them. The logics we consider all play a very important role in computing. They are Boolean logic, propositional logic, and first order predicate logic (FOPL).

Recommend Download Link Hight Speed | Please Say Thanks Keep Topic Live
 
Zurück
Oben Unten