top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Mechanizing hypothesis formation : Mathematical Foundations for a General Theory / Petr Hájek, Tomáš Havránek
Mechanizing hypothesis formation : Mathematical Foundations for a General Theory / Petr Hájek, Tomáš Havránek
Autore Hájek, Petr
Pubbl/distr/stampa Berlin, : Springer, 1978
Descrizione fisica xvi, 398 p. ; 24 cm
Altri autori (Persone) Havránek, Tomáš
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020]
62-XX - Statistics [MSC 2020]
62A01 - Foundations and philosophical topics in statistics [MSC 2020]
68-XX - Computer science [MSC 2020]
68T10 - Pattern recognition, speech recognition [MSC 2020]
68Wxx - Algorithms in computer science [MSC 2020]
Soggetto non controllato Artificial Intelligence
Functions
Intelligence
Mathematical logic
Optimization
formation
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00260854
Hájek, Petr  
Berlin, : Springer, 1978
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
New Foundations for Information Theory : Logical Entropy and Shannon Entropy / David Ellerman
New Foundations for Information Theory : Logical Entropy and Shannon Entropy / David Ellerman
Autore Ellerman, David
Pubbl/distr/stampa Cham, : Springer, 2021
Descrizione fisica xiii, 113 p. : ill. ; 24 cm
Soggetto topico 94-XX - Information and communication theory, circuits [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020]
94A17 - Measures of information, entropy [MSC 2020]
03Bxx - General logic [MSC 2020]
03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020]
Soggetto non controllato Cross-entropies
Entropy
Hamming distance
Index of mutability
Indifference principle
Information Theory
Logical entropy
Logical probability
Logical quantum information theory
Mathematical theory of communications
Partition logic
Shannon Entropy
Theory of coding
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0275017
Ellerman, David  
Cham, : Springer, 2021
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
New Foundations for Information Theory : Logical Entropy and Shannon Entropy / David Ellerman
New Foundations for Information Theory : Logical Entropy and Shannon Entropy / David Ellerman
Autore Ellerman, David
Pubbl/distr/stampa Cham, : Springer, 2021
Descrizione fisica xiii, 113 p. : ill. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020]
94-XX - Information and communication theory, circuits [MSC 2020]
94A17 - Measures of information, entropy [MSC 2020]
Soggetto non controllato Cross-entropies
Entropy
Hamming distance
Index of mutability
Indifference principle
Information Theory
Logical entropy
Logical probability
Logical quantum information theory
Mathematical theory of communications
Partition logic
Shannon Entropy
Theory of coding
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00275017
Ellerman, David  
Cham, : Springer, 2021
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Petr Hájek on Mathematical Fuzzy Logic / Franco Montagna editor
Petr Hájek on Mathematical Fuzzy Logic / Franco Montagna editor
Pubbl/distr/stampa Cham, : Springer, 2015
Descrizione fisica xii, 318 p. : ill. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
01Axx - History of mathematics and mathematicians [MSC 2020]
00B15 - Collections of articles of miscellaneous specific interest [MSC 2020]
03Bxx - General logic [MSC 2020]
Soggetto non controllato Algebraic Logic
Fuzzy Logic and Vagueness
Fuzzy sets
Ha'jek and Modal Fuzzy Logic
MV-algebras
Partially Ordered Groups
Set Theory and Arithmetic over Fuzzy Logic
Standard Completeness
Substructural Fuzzy Logics
Truth Degrees
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0125341
Cham, : Springer, 2015
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Petr Hájek on Mathematical Fuzzy Logic / Franco Montagna editor
Petr Hájek on Mathematical Fuzzy Logic / Franco Montagna editor
Pubbl/distr/stampa Cham, : Springer, 2015
Descrizione fisica xii, 318 p. : ill. ; 24 cm
Soggetto topico 00B15 - Collections of articles of miscellaneous specific interest [MSC 2020]
01Axx - History of mathematics and mathematicians [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020]
Soggetto non controllato Algebraic Logic
Fuzzy Logic and Vagueness
Fuzzy sets
Ha'jek and Modal Fuzzy Logic
MV-algebras
Partially Ordered Groups
Set Theory and Arithmetic over Fuzzy Logic
Standard Completeness
Substructural Fuzzy Logics
Truth Degrees
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN00125341
Cham, : Springer, 2015
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Petr Hájek on Mathematical Fuzzy Logic / Franco Montagna editor
Petr Hájek on Mathematical Fuzzy Logic / Franco Montagna editor
Edizione [Cham : Springer, 2015]
Pubbl/distr/stampa xii, 318 p., : ill. ; 24 cm
Descrizione fisica Pubblicazione in formato elettronico
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
01Axx - History of mathematics and mathematicians [MSC 2020]
00B15 - Collections of articles of miscellaneous specific interest [MSC 2020]
03Bxx - General logic [MSC 2020]
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0125341
xii, 318 p., : ill. ; 24 cm
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Sequences, Groups, and Number Theory / Valérie Berthé, Michel Rigo editors
Sequences, Groups, and Number Theory / Valérie Berthé, Michel Rigo editors
Pubbl/distr/stampa Cham, : Birkhäuser, 2018
Descrizione fisica xxvi, 576 p. : ill. ; 24 cm
Soggetto topico 68R15 - Combinatorics on words [MSC 2020]
11B85 - Automata sequences [MSC 2020]
20F10 - Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020]
03Bxx - General logic [MSC 2020]
20M35 - Semigroups in automata theory, linguistics, etc. [MSC 2020]
11K16 - Normal numbers, radix expansions, Pisot numbers, Salem numbers, good lattice points, etc. [MSC 2020]
Soggetto non controllato Amenable groups
Automata
Automatic sequences
Combinatorics
Discrete dynamical systems
Group of automata
Normal numbers
Number theory
Numeration systems
Symbolic Dynamics
Tilings
Word combinatorics
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0124989
Cham, : Birkhäuser, 2018
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Sequences, Groups, and Number Theory / Valérie Berthé, Michel Rigo editors
Sequences, Groups, and Number Theory / Valérie Berthé, Michel Rigo editors
Pubbl/distr/stampa Cham, : Birkhäuser, 2018
Descrizione fisica xxvi, 576 p. : ill. ; 24 cm
Soggetto topico 03Bxx - General logic [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020]
11B85 - Automata sequences [MSC 2020]
11K16 - Normal numbers, radix expansions, Pisot numbers, Salem numbers, good lattice points, etc. [MSC 2020]
20F10 - Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) [MSC 2020]
20M35 - Semigroups in automata theory, linguistics, etc. [MSC 2020]
68R15 - Combinatorics on words [MSC 2020]
Soggetto non controllato Amenable groups
Automata
Automatic sequences
Combinatorics
Discrete dynamical systems
Group of automata
Normal numbers
Number theory
Numeration systems
Symbolic Dynamics
Tilings
Word combinatorics
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN00124989
Cham, : Birkhäuser, 2018
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Sequences, Groups, and Number Theory / Valérie Berthé, Michel Rigo editors
Sequences, Groups, and Number Theory / Valérie Berthé, Michel Rigo editors
Edizione [Cham : Birkhäuser, 2018]
Pubbl/distr/stampa xxvi, 576 p., : ill. ; 24 cm
Descrizione fisica Pubblicazione in formato elettronico
Soggetto topico 68R15 - Combinatorics on words [MSC 2020]
11B85 - Automata sequences [MSC 2020]
20F10 - Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020]
03Bxx - General logic [MSC 2020]
20M35 - Semigroups in automata theory, linguistics, etc. [MSC 2020]
11K16 - Normal numbers, radix expansions, Pisot numbers, Salem numbers, good lattice points, etc. [MSC 2020]
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0124989
xxvi, 576 p., : ill. ; 24 cm
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Set theory and logic / by Robert R. Stoll
Set theory and logic / by Robert R. Stoll
Autore Stoll, Robert Roth
Pubbl/distr/stampa New York, : Dover, 1979
Descrizione fisica XIV, 474 p. : ill. ; 22 cm.
Soggetto topico 03Exx - Set theory [MSC 2020]
03Bxx - General logic [MSC 2020]
ISBN 978-04-86638-29-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0050331
Stoll, Robert Roth  
New York, : Dover, 1979
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui