---

Archív / Archive

A 2001. tavaszi/őszi félév összes Prolog- és SML-előadásának anyaga

• Fóliamásolatok PS.gz formában (1 fólia/lap) 883K
• Fóliamásolatok PS.gz formában (4 fólia/lap) 706K
• Fóliamásolatok PDF.gz formában (1 fólia/lap) 2550K
• Fóliamásolatok PDF.gz formában (4 fólia/lap) 983K

Prolog

• A 2001. tavaszi félév 20.-21. előadásának anyaga
• Fóliamásolatok PS.gz formában (1 fólia/lap) 124K
• Fóliamásolatok PS.gz formában (4 fólia/lap) 127K
• A 2001. tavaszi félév 19. előadásának anyaga
• Fóliamásolatok PS.gz formában (1 fólia/lap) 107K
• Fóliamásolatok PS.gz formában (4 fólia/lap) 108K
• A 2001. tavaszi félév 17.-18. előadásának anyaga
• Fóliamásolatok PS.gz formában (1 fólia/lap) 110K
• Fóliamásolatok PS.gz formában (4 fólia/lap) 112K
• A 2001. tavaszi félév 15.-16. előadásának anyaga
• Fóliamásolatok PS.gz formában (1 fólia/lap) 97K
• Fóliamásolatok PS.gz formában (4 fólia/lap) 99K
• Jegyzet a Prolog-előadásokhoz (2001-es kiadás, azonos a nyomtatott változattal)
• PS.gz formában (1 lap/A4 lap) 473K
• PDF.gz formában (1 lap/A4 lap) 1292K
• PS.gz formában (2 lap/ A4 lap) 475K
• Új részek a jegyzetben (a 2000. évi kiadáshoz képest)
• PS.gz formában (1 lap/A4 lap) 203K
• PDF.gz formában (1 lap/A4 lap) 168K
• A 2001. tavaszi félév 1.-7. előadásának anyaga (Áttekintés, Prolog alapok)
• Fóliamásolatok PDF.gz formában (2 fólia/lap) 425K
• Fóliamásolatok PS.gz formában (1 fólia/lap) 254K
• Fóliamásolatok PS.gz formában (4 fólia/lap) 261K
• Programpeldák gyűjteménye tar.gz formában 7K
• SICStus Prolog User's Manual (on-line, html, English)
• Régi Prolog zh feladatok
• Régi Prolog vizsga feladatok
• Az 1998 1. félévi Prolog zh feladatok megoldásai (magyarázat nélkül)

Standard ML

• SML-jegyzet: Hanák D. Péter: Deklaratív programozás. Bevezetés a funkcionális programozásba. Oktatási segédlet, 2005. márc.
• PS (1 oldal/A4 lap, 320K), PDF (1 oldal/A4 lap, 833K), PS (2 oldal/A4 lap, 316K), PDF (2 oldal/A4 lap, 617K)
• A 2001-es tavaszi félév összes sml-előadásának vetített fóliái és példái
• Fóliamásolatok PDF formában (1 fólia/lap) PDF.gz (1427K)
• Fóliamásolatok PDF formában (4 fólia/lap) PDF.gz (1076K)
• Fóliamásolatok PS formában (1 fólia/lap) PS.gz (333K)
• Fóliamásolatok PS formában (4 fólia/lap) PS.gz (341K)
• Programpéldák TAR.gz (18K)
• A 2001-es tavaszi félév 14. előadásának anyaga
• Fóliamásolatok PDF formában (1 fólia/lap) PDF (190K)
• Fóliamásolatok PDF formában (2 fólia/lap) PDF (214K)
• Fóliamásolatok PDF formában (4 fólia/lap) PDF (207K)
• Fóliamásolatok PS.gz formában (1 fólia/lap) PS.gz (78K)
• Fóliamásolatok PS.gz formában (2 fólia/lap) PS.gz (80K)
• Fóliamásolatok PS.gz formában (4 fólia/lap) PS.gz (80K)
• Programpéldák SML(5K)
• A 2001-es tavaszi félév 8.-13. előadásának anyaga (Áttekintés, SML-alapok)
• Fóliamásolatok PDF.gz/PDF.zip formában (1 fólia/lap) GZ (745K) ZIP (745K)
• Fóliamásolatok PDF.gz/PDF.zip formában (2 fólia/lap) GZ (306K) ZIP (306K)
• Fóliamásolatok PDF.gz/PDF.zip formában (4 fólia/lap) GZ (273K) ZIP (273K)
• Fóliamásolatok PS.gz/PS.zip formában (1 fólia/lap) GZ (222K) ZIP (222K)
• Fóliamásolatok PS.gz/PS.zip formában (2 fólia/lap) GZ (227K) ZIP (227K)
• Fóliamásolatok PS.gz/PS.zip formában (4 fólia/lap) GZ (273K) ZIP (273K)
• Programpéldák gyűjteménye tar.gz/zip formában GZ (7K) ZIP (7K)
• Jegyzet az SML-előadásokhoz (2001-es kiadás, azonos a nyomtatott változattal)
• PS.gz formában (1 lap/A4 lap) 342K
• PDF.gz formában (1 lap/A4 lap) 700K
• PS.gz formában (2 lap/ A4 lap) 345K
• PDF.gz formában (2 lap/ A4 lap) 815K
• További olvasnivalók / Further reading
  • Greg J. Michaelson's Elementary Standard ML
  • Gert Smolka's Programmierung. Eine Einführung in die Informatik
  • Hal Abelson's, Jerry Sussman's and Julie Sussman's Structure and Interpretation of Computer Programs
  • Robert Harper's Introduction to Standard ML
  • Andrew Cumming's tutorial "A Gentle Introduction to ML"
  • Stephen Gilmore's Programming in Standard ML'97
  • Mads Tofte's Tips for Computer Scientists on Standard ML. All in 20 pages!
  • The list of Frequently Asked Questions from comp.lang.ml
  • other ML programming