Secondo eserciziario di logica. Sillogistica, logica del primo ordine e modelli

Questo secondo eserciziario completa il percorso avviato con il primo, pubblicato nel 2024. Raccoglie esercizi sulla sillogistica, sulla sintassi e sulla semantica della logica del primo ordine, sulle forme prenesse e sulla Skolemizzazione, nonché su modelli e validità. Un capitolo è dedicato alle dimostrazioni in deduzione naturale e mediante il calcolo dei sequenti. Il volume si conclude con un ampio capitolo dedicato ai puzzle logici - dai classici «cavalieri e furfanti» al test di Wason. Come nel primo eserciziario, anche in questo ogni capitolo è introdotto da brevi richiami teorici che orientano le lettrici e i lettori, accompagnandoli nella risoluzione degli esercizi.

EAN

9788815393470

Data pubblicazione

2026 01 30

Lingua

ita

Pagine

320

Tipologia

Libro in brossura

Altezza (mm)

240

Larghezza (mm)

172

Spessore (mm)

21

Peso (gr)

420

Come si presenta questo libro

Gioco, attività e coinvolgimento immediato

Qui il valore è nella partecipazione: attività, gioco guidato e ingresso molto semplice aiutano a rendere il libro immediato.

Cosa trovi dentro

Dentro trovi soprattutto attività da fare, gioco educativo e quiz.

Perché può piacerti

Può funzionare bene per bambini piccoli e genitori ed educatori, con un tono illustrato e facile e un approccio accessibile.

Ideale per
Ideale per momenti da fare insieme

Funziona bene in contesti in cui si cerca coinvolgimento immediato, facilità d’uso e possibilità di fare insieme qualcosa di concreto.

Product Information

Shipping & Returns

Edizione
Acquisto
Disponibile
From €30.00
Secondo eserciziario di logica. Sillogistica, logica del primo ordine e modelli
€30.00