Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 39 | << page >> |
Sort by
|
Book
ISBN: 3030931005 3030930998 Year: 2021 Publisher: Cham, Switzerland : Springer International Publishing,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Lògica informàtica --- Lògica de la informàtica --- Lógica dels ordinadors --- Lògica matemàtica --- Computer logic --- Computer science --- Research. --- Informatics --- Science
Book
ISBN: 9811641722 9811641730 Year: 2021 Publisher: Singapore : Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic, Symbolic and mathematical --- Lògica matemàtica --- Lògica formal --- Lògica simbòlica --- Lògica simbòlica i matemàtica --- Lògica universal --- Logística (Filosofia) --- Matemàtica --- Atzar --- Càlcul lambda --- Categories (Matemàtica) --- Decidibilitat (Lògica matemàtica) --- Funcions recursives --- Independència (Matemàtica) --- Lògica algebraica --- Lògica combinatòria --- Lògica de primer ordre --- Lògica difusa --- Lògica informàtica --- Matemàtica constructiva --- Metodologia de la ciència --- Nombres cardinals --- Pragmàtica (Lingüística) --- Probabilitats --- Semàntica (Filosofia) --- Teoria axiomàtica de conjunts --- Teorema de Gödel --- Teoria de la commutació --- Teoria de la prova --- Teoria de la recursió --- Teoria de màquines --- Teoria de models --- Teoria de tipus --- Àlgebra abstracta --- Metamatemàtica --- Programació lògica --- Sil·logisme --- Teoria de conjunts --- Lògica matemàtica.
Book
ISBN: 3030872963 9783030872960 3030872955 Year: 2021 Publisher: Cham, Switzerland : Springer International Publishing,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Gödel's theorem. --- Teorema de Gödel --- Proposicions indecidibles --- Teoria de la decidibilidad --- Lògica matemàtica --- Teoria de nombres --- Decidibilitat (Lògica matemàtica) --- Gödel's incompleteness theorem --- Undecidable theories --- Arithmetic --- Completeness theorem --- Incompleteness theorems --- Logic, Symbolic and mathematical --- Number theory --- Decidability (Mathematical logic) --- Foundations --- Logic, Symbolic and mathematical. --- Intuitionistic mathematics. --- Constructive mathematics --- Mathematics --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism
Book
ISBN: 3030848280 3030848272 Year: 2021 Publisher: Cham, Switzerland : Birkhäuser,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Lògica matemàtica --- Lògica formal --- Lògica simbòlica --- Lògica simbòlica i matemàtica --- Lògica universal --- Logística (Filosofia) --- Matemàtica --- Atzar --- Càlcul lambda --- Categories (Matemàtica) --- Decidibilitat (Lògica matemàtica) --- Funcions recursives --- Independència (Matemàtica) --- Lògica algebraica --- Lògica borrosa --- Lògica combinatòria --- Lògica de primer ordre --- Lògica informàtica --- Matemàtica constructiva --- Metodologia de la ciència --- Nombres cardinals --- Pragmàtica (Lingüística) --- Probabilitats --- Semàntica (Filosofia) --- Teoria axiomàtica de conjunts --- Teorema de Gödel --- Teoria de la commutació --- Teoria de la prova --- Teoria de la recursió --- Teoria de màquines --- Teoria de models --- Teoria de tipus --- Àlgebra abstracta --- Metamatemàtica --- Programació lògica --- Sil·logisme --- Teoria de conjunts --- Logic, Symbolic and mathematical. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Lògica difusa --- Lògica matemàtica.
Book
ISBN: 9789811641732 9789811641749 9789811641756 9789811641725 Year: 2021 Publisher: Singapore Springer Nature Singapore :Imprint: Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- Philosophy of science --- Logic --- Mathematics --- Computer science --- Computer. Automation --- informatica --- wetenschapsfilosofie --- wiskunde --- logica --- Logic, Symbolic and mathematical --- Lògica matemàtica --- Lògica formal --- Lògica simbòlica --- Lògica simbòlica i matemàtica --- Lògica universal --- Logística (Filosofia) --- Matemàtica --- Atzar --- Càlcul lambda --- Categories (Matemàtica) --- Decidibilitat (Lògica matemàtica) --- Funcions recursives --- Independència (Matemàtica) --- Lògica algebraica --- Lògica borrosa --- Lògica combinatòria --- Lògica de primer ordre --- Lògica informàtica --- Matemàtica constructiva --- Metodologia de la ciència --- Nombres cardinals --- Pragmàtica (Lingüística) --- Probabilitats --- Semàntica (Filosofia) --- Teoria axiomàtica de conjunts --- Teorema de Gödel --- Teoria de la commutació --- Teoria de la prova --- Teoria de la recursió --- Teoria de màquines --- Teoria de models --- Teoria de tipus --- Àlgebra abstracta --- Metamatemàtica --- Programació lògica --- Sil·logisme --- Teoria de conjunts --- Lògica difusa
Book
ISBN: 3030615243 3030615235 Year: 2021 Publisher: Cham, Switzerland : Birkhäuser,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Categories (Mathematics) --- Category theory (Mathematics) --- Algebra, Homological --- Algebra, Universal --- Group theory --- Logic, Symbolic and mathematical --- Topology --- Functor theory --- Categories (Matemàtica) --- Àlgebra universal --- Lògica matemàtica --- Teoria de grups --- Topologia --- Àlgebra homològica --- Categories abelianes --- Isomorfismes (Matemàtica) --- Morfismes (Matemàtica) --- Teoria de la localització --- Topos (Matemàtica) --- Teoria de functors
Book
ISBN: 3030777162 3030777154 Year: 2021 Publisher: Cham : Springer International Publishing : Imprint: Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
This book is composed of selected papers presented at IWIFSGN'2019—The Eighteenth International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets—held on October 24–25, 2019, in Warsaw, Poland, which is one of the main conferences on fuzzy logic, notably on extensions of the traditional fuzzy sets, in particular on the intuitionistic fuzzy sets. A considerable part of the conference sessions is also concerned with recent developments and challenges in the theory and applications of other topics exemplified by uncertainty, incompleteness and imprecision modeling, the Generalized Nets (GNs), a powerful extension of the traditional Petri net paradigm, and the InterCriteria Analysis, a new method for the feature selection and analyses in multicriteria and multiattribute decision-making problems. Some more general problems of computational and artificial intelligence, exemplified by evolutionary computations, machine learning, etc., are also dealt with. The papers included yield a good perspective on all of these important issues and problems.
Fuzzy logic --- Fuzzy logic. --- Nonlinear logic --- Fuzzy mathematics --- Logic, Symbolic and mathematical --- Fuzzy systems --- Lògica difusa --- Lògica borrosa --- Lògica no lineal --- Lògica matemàtica --- Conjunts borrosos --- Sistemes borrosos --- Computational intelligence. --- Engineering—Data processing. --- Computational Intelligence. --- Data Engineering. --- Intelligence, Computational --- Artificial intelligence --- Soft computing
Book
ISBN: 3030750353 3030750345 Year: 2021 Publisher: Cham, Switzerland : Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Categories (Matemàtica) --- Àlgebra universal --- Lògica matemàtica --- Teoria de grups --- Topologia --- Àlgebra homològica --- Categories abelianes --- Isomorfismes (Matemàtica) --- Morfismes (Matemàtica) --- Teoria de la localització --- Topos (Matemàtica) --- Teoria de functors --- Model categories (Mathematics) --- Homotopy theory. --- Mathematical models. --- Models, Mathematical --- Simulation methods --- Deformations, Continuous --- Topology --- Categories (Mathematics)
Book
ISBN: 9783030856755 Year: 2021 Publisher: Cham Springer International Publishing :Imprint: Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Àlgebra abstracta --- Àlgebres de Jordan --- Àlgebres de Lie --- Àlgebres no associatives --- Matrius (Matemàtica) --- Teoria dels reticles --- Lògica matemàtica --- Algebra, Abstract. --- Logic, Symbolic and mathematical. --- Abstract algebra --- Algebra, Universal --- Logic, Symbolic and mathematical --- Set theory --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Syllogism
Book
ISBN: 3030856747 3030856755 Year: 2021 Publisher: Cham, Switzerland : Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Algebra, Abstract. --- Logic, Symbolic and mathematical. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Abstract algebra --- Algebra, Universal --- Logic, Symbolic and mathematical --- Àlgebra abstracta --- Àlgebres de Jordan --- Àlgebres de Lie --- Àlgebres no associatives --- Matrius (Matemàtica) --- Teoria dels reticles --- Lògica matemàtica
| Listing 1 - 10 of 39 | << page >> |
Sort by
|