Основи за програмските јазици

Автори:

Џон, Ц Мичел

Референтен линк:

Кликни тука

Издавач:

Ars Lamina

ISBN:

978-608-4535-57-7

Година на издавање:

2010

Краток опис:

Основи за програмските јазици е книга од авторот Џон Ц. Мичел. Издадена е во 1996 година, од Cambridge University Press. Се состои од 11 поглавја: Вовед; Програмски јазик PCF; Универзална алгебра и алгебарски податочни типови; Простотиповни ламбда пресметки; Модели на типовни ламдба пресметки; Императивни програми; Категории и рекурзивни типови; Логички релации; Полиморфизам и модуларност; Поттипување и поврзани концепти; и Типовни заклучоци. Книгата главен акцент става врз анализа и дискусија за релевантните концепти кај програмските јазици, секвенцијалните јазици, како и техниките и концептите кои се применуваат кај програмските јазици. Наједноставен јазик кој се користи во книгата е равенскиот систем, нареден е ламбда пресметки, а понапредни области на проучување се методот на логички релации, теоријата на категории, семантиката на рекурзивно дефинираните типови и полиморфните типови, заедно со декларационите форми на апстрактните податочни типови и програмски модули, системите на поттипови и типовни заклучоци.

Поврзано

Концепти на оперативните системи

Автори:

Абрахам Силбершац Питер Бер Галвин Грег Гагни

Моќта на педагогијата

Наставата и комуникацијата

Микробиологија – Прирачник на Шаум

Применета биокатализа

Размислување на децата

Учебник за тотални протези

Училишна дидактика

Авијарна медицина

Концепти на оперативните системи

Вовед во меѓународна економија

Нумерички методи за инженери

Хемија на храна

Вовед во криптографија

Геологија на животната средина

Основи на геологијата

Механика на материјали

Оксфордски учебник по медицина Том 2

Технологија на млечни производи

Котлер за маркетингот

Сигнали и системи

Проектирање челични конструкции

Принципи на корпоративни финансии

Основи на механика на флуиди

Примената хидрогеологија

Макроекономска политика

Генетика на фитнес и физичка изведба

Алгоритми за планирање

Програмскиот јазик С++

Разбирање на потрошувачката

Економика

Прирачник за нутриција и диететика

Електрични машини

Ресторански менаџмент

Патологија на меланоцитни заболувања

Принципи на неврологијата

Системи на автоматско управување

Дизајн на микросистеми

Вовед во механика на цврсти тела

Раст, созревање и физичка активност

Меѓународно јавно право

Кетеринг менаџмент

Прирачник за педијатрија

Енергијата и животната средина

Маркетинг во патувањата и туризмот

Инженерство на хемиски реакции

Сексуално преносливи болести

Вовед во космологија

Меѓународно казнено право

Учебник по хирургија на Сабистон

Клиничка радиолошка онкологија

Наука за виното - основи и примена

Теорија на уметноста-историски вовед

Меѓународните односи и Европската Унија

Прирачник за развој и учење кај возрасни

Принципите на паралелното програмирање

Принципите на неврологијата на Адамс и Виктор

Органската хемија во дизајнирањето и дејството на лековите

Нелсонов учебник по педијатрија

Климатологија (наука за атмосферата)

Хемија и биохемија на виното

Биохемиска основа на спортска активност

Квалитативно дијагностицирање на човечкото движење: подобрување на изведбата во спортот и вежбањето

Разбирање на архитектурата преку цртање

Прирачник за роботика и за автоматизација

Механичко однесување на материјалите

Одржлива енергија (Избор меѓу опциите)

Заемни дејства на минералите, микроорганизмите и органската материја во почвата (теорија и примена)

Базични принципи на фармакологијата (патофизиолошки основи на терапијата со лекови)

Голeмите одлуки на Европскиот суд за човековите права

Динамичко програмирање и оптимално управување Том 2

Динамичко програмирање и оптимално управување Том 1

Настани / Новости