$close

Suodattimet

Katso tulokset

Suositut Kesäkurssit Logiikkassa

Opiskelijat, jotka haluavat edetä nopeasti opinnoissaan, suorittavat usein osan opinnoistaan kesäkursseina. Lukukausien väliin sijoittuvat opinnot voivat olla hyödyllisiä myös jo työelämässä mukana oleville, joiden tarvitsee tavalla tai toisella hankkia uutta osaamista.

Ota yhteyttä yliopistoihin ja kesäkursseista Logiikkassa 2022

Muita vaihtoehtoja tällä opintoalalla: 
$format_list_bulleted Suodattimet
Lajitteluperuste:
Suositeltu Uusimmat Nimi
Vrije University - Summer & Winter graduate programs
Amsterdam, Alankomaat

Kurssin aikana rohkaisemme osallistujia pohtimaan, miten logiikkaa voidaan soveltaa heidän kiinnostuksen kohteillaan. Logiikka on erityyppisten päättelyjen tutkimista. Logiikk ... +

Kurssin aikana rohkaisemme osallistujia pohtimaan, miten logiikkaa voidaan soveltaa heidän kiinnostuksen kohteillaan. Logiikka on erityyppisten päättelyjen tutkimista. Logiikka on myös tekniikka, työkalu erilaisten ilmiöiden eleganttiin mallintamiseen. Kurssin tavoitteena on esitellä sinulle tämä työkalu ja selittää kuinka sitä voidaan käyttää. Kurssi on jaettu 3 osaan. Esittelemme klassisen logiikan lähtökohtana ja näytämme kuinka monta erilaista päättelyjärjestelmää (logiikkaa) syntyy variaatioina. Esittelemme kaksi perustavaa tapaa tutkia logiikkaa semantiikan ja syntaksin kautta. Jälkimmäinen soveltuu luonnollisesti mallintamiseen ja automatisoituun päättelyyn. Keskustelemme myös toimija- ja tiedonkulkuun keskittyvistä yhteiskuntatieteiden sovelluksista. Otamme käyttöön loogisia formalismeja, joiden avulla voimme mallintaa tilanteita, joissa totuus rakentuu sosiaalisesti, ja kehittää käsitteitä, kuten tieto sekä ryhmä- ja yhteistieto. Hakemusten käsittelyn pääteema on kategorioiden ja luokittelun käsite. Luokittelu on toimintaa, jossa asioita, kuten esineitä tai ideoita, sijoitetaan luokkiin niiden samankaltaisuuksien tai yhteisten kriteerien perusteella. Esittelemme muodollisesti luokitteluteorian, alkaen Aristoteleen klassisesta teoriasta prototyyppi- ja esimerkkiteoriaan asti. Formaalisoimme nämä käsitteet ja selitämme, kuinka logiikan työkaluja voitaisiin käyttää epämääräisyyden sisällyttämiseen tähän teoriaan. Kurssin kolmannessa osassa käytetään osan 1 peruskehitystä ja osan 2 mallinnusintuitiota. Esittelemme muodollisen lingvistiikan tutkimuksen, jossa sanat luokitellaan sen mukaan, mikä rooli niillä on lauseenmuodostuksessa. Sana voidaan luokitella substantiivilauseeksi, transitiiviseksi verbiksi. Syntaktiset kategoriat yhdistetään sitten muodostussääntöjen mukaisesti monimutkaisten lausekkeiden muodostamiseksi. Näemme, kuinka kieliopillisesti oikea lause voidaan sitten kaapata muodollisella todistuksella tai laskentaprosessilla ja kuinka eri lukemat vastaavat erilaisia todisteita. Kurssin yleiskatsaus Kurssipäivät : 4.-15.7.2022 (istunto 1, kampuksella) Kurssin taso : Advanced Bachelor ja Master Koordinoiva luennoitsija : Giuseppe Greco, Apostolos Tzimoulis Muu luennoitsija : Sabine Fritella, vieraileva luennoitsija Opetusmuodot : Luennot, wok- ja keskustelutilaisuudet Arviointimuodot : Harjoitukset ja esitykset Laajuus : 3 op Yhteydenottoajat : 45 -
Kesäkurssit
Täyspäiväinen
2 viikkoa
Englanti
Kampus