Scarica Libri Gratuiti

Scarica libri ed ebooks (I migliori libri in formato PDF, EPUB, etc)

Cerca negli ebook:

Numero totale di libri trovati 40 per la tua ricerca. Scarica gli ebook e divertiti!
Categoricità e modelli intesi. Temi di filosofia dell'aritmetica del secondo ordine

Categoricità e modelli intesi. Temi di filosofia dell'aritmetica del secondo ordine

Autore: Ciro L. De Florio ,

Numero di pagine: 176
Parlare

Parlare

Autore: Edoardo A. D'Elia ,

Numero di pagine: 160

Non esistono segreti per il discorso perfetto, per vincere tutti i dibattiti e per sedurre chiunque. Ma ci sono tecniche, con una storia millenaria, per scegliere bene di cosa parlare, per creare una salda struttura logico- argomentativa e per analizzare il contesto e l'interlocutore in modo da non farsi mai cogliere impreparati. • Come si prepara, si memorizza e si tiene un discorso? • Come si disinnesca l'ansia di parlare in pubblico? • Come si fa a convincere ed emozionare chi ci ascolta? • Che cosa dire durante un esame orale, una riunione o un colloquio di lavoro? • Quanto deve durare un messaggio vocale? Il volume risponde a queste domande e si rivolge a tutti coloro che, per esigenze di studio o professionali, hanno bisogno di parlare in maniera chiara, precisa ed efficace. Dopo aver illustrato i principi e le tecniche fondamentali della comunicazione orale, l'autore passa ad analizzare nel dettaglio un'ampia serie di casi concreti e alcune situazioni comunicative tipiche dell'era digitale. Completa l'opera una sezione di esercizi per consentire al lettore di far pratica in autonomia delle tecniche apprese.

Prove logiche dell'esistenza di Dio da Anselmo d'Aosta a Kurt Gödel

Prove logiche dell'esistenza di Dio da Anselmo d'Aosta a Kurt Gödel

Autore: Roberto Giovanni Timossi ,

Numero di pagine: 496
Semantica. Forme, Modelli e Problemi

Semantica. Forme, Modelli e Problemi

Autore: Paolo Petricca ,

Numero di pagine: 184

La semantica può essere considerata come una delle sfide più avvincenti e proibitive della lingua. Quali sono le componenti essenziali del significato? Quale confine è possibile tracciare tra il contenuto linguistico e quello extra-linguistico? Quale tipo di modello rappresenta meglio la semantica linguistica? E come fare interagire tra loro modelli diversi? Il testo, di taglio specialistico, analizza, valuta e coordina i diversi approcci, presentandoli separatamente a seconda delle scuole e delle discipline di appartenenza. La tripartizione delle teorie in linguistiche, formali e computazionali seguirà le diverse discipline coinvolte, a partire da una prospettiva storica sul secolo scorso, fino ai più recenti approcci multi-disciplinari. L’analisi mostrerà come dalle divisioni disciplinari classiche del Ventesimo secolo, si sia passati a una bipartizione metodologica che scinde le prospettive modellistiche da quelle descrittive. Una particolare attenzione viene dedicata alle specifiche forme disciplinari e agli aspetti modellistici; tale focus produce una vasta gamma di considerazioni metodologiche sulla semantica lessicale, cognitiva, formale e computazionale. Emerge...

Scienziati e technologi contemporanei: Adams, Roger a Hodgkin, Dorothy.-v.2.Hoffman, Samuel K. a Stanley, Wendell M.-v.3.Starr, Chauncey a Zworykin, Vladimir K. Annali della scienza e della tecnica contemporanee 1875-1975

Scienziati e technologi contemporanei: Adams, Roger a Hodgkin, Dorothy.-v.2.Hoffman, Samuel K. a Stanley, Wendell M.-v.3.Starr, Chauncey a Zworykin, Vladimir K. Annali della scienza e della tecnica contemporanee 1875-1975

Introduzione alla logica. Dalla teoria dell'argomentazione alla logica formale

Introduzione alla logica. Dalla teoria dell'argomentazione alla logica formale

Autore: Pasquale Frascolla ,

Numero di pagine: 261
La computabilità: algoritmi, logica, calcolatori

La computabilità: algoritmi, logica, calcolatori

Autore: Marcello Frixione , Dario Palladino ,

Numero di pagine: 142
Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità

Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità

Autore: Dario Palladino ,

Numero di pagine: 202
Dialogare: compendio di logica

Dialogare: compendio di logica

Autore: Riccardo Bruni ,

Numero di pagine: 194

La ‘logica’ com’è intesa in questo volume è l’insieme di conoscenze alla base delle facoltà raziocinanti dell’uomo: comprendere, analizzare, argomentare. Il testo presenta una rassegna di argomenti utili per rafforzare le competenze a esse connesse attraverso una breve introduzione agli aspetti teorici ed esercizi dedicati alla verifica della comprensione. Il volume è suddiviso in parti organizzate in unità didattiche. Le parti e le unità sono presentate in modo tale che, seguendone il filo nell’ordine nel quale sono proposte, si passi da un argomento al successivo acquisendo di volta in volta i prerequisiti necessari per il prosieguo. Il testo si presta dunque a un uso ‘sistematico’, finalizzato a uno studio esaustivo. Nulla vieta però di adattare il materiale ad altre esigenze, scegliendo solo alcuni argomenti che si ritengono utili a colmare le proprie carenze, per fare un ‘ripasso’ o per esercitarsi su argomenti già noti.

Guida alla teoria degli insiemi

Guida alla teoria degli insiemi

Autore: Gabriele Lolli ,

Numero di pagine: 148

Il libro vuole aiutare a studiare la teoria degli insiemi indicando l'articolazione della teoria, a partire dal concetto di infinito per arrivare alla definizione dei numeri, sia finiti sia infiniti, con la diramazione tra ordinali e cardinali; insiste sulle proprietà degli insiemi numerabili, e sul continuo. Non sostituisce un manuale, perché non ci sono tutte le dimostrazioni ma solo alcune, considerate importanti, che danno il gusto dello stile di questa materia. Ricorda come la teoria sia nata dalle esigenze dell'analisi matematica e come sia legata al problema dei fondamenti; discute il riduzionismo e presenta anche la teoria alternativa rivale delle categorie. Distingue la teoria propria dell'infinito dal linguaggio insiemistico che pervade la matematica. Nelle applicazioni si insiste sul principio di induzione e sulle definizioni induttive, e sulla derivazione delle proprietà degli insiemi finiti, con tutte le definizioni equivalenti di finito, e si indica lo studio delle versioni effettive dei risultati teorici, in particolare la definizione esplicita di funzioni ed enumerazioni, fino gettare un ponte con la teoria della calcolabilità, in vista dell'insegnamento.

Ultimi ebook e autori ricercati