- Obecnie brak na stanie
![Lectures on the Curry-Howard Isomorphism Lectures on the Curry-Howard Isomorphism](https://kamami.pl/3088-large_default/lectures-on-the-curry-howard-isomorphism.jpg)
darmowa wysyłka na terenie Polski dla wszystkich zamówień powyżej 500 PLN
Jeśli Twoja wpłata zostanie zaksięgowana na naszym koncie do godz. 11:00
Każdy konsument może zwrócić zakupiony towar w ciągu 14 dni bez zbędnych pytań
Key features
- The Curry-Howard Isomorphism treated as common theme
- Reader-friendly introduction to two complementary subjects: Lambda-calculus and constructive logics
- Thorough study of the connection between calculi and logics
- Elaborate study of classical logics and control operators
- Account of dialogue games for classical and intuitionistic logic
- Theoretical foundations of computer-assisted reasoning
· The Curry-Howard Isomorphism treated as the common theme.
· Reader-friendly introduction to two complementary subjects: lambda-calculus and constructive logics
· Thorough study of the connection between calculi and logics.
· Elaborate study of classical logics and control operators.
· Account of dialogue games for classical and intuitionistic logic.
· Theoretical foundations of computer-assisted reasoning
Preface
Acknowledgements
1. Typefree lambda-calculus
2. Intuitionistic logic
3. Simply typed lambdacalculus
4. The Curry-Howard isomorphism
5. Proofs as combinators
6. Classical logic and control operators
7. Sequent calculus
8. First-order logic
9. First-order arithmetic
10. Gödel's system T
11. Second-order logic and polymorphism
12. Second-order arithmetic
13. Dependent types
14. Pure type systems and the lambda-cube
A Mathematical Background
B Solutions and hints to selected exercises
Bibliography
Index
Brak towaru
Brak towaru
Listwa zaciskowa żeńska, 5-pinowa. Raster 3,5 mm. Wysokość 15,6 mm. KF2EDGK
Brak towaru
Przewód sieciowy Ethernet ekranowany FTP kategorii 5E zakończony wtykami RJ45. Lanberg PCF5-10CC-0025-Y
Brak towaru
Brak towaru
Brak towaru
Brak towaru
XT60 Male z przewodami 12AWG silikonowymi 10cm (5sztuk)
Brak towaru
Coreless Transformer Isolated Digital Output 8 Channel 0.625A High-Side Switch, Infineon, RoHS
Brak towaru
KLOCKI RS485 - KARTA WYJŚĆ OPTOIZOLOWANYCH - PŁYTKA DRUKOWANA I ZAPROGRAMOWANY UKŁAD
Brak towaru
Brak towaru
Wyświetlacz LCD 2x20, 116x37mm, LED backlight (WHITE), rozszerzony zakres temp., eco 2LED I=38mA
Brak towaru
Multimetr pozwalający na pomiar napięcia stałego i przemiennego, prądu stałego i przemiennego, rezystancji, pojemności, częstotliwości oraz temperatury. Miernik wyposażony jest w funkcję Hold, podświetlany wyświetlacz i automatyczną regulację zakresów. Uni-t UT70B
Brak towaru
3-KANAŁOWA APARATURA DO ZDALNEGO STEROWANIA - PŁYTKI DRUKOWANE I ZAPROGRAMOWANY UKŁAD
Brak towaru
Moduł z czarno-białym wyświetlaczem e-Paper o przekątnej 13,3" i rozdzielczości 1600x1200 px. Wyposażony w interfejs HDMI. Waveshare 13.3inch HDMI e-Paper (EU)
Brak towaru
Uniwersalne narzędzie dla modelarzy: tester baterii, miernik oporu wewnętrznego baterii, miernik (prądu, napięcia, mocy), tester serw, tachometr, wskaźnik temperatury, kalkulator ciągu
Brak towaru