Mangione, Corrado, Elementi di logica matematica, Boringhieri, Torino 1968.12

[i][b][c][1.0.44][r][a]
Mangione, Corrado
Elementi di logica matematica
Boringhieri
[Serie di Ricerca Operativa 1]
Torino 1968.12^.1

#logica #matematica
ig01#logica ig01#matematica
ig02#logica ig02#matematica

[i][b][c] INDICE:

1		[collana]
2		[collana]
3		[frontespizio]
4		[colophon]
5		Indice
7		Prefazione [ di Piero Buzano ]
9		[dedica]
11		{titolo}
11	1.	Introduzione
13	1.	Cenni storici
13		Aristotele i megarico-stoici
15		La logica medioevale
16		G. W. Leibniz
17		Il secolo diciannovesimo
19		La crisi dei fondamenti
20		sviluppi più recenti
21	2.	Gli enunciati e la loro struttura
22		Enunciati semplici
23		Enunciati composti I connettivi
25		Forme enunciative. Quantificatori
28	3.	Teoria del significato
33		Funzioni di verità
40		Funzioni di quantificazione
42	4.	Linguaggio
44		Sintassi e semantica
46		Linnguaggio oggetto e metalinguaggio
48		I due aspetti della relazione di inferenza
52		Distinzione dei livelli logici
55	2.	La logica degli enunciati
55	5.	Il linguaggio LE
57		Espressioni
57	6.	Il calcolo CE
58		Schema generale delle regole
59		Formulazione delle singole regole
61	7.	Esemplificazione delle regole
64	8.	Definizione dei concetti di derivazione, derivabilità e tesi
65	9.	Esempi
67	10.	Il sistema SE
68		Interpretazione. Espressioni “giuste”
70		Tavole di verità
73		forme normali
78	11.	Validità e completezza
78		Validità
82		Completezza
86	3.	La logica dei predicati
86	12.	Il linguaggio LP
87		Alfabeto
91	13.	Il calcolo CP
91		Le regole “enunciative”
91		Le regle “predicative”
98		Preliminari al concetto di derivazione
102		Definizione dei concetti di derivazione derivabilità e tesi
104	14.	Esempi di derivazione naturale nel calcolo dei predicati
105	15.	Il sistema SP
106		Interpretazione
112		Modello, soddisfacibilità, validità
113		Conseguenza
114		Indipendenza delle interpretazioni dalla “natura” degli universi
117		Uniformazione delle espressioni della logica dei predicati
120	16.	Validità e completezza
120		Validità
122		Completezza
124	17.	Cenni sul problema della decisione
127		Bibliografia
127		[storia della logica]
127		[introduzioni]
127		[manuali]
127		[temi particolari]
127		[opere a carattere più generale]
127		_
128		[tipografia]
128		___

[i][b][c] BIBLIOGRAFIA: (20 opere)
bibliografie parziali: (20 opere)

[storia della logica] [] (3 opere)
Bocheński, J. M.	[1956]	Formale Logik	Verlag Karl Alber	Freiburg im Breisgau	1956
Kneale, W. C. Hurst Kneale, M.	[1962]	The Development of Logic	Oxford University Press	Oxford	1962
Scholz, H.	[1962]	Storia della logica	Silva	Milano	1962
[introduzioni] [] (2 opere)
Dubarle, R. P.	[1957]	Initiation à la logique		Paris	1957
Pasquinelli, A.	[1957]	Introduzione alla logica simbolica	Boringhieri	Torino	1965.09
[manuali] [] (10 opere)
Carnap, R.	[1954]	Einführung in die symbolische Logik		Upper Austria	1954
Casari, E.	[1961]	Lineamenti di logica matematica	Feltrinelli	Milano	1964
Church, A.	[1956]	Introduction to Mathematical Logic	Princeton University Press	Princeton	1956
Curry, H. B.	[1963]	Foundations of mathematical logic		New York	1963
Hermes, H.	[1963]	Einführung in die mathematische Logik		Stuttgart	1963
Hermes, H. Scholz, H.		Mathematische Logik			in
	[1952]	«Enzyklopädie der mathematischen Wissenschaften», vol .1, pt. 1, N. 1		Leipzig	1952
