Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

#KVHA:Taalkunde; Italiaans --- #KVHA:Semantiek; Italiaans --- Compositionality (Linguistics) --- Semantics. --- Compositionality (Linguistics). --- Semantics --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Composition (Linguistics) --- Comparative linguistics --- Information theory --- Language and languages --- Lexicology --- Meaning (Psychology) --- Grammar, Comparative and general --- Hierarchy (Linguistics)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Gödel, Löwenheim-Skolem) introducendo i concetti sintattici e semantici in modo progressivo, dalla logica booleana a quella predicativa. Per facilitare la lettura attiva, il testo contiene numerosi esercizi.

Algebra, Boolean. --- Logic, Symbolic and mathematical. --- Logic. --- Mathematics -- Philosophy. --- Mathematics. --- Predicate (Logic). --- Mathematics --- Physical Sciences & Mathematics --- Mathematical Theory --- Predicate (Logic) --- Boolean algebra --- Boole's algebra --- Predicables (Logic) --- Predication (Logic) --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Mathematical logic. --- Semantics. --- Mathematical Logic and Foundations. --- Mathematical Logic and Formal Languages. --- Algebraic logic --- Set theory --- Categories (Philosophy) --- Language and logic --- Logic --- Intellect --- Philosophy --- Psychology --- Science --- Reasoning --- Thought and thinking --- Methodology --- Computer science. --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Comparative linguistics --- Information theory --- Language and languages --- Lexicology --- Meaning (Psychology) --- Informatics --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Syllogism

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Due miliardi e mezzo di utenti internet, oltre un miliardo di account Facebook, 550 milioni di profili Twitter. Che parlano, discutono, si confrontano sui temi più svariati. Un flusso in continuo divenire di informazioni che dà sostanza ogni giorno al mondo dei Big Data. Ma come si analizza concretamente il “sentiment” della Rete? Quali sono i pregi e i limiti dei diversi metodi esistenti? E a quali domande possiamo dare una risposta? Dopo aver presentato le varie tecniche di analisi testuale applicate ai social media, questo libro discute di come l’informazione presente in Rete sia in grado di aiutarci a meglio comprendere il presente e a fare previsioni sul futuro riguardo a una molteplicità di fenomeni sociali, che spaziano dall’andamento dei mercati finanziari, alla diffusione di malattie, alle rivolte e ai sommovimenti popolari fino ai risultati dei talent show, prima di concentrarsi su due casi specifici: l’andamento della felicità degli italiani giorno per giorno, e i risultati delle campagne elettorali in Francia, Stati Uniti e Italia tra il 2012 e il 2013.

Mathematics --- Physical Sciences & Mathematics --- Mathematical Statistics --- Social media. --- Social networks. --- Computational linguistics. --- User-generated media --- Networking, Social --- Networks, Social --- Social networking --- Social support systems --- Support systems, Social --- Automatic language processing --- Language and languages --- Language data processing --- Linguistics --- Natural language processing (Linguistics) --- Data processing --- Statistics. --- Data mining. --- Semantics. --- Social sciences. --- Statistics for Social Science, Behavorial Science, Education, Public Policy, and Law. --- Social Sciences, general. --- Data Mining and Knowledge Discovery. --- Statistics for Social Science, Behavioral Science, Education, Public Policy, and Law. --- Behavioral sciences --- Human sciences --- Sciences, Social --- Social science --- Social studies --- Civilization --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Comparative linguistics --- Information theory --- Lexicology --- Meaning (Psychology) --- Algorithmic knowledge discovery --- Factual data analysis --- KDD (Information retrieval) --- Knowledge discovery in data --- Knowledge discovery in databases --- Mining, Data --- Database searching --- Statistical analysis --- Statistical data --- Statistical methods --- Statistical science --- Econometrics --- Applied linguistics --- Cross-language information retrieval --- Mathematical linguistics --- Multilingual computing --- Interpersonal relations --- Cliques (Sociology) --- Microblogs --- Communication --- User-generated content --- Statistics for Social Sciences, Humanities, Law. --- Statistics .