|
Тема |
Re: Pomogne te mi! [re: AquilaX] |
|
Автор | uvw (Нерегистриран) | |
Публикувано | 14.02.02 22:05 |
|
|
Става дума за българския превод, нали?
Тази книга беше издавана тук преди 5-6 години. За това мисля, че не можеш да я намериш в книжарниците днес.
Все пак ти остават библиотеките. Би трябвало да я има поне в НБ "Кирил и Методи". Опитай и в ЦИНТИ или в университетските библиотеки. Ще си я снимаш на ксерокса за я има, я няма 20 лева.
Официалния стандарт за Scheme Lisp е публикуван в интернет и всеки може да си го изтегли безплатно от адреса
И това е написано добре, но за да се разбе е хубаво да се мине учебника първо.
Мога да препоръчам и един текстов редактор, който е удобен за писане на програми на Лисп (иначе ще трябва да ги пишем с Notepad). Хората които работят с Linux го знаят - става дума за GNU Emacs, който се взема безплатно от
Това е за Windows, а в Linux си идва с дистрибуцията. Самия emacs си има вграден Лисп, само че не е Scheme. За това много лесно се настройва - може да си програмираш на Лисп собствени функции. Аз пиша с него даже на C++, особено като ми писне да гледам пред очите си Visual Studio.
Още малко реклама за книгата и Лисп.
Написана е много хубаво и е удоволствие да се чете дори от хора които не използват Лисп на практика. Определено е полезна за преподаватели, които желаят да си разнообразят часовете и да използват методиките и теорията в нея. Все пак тя е писана като учебник за въведение в програмирането.
Книгата изобщо не е елементгарна. В края и като пример е написан напълно интерпретатор за Scheme на самия език Scheme Lisp. Учудващо е колко лесно става, след като ти го обяснят.
Няма да казвам, че Лисп е популярен сред хората които се занимават с изкуствен интелект. Аз много харесвам една програма писана от Boyer и Moor за доказателства на теореми. Написана е на Лисп, естествено. Дават даже сорса на Лисп. Тези двамата са точно онези които са известни и с най-бързия алгоритъм за търсене на стринг в текст.
Сигурно знаете, че идеята за Лисп идва от ламбда-смятането на Чърч, създадено през 30-те години на миналия век. Тази система на Чърч е еквивалентна на машината на Тюринг, на продукциите на Пост, на общо-рекурсивните функции по Гьодел и т.н.т. - това което се учи в СУ по теория на програмите. Ако някой се интересува от самото ламбда смятане, в библиотеките има един учебник на Барендрегт преведен на руски. Ето за кого и какво става дума
*
*
*
Поздрави,
uvw
|
| |
|
|
|