Soggettario del Sistema bibliotecario ticinese Thesaurus redatto dalla Biblioteca Nazionale Centrale di Firenze contenente i termini validi per la soggettazione di documenti in lingua italiana. Questa raccolta contempla inoltre i termini regionali in uso nella Svizzera italiana (per esempio Aggregazioni comunali, Amministrazione federale), a cura del Gruppo Soggetti Sbt. Ricerca   inizia con termine esatto contiene termine Sbt (contiene)         I termini biografici e i termini geografici (nomi di persone, collettività e nomi di luogo) non vi sono contemplati.  Link PDF al Manuale applicativo di soggettazione ad uso degli indicizzatori del Sistema bibliotecario ticinese.
	Termine: Logica matematica Catalogo soggetti Sbt: cantonale - scolastico Catalogo temi fiction Sbt: cantonale - scolastico Macrocategoria - Categoria: Azioni - Discipline Definizione: - Nota d'ambito: Parte della logica moderna, o simbolica, strutturata in un sistema di calcolo formale, elaborata soprattutto in età contemporanea Usato per (UF): Logica matematica <Logica simbolica> Termini obsoleti (HSF): Logica simbolica Termini più generali (BT): Matematica Scienze Discipline Termini più specifici (NT): Analisi non standard Logica combinatoria Logica fuzzy Logiche non classiche Matematica complementare Termini associati (RT): Algebra booleana Algoritmi Calcolo proposizionale Equazioni logiche Linguaggi formali Logica Logica formale Quadrati magici Teorema di incompletezza di Gödel Teoria dei modelli Teoria della dimostrazione Teoria delle definizioni   Nota storica: Precedentemente in Thesaurus anche il sinonimo: Logica simbolica (fino a ottobre 2019) Nota sintattica: - Classificazione Dewey: 511.3 Risorsa esterna: http://d-nb.info/gnd/4037951-6 http://data.bnf.fr/ark:/12148/cb11965690r http://datos.bne.es/resource/XX525820 http://id.loc.gov/authorities/subjects/sh85078115 http://www.wikidata.org/wiki/Q1166618 Fonte: BNCF Data inserimento: 07.05.2005 Identificativo: 7927
	Fonte: Biblioteca Nazionale Centrale, Firenze (BNCF) con licenza Creative Commons Attribuzione 2.5, aggiornati semestralmente, ultimo aggiornamento 22.03.2024. Termini regionali a cura del Gruppo Soggetti del Sistema bibliotecario ticinese (Sbt). [Concept: 33924 (BNCF marzo 2024) / 1146 (Sbt)]