{"id":1993,"date":"2023-09-06T11:43:41","date_gmt":"2023-09-06T10:43:41","guid":{"rendered":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/?p=1993"},"modified":"2023-12-24T18:56:41","modified_gmt":"2023-12-24T17:56:41","slug":"corso-di-logica-per-lanno-0-diin-2023-24","status":"publish","type":"post","link":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/1993-corso-di-logica-per-lanno-0-diin-2023-24\/","title":{"rendered":"Corso di Logica per l\u2019anno 0 (DIIN, 2023\/24)"},"content":{"rendered":"\n<h2 class=\"wp-block-heading\">Descrizione del corso<\/h2>\n\n\n\n<h3 class=\"wp-block-heading\">Frequenza<\/h3>\n\n\n\n<p>La frequenza non \u00e8 obbligatoria ma \u00e8&nbsp;<strong>fortemente consigliata<\/strong>.<\/p>\n\n\n\n<h3 class=\"wp-block-heading\">Contenuti<\/h3>\n\n\n\n<p>Durante il corso verr\u00e0 illustrato agli studenti il linguaggio base e gli strumenti essenziali della matematica che costituiscono i fondamenti per affrontare un qualsiasi esami di matematica. Alla fine del corso gli studenti dovrebbero essere in grado di gestire autonomamente concetti elementari di logica, di teoria elementare degli insiemi e delle funzioni e dei numeri reali.<\/p>\n\n\n\n<p>Il corso coprir\u00e0 i seguenti argomenti:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Elementi di logica: \n<ul class=\"wp-block-list\">\n<li>Connettivi logici: congiunzione, disgiunzione, negazione, implicazione, doppia implicazione. <\/li>\n\n\n\n<li>Tavole di verit\u00e0. <\/li>\n\n\n\n<li>Conseguenza logica e equivalenza logica. <\/li>\n\n\n\n<li>Quantificatori universali e esistenziali e loro negazioni.<\/li>\n\n\n\n<li>Dimostrazioni per contronominale e per assurdo. <\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>Elementi di teoria degli insiemi: \n<ul class=\"wp-block-list\">\n<li>Relazione di appartenenza. <\/li>\n\n\n\n<li>Elementi e sottoinsiemi di un insieme. <\/li>\n\n\n\n<li>Inclusione, unione, intersezione, complemento; insieme delle parti e prodotto cartesiano; <\/li>\n\n\n\n<li>Relazioni e funzioni (iniettive\/suriettive\/biiettive), grafici di funzioni (esempi di vario tipo, fra cui le funzioni elementari e funzioni definite a tratti). <\/li>\n\n\n\n<li>Concetto di partizione di un insieme. Relazioni di equivalenza e insiemi quozienti. Relazioni ordine parziali e totali, massimo, minimo, massimale, minimale, inf, sup. <\/li>\n\n\n\n<li>Numeri naturali e principio di induzione.<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n\n\n\n<p>Pi\u00f9 dettagliatamente, qui sotto saranno elencati i contenuti delle singole lezioni.<\/p>\n\n\n\n<ol class=\"wp-block-list\">\n<li><strong>26 settembre 2023 <\/strong>(<a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-content\/uploads\/2023-24-anno-preparazione\/Logica%20Anno%20Di%20Preparazione%20(trascinato).pdf\">appunti lezione<\/a>) Introduzione al corso e test auto valutativo.<\/li>\n\n\n\n<li><strong>28 settembre 2023<\/strong> (<a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-content\/uploads\/2023-24-anno-preparazione\/Logica%20Anno%20Di%20Preparazione%20(trascinato)%202.pdf\">appunti lezione<\/a>) Le ambiguit\u00e0 del linguaggio naturale: esiste, oppure, tutti e soli.<\/li>\n\n\n\n<li><strong>3 ottobre 2023<\/strong> (<a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-content\/uploads\/2023-24-anno-preparazione\/Logica%20Anno%20Di%20Preparazione%20(trascinato)%203.pdf\">appunti lezione<\/a>) Insiemi e loro rappresentazioni.<\/li>\n\n\n\n<li><strong>5 ottobre 2023<\/strong> (<a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-content\/uploads\/2023-24-anno-preparazione\/Logica%20Anno%20Di%20Preparazione%20(trascinato)%204.pdf\">appunti lezione<\/a>) Esercizi sugli insiemi.  Variabili libere e vincolate.<\/li>\n\n\n\n<li><strong>10 ottobre 2023<\/strong> (<a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-content\/uploads\/2023-24-anno-preparazione\/Logica%20Anno%20Di%20Preparazione%20(trascinato)%205.pdf\">appunti lezione<\/a>) Gli insiemi definiti tramite propriet\u00e0.<\/li>\n\n\n\n<li><strong>12 ottobre 2023<\/strong> (<a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-content\/uploads\/2023-24-anno-preparazione\/Logica%20Anno%20Di%20Preparazione%20(trascinato)%206.pdf\">appunti lezione<\/a>) Implicazione e negazione. Esercizi.<\/li>\n\n\n\n<li><strong>17 ottobre 2023<\/strong> (<a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-content\/uploads\/2023-24-anno-preparazione\/Logica%20Anno%20Di%20Preparazione%20(trascinato)%207.pdf\">appunti lezione<\/a>) Negazione di enunciati e inferenze.<\/li>\n\n\n\n<li><strong>19 ottobre 2023<\/strong> (<a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-content\/uploads\/2023-24-anno-preparazione\/Logica%20Anno%20Di%20Preparazione%20(trascinato)%208.pdf\">appunti lezione<\/a>) Variabili numeriche e indici.<\/li>\n\n\n\n<li><strong>24 ottobre 2023<\/strong> (<a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-content\/uploads\/2023-24-anno-preparazione\/Logica%20Anno%20Di%20Preparazione%20(trascinato)%209.pdf\">appunti lezione<\/a>) Sommatorie e produttorie.<\/li>\n\n\n\n<li><strong>26 ottobre 2023<\/strong> (<a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-content\/uploads\/2023-24-anno-preparazione\/Logica%20Anno%20Di%20Preparazione%20(trascinato)-10.pdf\">appunti lezione<\/a>) Ripasso degli argomenti svolti.<\/li>\n\n\n\n<li><strong>31 ottobre 2023<\/strong> (<a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-content\/uploads\/2023-24-anno-preparazione\/Logica%20Anno%20Di%20Preparazione%20(trascinato)-11.pdf\">appunti lezione<\/a>) Coerenza sintattica di una formula.<\/li>\n\n\n\n<li><strong>2 novembre 2023<\/strong> (<a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-content\/uploads\/2023-24-anno-preparazione\/Logica%20Anno%20Di%20Preparazione%20(trascinato)-12.pdf\">appunti lezione<\/a>) Il principio di induzione.<\/li>\n\n\n\n<li><strong>7 novembre 2023<\/strong> (<a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-content\/uploads\/2023-24-anno-preparazione\/Logica%20Anno%20Di%20Preparazione%20(trascinato)-13.pdf\">appunti lezione<\/a>) Le definizioni matematiche.<\/li>\n\n\n\n<li><strong>9 novembre 2023<\/strong> (<a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-content\/uploads\/2023-24-anno-preparazione\/Logica%20Anno%20Di%20Preparazione%20(trascinato)-14.pdf\">appunti lezione<\/a>) Studiare una definizione.<\/li>\n\n\n\n<li><strong>14 novembre 2023<\/strong> (<a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-content\/uploads\/2023-24-anno-preparazione\/Logica%20Anno%20Di%20Preparazione%20(trascinato)-15.pdf\">appunti lezione<\/a>) Esercitazione.<\/li>\n\n\n\n<li><strong>16 novembre 2023<\/strong> (<a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-content\/uploads\/2023-24-anno-preparazione\/Logica%20Anno%20Di%20Preparazione%20(trascinato)-16.pdf\">appunti lezione<\/a>) Esercitazione.<\/li>\n\n\n\n<li><strong>21 novembre 2023<\/strong> (<a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-content\/uploads\/2023-24-anno-preparazione\/Logica%20Anno%20Di%20Preparazione%20(trascinato)-17.pdf\">appunti lezione<\/a>) Esercitazione.<\/li>\n\n\n\n<li><strong>23 novembre 2023<\/strong> (<a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-content\/uploads\/2023-24-anno-preparazione\/Logica%20Anno%20Di%20Preparazione%20(trascinato)-18.pdf\">appunti lezione<\/a>) Esercitazione.<\/li>\n\n\n\n<li><strong>28 novembre 2023<\/strong> (<a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-content\/uploads\/2023-24-anno-preparazione\/simulazione-verifica.pdf\">Testo verifica<\/a>) Simulazione verifica finale.<\/li>\n\n\n\n<li><strong>30 novembre 2023<\/strong> (<a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-content\/uploads\/2023-24-anno-preparazione\/Logica%20Anno%20Di%20Preparazione%20(trascinato)-19.pdf\">appunti lezione<\/a>) Correzione.<\/li>\n\n\n\n<li><strong><s>5 dicembre 2023<\/s><\/strong> <\/li>\n\n\n\n<li><strong>7 dicembre 2023<\/strong> (<a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-content\/uploads\/2023-24-anno-preparazione\/Logica%20Anno%20Di%20Preparazione%20(trascinato)-20.pdf\">appunti lezione<\/a>) Correzione.<\/li>\n\n\n\n<li><strong>12 dicembre 2023<\/strong> (<a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-content\/uploads\/2023-24-anno-preparazione\/Logica%20Anno%20Di%20Preparazione%20(trascinato)-21.pdf\">appunti lezione<\/a>) Esercitazione.<\/li>\n\n\n\n<li><strong>14 dicembre 2023<\/strong> (<a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-content\/uploads\/2023-24-anno-preparazione\/Logica%20Anno%20Di%20Preparazione%20(trascinato)-22.pdf\">appunti lezione<\/a>) Esercitazione.<\/li>\n\n\n\n<li><strong>19 dicembre 2023<\/strong> (<a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-content\/uploads\/verifica-finale.pdf\">testo<\/a>, <a href=\"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-content\/uploads\/Esiti-verifica-finale.pdf\">esiti<\/a>) Verifica finale.<\/li>\n<\/ol>\n\n\n\n<h2 class=\"wp-block-heading\">Materiale del corso<\/h2>\n\n\n\n<ul class=\"wp-block-list\">\n<li><strong>Testi consigliati:<\/strong>\n<ul class=\"wp-block-list\">\n<li>M.Bramanti-G.Travaglini: Matematica. Questione di Metodo &#8211; Zanichelli (2009)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n\n\n\n<h2 class=\"wp-block-heading\">Aspetti pratici<\/h2>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Docenti:&nbsp;<a href=\"mailto:luca.spada@gmail.com\">Luca Spada<\/a><\/li>\n<\/ul>\n\n\n\n<h3 class=\"wp-block-heading\">Crediti\/ore:<\/h3>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Durata: 60 ore (12 settimane).<\/li>\n<\/ul>\n\n\n\n<h3 class=\"wp-block-heading\">Date\/aule:<\/h3>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Le lezioni cominceranno la settimana del 25 settembre 2023.<\/li>\n\n\n\n<li>Ci sono due lezioni a settimana, una di 2 ore e una di 3.<\/li>\n<\/ul>\n\n\n\n<h2 class=\"wp-block-heading\">Esercizi\/Esami<\/h2>\n\n\n\n<h3 class=\"wp-block-heading\">Esame:<\/h3>\n\n\n\n<ul class=\"wp-block-list\">\n<li>La valutazione del raggiungimento degli obiettivi prefissati avviene mediante un test a risposta multipla.<\/li>\n<\/ul>\n\n\n\n<h3 class=\"wp-block-heading\">Appelli d\u2019esame:<\/h3>\n\n\n\n<ul class=\"wp-block-list\">\n<li><strong>29 gennaio<\/strong> ore 14:00, aula 129 edificio E.<\/li>\n\n\n\n<li><strong>23 febbraio<\/strong> ore 9:30, aula C edificio E2.<\/li>\n\n\n\n<li>2 nel periodo giugno-luglio<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Descrizione del corso Frequenza La frequenza non \u00e8 obbligatoria ma \u00e8&nbsp;fortemente consigliata. Contenuti Durante il corso verr\u00e0 illustrato agli studenti il linguaggio base e gli strumenti essenziali della matematica che costituiscono i fondamenti per affrontare un qualsiasi esami di matematica. Alla fine del corso gli studenti dovrebbero essere in grado di gestire autonomamente concetti elementari [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[3],"tags":[],"class_list":["post-1993","post","type-post","status-publish","format-standard","hentry","category-teaching"],"blocksy_meta":[],"_links":{"self":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/1993","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/comments?post=1993"}],"version-history":[{"count":24,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/1993\/revisions"}],"predecessor-version":[{"id":2134,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/posts\/1993\/revisions\/2134"}],"wp:attachment":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/media?parent=1993"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/categories?post=1993"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/tags?post=1993"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}