Hilbert, D. Ackermann, W. F.	[1959]	Grundzüge der theoretischen Logik		Berlin	1949
Lewis, C. I. Langford, C. H.	[1959]	Symbolic Logic		New York	1959
Van Orman Quine, W.	[1960]	Manuale di logica	Feltrinelli	Milano	1960.05
Scholz, H. Hasenjäger, G. F. R.	[1961]	Grundzüge der mathematischen Logik		Berlin	1961
[temi particolari] [] (2 opere)
Agazzi, E.	[1962]	Introduzione ai problemi dell'assiomatica	Editrice Vita e Pensiero	Milano	1961
Casari, E.	[1959]	Computabilità e ricorsività		Milano	1959
[opere a carattere più generale] [] (3 opere)
Beth, E. W.	[1963]	I fondamenti logici della matematica	Feltrinelli	Milano	1963.033
Beth, E. W.	1959	The Foundations of Mathematics		Amsterdam	1959
Kleene, S. C.	1959	Introduction to Metamathematics	North-Holland Publishing Company	Amsterdam	1952

bibliografie parziali unificate: (20 opere)

Autore	Rif.	Titolo	Editore	Città	Anno
Agazzi, E.	[1962]	Introduzione ai problemi dell'assiomatica	Editrice Vita e Pensiero	Milano	1961
Beth, E. W.	1959	The Foundations of Mathematics		Amsterdam	1959
Beth, E. W.	[1963]	I fondamenti logici della matematica	Feltrinelli	Milano	1963.033
Bocheński, J. M.	[1956]	Formale Logik	Verlag Karl Alber	Freiburg im Breisgau	1956
Carnap, R.	[1954]	Einführung in die symbolische Logik		Upper Austria	1954
Casari, E.	[1959]	Computabilità e ricorsività		Milano	1959
Casari, E.	[1961]	Lineamenti di logica matematica	Feltrinelli	Milano	1964
Church, A.	[1956]	Introduction to Mathematical Logic	Princeton University Press	Princeton	1956
Curry, H. B.	[1963]	Foundations of mathematical logic		New York	1963
Dubarle, R. P.	[1957]	Initiation à la logique		Paris	1957
Hermes, H. Scholz, H.		Mathematische Logik			in
	[1952]	«Enzyklopädie der mathematischen Wissenschaften», vol .1, pt. 1, N. 1		Leipzig	1952
Hermes, H.	[1963]	Einführung in die mathematische Logik		Stuttgart	1963
Hilbert, D. Ackermann, W. F.	[1959]	Grundzüge der theoretischen Logik		Berlin	1949
Kleene, S. C.	1959	Introduction to Metamathematics	North-Holland Publishing Company	Amsterdam	1952
Kneale, W. C. Hurst Kneale, M.	[1962]	The Development of Logic	Oxford University Press	Oxford	1962
Lewis, C. I. Langford, C. H.	[1959]	Symbolic Logic		New York	1959
Pasquinelli, A.	[1957]	Introduzione alla logica simbolica	Boringhieri	Torino	1965.09
Scholz, H. Hasenjäger, G. F. R.	[1961]	Grundzüge der mathematischen Logik		Berlin	1961
Scholz, H.	[1962]	Storia della logica	Silva	Milano	1962
Van Orman Quine, W.	[1960]	Manuale di logica	Feltrinelli	Milano	1960.05

[i][b][c] CRONOLOGIA:

Generato il giorno: 2020-05-28T17:30:54+02:00 (Unix Time: 1590679854)
Precedente aggiornamento il giorno: 2018.1126
Prima registrazione il giorno: 2018.1126
Aggiornato 2 volte
Dimensione approssimata della pagina: 40599 caratteri (body: 39121)
Versione: 1.0.44

Privacy Policy