Nov 03, 2006 15:42
коллеги, не знаете ли хорошего учебника, который бы просто, но строго вводил в проблематику формальной семантики? да Сварт хороша, но не всегда вполне эксплицитна; м.б. порекомендуете Чинкве? Или там изложение одной конкретной теории для ограниченного круга проблем?
books,
literature
Leave a comment
Reply
Reply
Reply
Меня удивляет, что по-русски нет вообще ничего подобного. За последние 10 лет вышло, кажется, 3 учебника по семантике, и ни по одному нельзя составить малейшего представления о формальных подходах.
Reply
ну давно уж надо его перевести просто, по-моему. давай переведем
Reply
Reply
насчет переводить - с одной стороны надо конечно. с другой - желающих в этом разобраться вроде бы не так и много в россии, и все они кажется спокойно читают по-английски. так что может это зря потраченные будут усилия.
а может я и не права. надо подумать
Reply
Reply
(The comment has been removed)
Reply
Reply
(The comment has been removed)
Reply
Reply
(The comment has been removed)
Для Unix есть ещё просто набор самостоятельно работающих инструментов. (Или лучше поставить из своего дистрибутива/попросить администратора.)
Надеюсь, у Вас получится посмотреть djvu, если нет, спрашивайте ещё какие-нибудь вопросы
Reply
Leave a comment