O c???lculo lambda ??? um dos pilares da ci???ncia da computa??????o. Para al???m do seu papel hist???rico em teoria da computabilidade, teve influ???ncia significativa no desenho e implementa??????o de linguagens de programa??????o, em sem???ntica denotacional, e em teoria de dom???nios. O livro d??? ???nfase ??? teoria da demonstra??????o do c???lculo lambda sem tipos. Os primeiros cap???tulos concentram-se neste c???lculo e abordam a teoria b???sica, redu??????es, modelos, computabilidade e o relacionamento entre o c?? ...
Read More
O c???lculo lambda ??? um dos pilares da ci???ncia da computa??????o. Para al???m do seu papel hist???rico em teoria da computabilidade, teve influ???ncia significativa no desenho e implementa??????o de linguagens de programa??????o, em sem???ntica denotacional, e em teoria de dom???nios. O livro d??? ???nfase ??? teoria da demonstra??????o do c???lculo lambda sem tipos. Os primeiros cap???tulos concentram-se neste c???lculo e abordam a teoria b???sica, redu??????es, modelos, computabilidade e o relacionamento entre o c???lculo lambda e a l???gica combinat???ria. O Cap???tulo 7 introduz o c???lculo lambda com tipos: primeiro o c???lculo lambda simplesmente tipificado, de seguida com o polimorfismo ??? Milner e, por ???ltimo, o c???lculo lambda polim???rfico. O Cap???tulo 9 apresenta vers???es mais recentes do c???lculo lambda sem tipos: o c???lculo lambda pregui???oso e o c???lculo lambda sigma. O ???ltimo cap???tulo cont???m refer???ncias e um guia para leitura ulterior. Os exerc???cios v???o sendo propostos ao longo do livro. Em contraste com livros anteriores sobre estes t???picos, que foram escritos por l???gicos, este livro ??? escrito do ponto de vista da ci???ncia da computa??????o e real???a o significado pr???tico de muitas das ideias chave. O livro assume-se como livro de texto para o ???ltimo ano de gradua??????o ou para o primeiro ano de p???s-gradua??????o em ci???ncia da computa??????o. Os estudantes de investiga??????o poder???o us???-lo como uma introdu??????o ??? literatura mais especializada da ???rea.
Read Less
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Text in Portuguese. Trade paperback (US). Glued binding. 186 p. Cadernos de Logica E Computacao. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Text in Portuguese. Trade paperback (US). Glued binding. 186 p. Cadernos de Logica E Computacao. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. Text in Portuguese. Trade paperback (US). Glued binding. 186 p. Cadernos de Logica E Computacao. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
