Sadržaj
10 odnosi: Engleski jezik, Lambda račun, Logika, MIT Press, Prirodni jezik, Programski jezik, Semantika, Sjedinjene Američke Države, Teorija skupova, 1970-ih.
- Formalni jezici
- Gramatika
- Lambda račun
- Semantika
Engleski jezik
skyblue Države u kojima je engleski jezik samo službeni Engleski jezik (ISO 639-3: eng) jedan je od dvaju jezika engleske podskupine zapadnogermanskih jezika kojim govori više od 328 008 000 ljudi, a poznaje ga 508 milijuna diljem svijeta od čega većina živi na području Ujedinjenoga Kraljevstva (55 000 000; 1984.), Sjedinjenih Američkih Država (210 000 000; 1984.), Australije (15 682 000; 1987), Novog Zelanda (3 213 000; 1987.), Irskoj (2 600 000; 1983.), Zimbabveu (375 490; 1969.), Singapuru (227 000; 1985.), Liberiji (69 000; 1993.), Izraelu (100 000; 1993.) i drugdje.
Pogledaj Montague gramatika i Engleski jezik
Lambda račun
U matematičkoj logici i računarstvu, lambda račun, odnosno λ-račun, je formalni sustav dizajniran za ispitivanje definicije funkcije, aplikaciju funkcije, te rekurziju.
Pogledaj Montague gramatika i Lambda račun
Logika
Aristotel Logika je grana filozofije.
Pogledaj Montague gramatika i Logika
MIT Press
MIT Press je američka akademska izdavačka kuća.
Pogledaj Montague gramatika i MIT Press
Prirodni jezik
U filozofiji jezika, prirodni jezik (ili obični jezik) je jezik kojim se govori, piše ili simbolički označava (vizualno ili taktilno) od strane ljudi u općenitu svrhu komunikacije, kao suprotnost konstruktima kao što su računalni programski jezici ili "jezici" korišteni u proučavanju formalne logike, napose matematičke logike.
Pogledaj Montague gramatika i Prirodni jezik
Programski jezik
Programski jezik je određen skupom simbola i pravilima njihovog slaganja kojim se opisuje postupak računanja.
Pogledaj Montague gramatika i Programski jezik
Semantika
Semantika (grčki semantikos, koji daje znakove, značajan, simptomatičan, od sema, znak) se odnosi na aspekte značenja koji su izraženi u jeziku, kodu ili nekom drugom obliku predstavljanja.
Pogledaj Montague gramatika i Semantika
Sjedinjene Američke Države
Sjedinjene Američke Države, također se često koristi kratica SAD (eng. United States of America, USA), savezna je republika u središnjoj Sjevernoj Americi, koja se prostire od Atlantika na istoku do Tihog oceana na zapadu.
Pogledaj Montague gramatika i Sjedinjene Američke Države
Teorija skupova
Teorija skupova je matematička teorija o skupovima, koji su kolekcije apstraktnih objekata.
Pogledaj Montague gramatika i Teorija skupova
1970-ih
Važni događaji iz 1970-ih u fotografskoj montaži.
Pogledaj Montague gramatika i 1970-ih
Vidi također
Formalni jezici
- Abeceda (računarstvo)
- Apstraktni semantički graf
- Apstraktno sintaksno stablo
- Backus-Naurov oblik
- Chomskyjev normalni oblik
- Chomskyjeva hijerarhija
- Deterministička kontekstno neovisna gramatika
- Deterministički kontekstno neovisni jezik
- Deterministički potisni automat
- Formalna gramatika
- Formalni jezik
- Gramatika neograničenih produkcija
- Greibachin normalni oblik
- Indeksirani jezik
- Introduction to Automata Theory, Languages, and Computation
- Kleeneov operator
- Kontekstno neovisna gramatika
- Kontekstno neovisni jezik
- Kontekstno ovisna gramatika
- Kontekstno ovisni jezik
- Kurodin normalni oblik
- Lijeva rekurzija
- Metaznak
- Montague gramatika
- Myhill-Nerode teorem
- Nejednoznačna gramatika
- Ogdenova lema
- Označiteljski jezik
- Povećani Backus-Naurov oblik
- Prazni niz znakova
- Prefiksna gramatika
- Prošireni Backus-Naurov oblik
- Regularna gramatika
- Regularni izraz
- Regularni jezik
- Rekurzivni jezik
- Rekurzivno prebrojiv jezik
- Semi-Thue sustav
- Stohastička kontekstno neovisna gramatika
- Svojstvo napuhavanja za kontekstno neovisne jezike
- Svojstvo napuhavanja za regularne jezike
- Turingov stroj
- Van Wijngaardenova gramatika
- Završni i nezavršni znakovi
Gramatika
- Apozicija
- Asindeton
- Elipsa (figura)
- Formalna gramatika
- Gramatika
- Imenice
- Kleeneov operator
- Montague gramatika
- Morfologija (jezikoslovlje)
- Morfosintaktički poredak
- Opisivanje
- Paralelizam
- Polisindeton
- Predikat
- Samoreferiranje
- Sintaksa
- Sklonidba
- Supin
- Veznici
- Član
Lambda račun
- Church-Rosserov teorem
- Kombinatorna logika
- Lambda račun
- Montague gramatika
- SKI kombinatorni račun
- Superkombinator
- Sustav F
- Tipizirani lambda račun