22 suhteet: Aakkosto (logiikka), Aksiooma, Alfred Tarski, David Hilbert, Filosofia, Formaali kieli, Joukko-oppi, Kalkyyli, Kielitiede, Kurt Gödel, Logiikkapohjainen ohjelmointi, Luonnollinen päättely, Matematiikan käsikirja, Matematiikka, Ohjelmointiparadigma, Predikaatti, Predikaattilogiikka, Prolog, Semantiikka, Subjekti, Symbolinen logiikka, Syntaksi.
Aakkosto (logiikka)
Aakkosto on äärellinen, ei-tyhjä joukko merkkejä, joita käytetään kielen muodostamiseen.
Uusi!!: Predikaattilogiikka ja Aakkosto (logiikka) · Katso lisää »
Aksiooma
Aksiooma on matematiikassa peruskäsitteiden epäsuora määritelmä, jota käytetään päättelyssä muiden tulosten todistamiseen.
Uusi!!: Predikaattilogiikka ja Aksiooma · Katso lisää »
Alfred Tarski
Tarski vuonna 1968. Banachin–Tarskin paradoksi: pallo voidaan hajottaa ja järjestää siten, että syntyy kaksi palloa, joista molemmat ovat yhtä suuria kuin alkuperäinen pallo. Alfred Tarski (14. tammikuuta 1901 Varsova, Puola – 26. lokakuuta 1983 Berkeley, Yhdysvallat) oli puolalainen loogikko ja matemaatikko, jolla on ollut myös suuri filosofinen merkitys.
Uusi!!: Predikaattilogiikka ja Alfred Tarski · Katso lisää »
David Hilbert
Valokuva vuodelta 1912 David Hilbert (23. tammikuuta 1862 Wehlau, lähellä Königsbergiä, Preussi (nykyinen Kaliningrad, Venäjä) – 14. helmikuuta 1943 Göttingen, Saksa) oli saksalainen matemaatikko.
Uusi!!: Predikaattilogiikka ja David Hilbert · Katso lisää »
Filosofia
Filosofia on noin 600–400 eaa.
Uusi!!: Predikaattilogiikka ja Filosofia · Katso lisää »
Formaali kieli
Formaali kieli on tietojenkäsittelytieteessä, matematiikassa ja logiikassa äärellisen pituisten merkkijonojen joukko, jotka on muodostettu jostakin äärellisestä aakkostosta.
Uusi!!: Predikaattilogiikka ja Formaali kieli · Katso lisää »
Joukko-oppi
Eulerin diagrammeilla. leikkausta esittävä Venn-diagrammi. Joukko-oppi on joukkojen ominaisuuksiin perehtynyt matematiikan osa-alue.
Uusi!!: Predikaattilogiikka ja Joukko-oppi · Katso lisää »
Kalkyyli
Kalkyyli on yksinkertaisimmillaan aksioomista ja syntaktisista päättelysäännöistä muodostuva merkkijonoihin liittyvä formaali systeemi.
Uusi!!: Predikaattilogiikka ja Kalkyyli · Katso lisää »
Kielitiede
Kielitiede eli lingvistiikka on kieltä tutkiva tiede.
Uusi!!: Predikaattilogiikka ja Kielitiede · Katso lisää »
Kurt Gödel
Kurt Friedrich Gödel (28. huhtikuuta 1906 Brünn – 14. tammikuuta 1978 Princeton) oli itävaltalais-yhdysvaltalainen matemaatikko ja filosofi, jota pidetään yhtenä kaikkien aikojen merkittävimmistä loogikoista.
Uusi!!: Predikaattilogiikka ja Kurt Gödel · Katso lisää »
Logiikkapohjainen ohjelmointi
Logiikkapohjainen ohjelmointikieli kuvaa maailman faktoina ja faktojen välisinä suhteina.
Uusi!!: Predikaattilogiikka ja Logiikkapohjainen ohjelmointi · Katso lisää »
Luonnollinen päättely
Luonnollinen päättely on matemaattisen logiikan menetelmä tehdä johtopäätöksiä todeksi oletetusta tiedosta.
Uusi!!: Predikaattilogiikka ja Luonnollinen päättely · Katso lisää »
Matematiikan käsikirja
Matematiikan käsikirja on vuonna 1994 suomeksi ilmestynyt Virpi Kaukon suomentama teos.
Uusi!!: Predikaattilogiikka ja Matematiikan käsikirja · Katso lisää »
Matematiikka
Eukleides, yksityiskohta Rafaelin teoksesta ''Ateenan koulu''. Matematiikka on deduktiiviseen päättelyyn perustuva formaali eli käsitteellinen tiede.
Uusi!!: Predikaattilogiikka ja Matematiikka · Katso lisää »
Ohjelmointiparadigma
Ohjelmointiparadigma on ohjelmointikielen taustalla oleva perustavanlaatuinen tapa ajatella ja mallintaa ohjelmointitehtävän ratkaisu.
Uusi!!: Predikaattilogiikka ja Ohjelmointiparadigma · Katso lisää »
Predikaatti
Predikaatti tarkoittaa seuraavia asioita.
Uusi!!: Predikaattilogiikka ja Predikaatti · Katso lisää »
Predikaattilogiikka
Predikaattilogiikka on symbolisen logiikan osa-alue, jolla tutkitaan tietynlaisia formaalikieliä.
Uusi!!: Predikaattilogiikka ja Predikaattilogiikka · Katso lisää »
Prolog
Prolog on tunnetuin logiikkapohjainen ohjelmointikieli.
Uusi!!: Predikaattilogiikka ja Prolog · Katso lisää »
Semantiikka
Semantiikka eli merkitysoppi tutkii esimerkiksi sanojen ja ajatusten merkitystä.
Uusi!!: Predikaattilogiikka ja Semantiikka · Katso lisää »
Subjekti
Subjekti (lat. subiectum, käännös kreikan sanasta hypokeimenon ’alla oleva’) voi tarkoittaa seuraavia asioita.
Uusi!!: Predikaattilogiikka ja Subjekti · Katso lisää »
Symbolinen logiikka
Symbolinen logiikka on matematiikkaa sivuava logiikan osa, joka tutkii merkkijonoina esitettyjen symbolien puhtaita formaaleja ominaisuuksia.
Uusi!!: Predikaattilogiikka ja Symbolinen logiikka · Katso lisää »
Syntaksi
Syntaksi (kr. σύνταξις ’kokoonpano’) eli lauseoppi tarkastelee luonnollisen tai formaalin kielen merkkiyhdistelmiä (sanoja).
Uusi!!: Predikaattilogiikka ja Syntaksi · Katso lisää »
Uudelleenohjaukset tässä:
Ensimmäisen kertaluvun logiikka, Ensimmäisen kertaluvun predikaattilogiikka, Predikaattikalkyyli, Toisen kertaluvun logiikka, Toisen kertaluvun predikaattilogiikka.