- Obecnie brak na stanie

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
Moduł pozwalający na pomiar ciśnienia atmosferycznego w zakresie 260...1260hPa z rozdzielczością 0,02hPa. Posiada wbudowany stabilizator i translator poziomów, dzięki czemu można z użyć go w systemach zasilanych napięciem 2,5...5,5V. Pololu 2867
Brak towaru
Brak towaru
8-kanałowa karta przekaźników usb - układ zmontowany i uruchomiony
Brak towaru
PmodIA, moduł analizatora impedancji, SMA, AD5933, zakres pomiarowy 100 - 10 MΩ. Digilent 410-246
Brak towaru
Optyczny sensor odległości w zakresie 10-80 cm z wyjściem analogowym, zasilanie 4,5-5,5V.
Brak towaru
Brak towaru
Brak towaru
Brak towaru
Brak towaru
Zestaw rozwojowy BME688 firmy Bosch Sensortec, który umożliwia testowanie aplikacji opartych na pomiarach temperatury, ciśnienia barometrycznego, wilgotności oraz wykrywaniu gazów. Czujnik BME688, jako pierwszy czujnik środowiskowy z obsługą algorytmów AI, pozwala na rozróżnianie różnych kompozycji gazów poprzez analizę ich "elektronicznych odcisków palców". Zestaw można konfigurować za pomocą oprogramowania BME AI-Studio, które optymalizuje wydajność i zużycie energii, a płytka z ośmioma czujnikami umożliwia jednoczesne testowanie wielu konfiguracji. SparkFun DEV-19630
Brak towaru
Brak towaru
Płytka drukowana do sterownika silnika krokowego frezarki CNC zbudowanego z użyciem specjalizowanego układu scalonego TA8435 firmy Toshiba. Produkt obejmuje niepolutowany obwód drukowany. AVT AVT5358/1 A
Brak towaru
Brak towaru
Zestaw rozwojowy, który umożliwia łatwe użycie czujnika wilgotności i temperatury firmy Sensirion. Sensirion Smart Gadget SHT31
Brak towaru