- 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
Zestaw zawierający Raspberry Pi Pico oraz Raspberry Pi 4B 4 GB. W skład zestawu wchodzą również niezbędne złącza, przewody, zasilacz oraz obudowa - radiator z wentylatorami
Brak towaru
Kontakt IPA Plus zawiera alkohol izopropylowy wysokiej czystości. Usuwa wszelkie zanieczyszczenia z elementów optycznych. Nie pozostawia śladów ani plam. AG Termopasty ART.AGT-290
Brak towaru
Kamera z sensorem CMOS OV2710 o rozdzielczości 1945x1109 px. Komunikuje się przez interfejs równoległy. ArduCAM U6034
Brak towaru
SLLIMM™ small low-loss intelligent molded module IPM, 3-phase inverter - 20 A, 600 V short-circuit rugged IGBT, SDIP25L, RoHS, STMicroelectronics
Brak towaru
Brak towaru
Brak towaru
Brak towaru
Zestaw startowy z płytką deweloperską RedBoard i modułami Qwiic: IMU, czujnik środowiskowy, moduł GPS, joystick, akcelerometr, klawiatura i czujnik zbliżeniowy, odtwarzacz MP3, przekaźnik i wyświetlacz OLED. SparkFun KIT-16262
Brak towaru
Brak towaru
Uniwersalny czujnik temperatury - zestaw do samodzielnego montażu
Brak towaru
Brak towaru
Brak towaru
Moduł z czujnikiem światła ultrafioletowego UV VEML6075. Umożliwia pomiar poziomu promieniowania UVA (350-375 nm) i UVB (315-340 nm). Komunikuje się poprzez magistralę I2C. DFRobot SEN0303
Brak towaru
Listwa montażowa ARK 8-pinowa o rastrze 2,54 mm, nierozłączalna. 308-2.54-08P-14-00AH
Brak towaru
Brak towaru
Zestaw AVT do samodzielnego montażu systemu (pół)automatyki domowej - czterokanałowy moduł ON/OFF. AVT3212 B
Brak towaru