Boole

Results: 148



#Item
1

Algebre di Boole finite. Roma, Novembre 2017 Un’algebra di Boole `e un reticolo limitato, complementato e distributivo. Ogni algebra di Boole `e dotata dall’ordinamento parziale dato da x ≤ y quando x ∧ y = x. U

Add to Reading List

Source URL: www.mat.uniroma2.it

Language: Italian - Date: 2017-11-30 08:44:59
    2

    G. Pareschi ALGEBRE DI BOOLE 1. Algebre di Boole Nel file precedente abbiamo incontrato la definizione di algebra di Boole come reticolo: un’algebra di Boole e’ un reticolo limitato, complementato e distributivo. Ora

    Add to Reading List

    Source URL: www.mat.uniroma2.it

    Language: Italian - Date: 2010-01-15 06:44:16
      3

      Algebra e logicaAlgebre di Boole. Roma, 4 gennaio 2018.

      Add to Reading List

      Source URL: www.mat.uniroma2.it

      Language: Italian - Date: 2018-01-08 09:28:38
        4

        The Stone Gamut: A Coordinatization of Mathematics Vaughan R. Pratt∗ Dept. of Computer Science Stanford University Stanford, CA 94305

        Add to Reading List

        Source URL: boole.stanford.edu

        Language: English - Date: 2005-01-09 13:06:38
          5

          The Duality of Time and Information Vaughan R. Pratt∗ Stanford University June 1, 1992

          Add to Reading List

          Source URL: boole.stanford.edu

          Language: English - Date: 2005-01-08 11:25:23
            6

            Temporal Structures Ross Casley† Roger F. Crew† Jos´e Meseguer‡

            Add to Reading List

            Source URL: boole.stanford.edu

            Language: English - Date: 2005-01-09 13:07:33
              7

              from http://boole.stanford.edu/pub/ratmech.pdf Rational Mechanics and Natural Mathematics Vaughan Pratt∗ Dept. of Computer Science, Stanford University, Stanford, CA

              Add to Reading List

              Source URL: www.newdualism.org

              Language: English - Date: 2015-08-13 10:56:30
                8

                Broadening the denotational semantics of linear logic Vaughan Pratt∗ Dept. of Computer Science Stanford University Stanford, CA

                Add to Reading List

                Source URL: boole.stanford.edu

                Language: English - Date: 2005-01-09 13:06:44
                  9

                  Algebras and Bialgebras via categories with distinguished objects Vaughan Pratt Stanford University

                  Add to Reading List

                  Source URL: boole.stanford.edu

                  - Date: 2016-10-11 01:10:12
                    10Linguistics / Culture / Cognitive science / Cognition / Psycholinguistics / Anthropological linguistics / Relativism / Linguistic relativity / Tractatus Logico-Philosophicus / World view / Computer programming / George Boole

                    Advances in Programming Languages APL1: What’s so important about language? Ian Stark and David Aspinall School of Informatics The University of Edinburgh

                    Add to Reading List

                    Source URL: www.inf.ed.ac.uk

                    Language: English - Date: 2010-01-10 18:30:15
                    UPDATE