Novo

Forum kao aplikacija na telefonu

Dodajte forum na početni ekran i koristite ga kao aplikaciju, sa menijem na dnu ekrana.

Teorija jezika. Formalni jezik u kompjuterskoj nauci

  • 2 odgovora
  • 5.169 pregleda

Najnovija ↓

Teorija jezika. Formalni jezik u kompjuterskoj nauci 25.01.2010. u 11:02 · pre 204 meseca #1
Pozdrav svima ! Imam temu za maturski rad iz informatike : Teorija jezika. Formalni jezik u kompjuterskoj nauci. Bio bih zahvalan kada biste mi pomogli da nadjem sto vise korisnih informacija :))
Re: Teorija jezika. Formalni jezik u kompjuterskoj nauci 17.03.2010. u 14:58 · pre 202 meseca #2
Na Matematičkom fakultetu u Beogradu se te teme obrađuju u predmetima TAJA (Teorija Algoritama Jezika i Automata), i Prevodioci i Interpretatori, mada pomena ima na samom početku u predmetu Osnovi Programiranja (tako je barem bilo ranije, sada od kako je Bolonja pojma nemam).

Probaj da na sajtu MATF-a nađeš nešto literature na tu temu. Profesor Duško Vitas je (po meni) najveći stručnjak za tu temu. Štaviše ako mu napišeš mail, gotovo sam siguran da će ti odgovoriti i pomoći. Takođe pri matematičkom institutu možeš kontaktirati profesora Srđana Ognjanovića.

Na institutu zaista ima puno knjiga o tome, ali obzirom da si iz BiH, mislim da teško možeš da dođeš do njih, ali MATF može da ti bude dobra polazna tačka u traženju materijala. Ako imaš vremena/živaca/sredstava možeš doći u Beograd, i na samom fakultetu nabaviti svu neophodnu literaturu (veruj mi, mi ovde imamo toga daleko više nego što će tebi trebati za maturski :) ). Knjige su veoma jeftine u poređenju sa cenom stručnih knjiga za druge fakultete po kojima se radi na BU.

Nadam se da sam ti barem malo pomogao. Ako se baš ne snađeš, kontaktiraj me putem PM-a, pa ću videti šta mogu da učinim konkretno.
Potpis
when there is a why there is no how
Re: Teorija jezika. Formalni jezik u kompjuterskoj nauci 04.08.2010. u 18:30 · pre 197 meseci #3
Procitaj the science of programming - http://www.amazon.com/Science-...ographs-Computer/dp/0387964800

ta knjiga je dobar uvod u formal methods i semantics of programming languages.

posle toga ako hoces da ucis o operational i denotational semantics ima razne knige ali nikad nisam nasao jednu "bibliju" za to. Ima i nekoliko dobre papire iz 1970s koje daju dobar uvod. duckduckgo "denotational and operational semantics"

kad kazes formalni jezici je mislis o formal methods, formal semantics ili teorija jezika?

ako hoces da ucis o type theory i lambda calculus/system F i takve stvari ova knjiga je fantasticna ali ipak zateva znaje lambda calculusa ili baren neki funcitonal jezik

http://www.amazon.com/Types-Pr...2091/ref=tag_tdp_ptcn_edpp_url

za compiler theory najbolje kniga je "the tiger book" http://www.amazon.com/Modern-C...&qid=1280938782&sr=1-1

ili "the dragon book" http://www.amazon.com/Compiler...&qid=1280938825&sr=1-1 ali dobro


Potpis
f&*k google
Prijavite se da biste odgovorili u ovoj temi.PrijavaRegistracija

Premeštanje teme