elementi di logica外语英文电子书

《elementi di logica外语英文电子书》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、UniversitadiTorinoQUADERNIDIDATTICIdelDipartimentodiMatematicaDomenicoZambellaElementidiLogicaUn`corsopratico'diintroduzioneallamatematicaperilprimoannodellalaureaininformaticaQuaderno#19-Settembre2003......................................................................................

2、..........................PrefazioneQuestisonogliappuntiusatitrail2002edil2004perilcorsodiLogicaMatematicadellalaureabreve(anzi,brevissima)inInformatica.LogicaMatematicaeilprimocorsonelcurriculumdellostudente;forniscealcunenozionidibasesuinsiemi,relazioni,funzioni,induzione,ecc.e,piuin

3、generale,cercadifamiliarizzarelostudentecollinguaggiodellamatematica.(Ammetto,iltitolodelcorsoebenpiuambizioso,mabisognafareiconticonlarealta.Perfareunparagone,immaginatevididoverinsegnareuncorsointitolatoAnalisiMatematicaachinonhaancoraimparatoarisolvereunadisequazione...)Spessoglist

4、udentisonoabituatiadapplicareproceduremeccanicheedhannotrascuratolecapacitacreativechesonoindispensabiliperarontarelamatematica.Questocorsocercadiriabilitarequestefunzioni.Ilcompitoesimilequellodichiassisteunpazientecheperlungotempohaavutolegambeimmobilizzate:nonserveanullaspiegareche

5、adognipassosimuovono54muscolidiversi,occorreproporreesercizi.Perquestonehofattocorsopratico.Misonopostoun'obbiettivoconcreto:insegnareilinguaggidelprim'ordine,comefosserolin-guaggidiprogrammazione.Imparareunlinguaggioformalevuoldireancheimparareapensareinterminilogici:peresempio,distingu

6、ereaermazioniesistenzialidaaermazioneuniversali,QuaderniDidatticidelDipartimentodiMatematicaUniversitadiTorinooseguireunargomentoinduttivo,ecc.Lamiasperanzaechequestocorsopossastimolarelosviluppodiquesteabilita.Fareuncorsopraticodiunamateriateoricanoneunacosaovvia.Edeancorpiudi-

7、cilesequestamateriamancadiunatradizionedidatticaomogenea.Cosmoltodellavoroesperimentaleelapubblicazionediquestiappuntivuoleessereuncontributo.QuaderniDidatticidelDipartimentodiMatematicaUniversitadiTorinoIndicePrefazione1.Gliinsiemi1.Gliinsiemi6.L'inclusione:2.L'univ