topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 7
 |
The Life and Work of Leon Henkin: Essays on His Contributions
ISBN: 9783319097183 / Angielski / Miękka / 2014 / 351 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This is a comprehensive book on the life and works of Leon Henkin (1921-2006), an extraordinary scientist and excellent teacher whose writings became influential right from the beginning of his career with his doctoral thesis on "The completeness of formal systems" under the direction of Alonzo Church. Upon the invitation of Alfred Tarski, Henkin joined the Group in Logic and the Methodology of Science in the Department of Mathematics at the University of California Berkeley in 1953. He stayed with the group until his retirement in 1991. This edited volume includes both foundational material...
This is a comprehensive book on the life and works of Leon Henkin (1921-2006), an extraordinary scientist and excellent teacher whose writings became ...
|
cena:
195,42 zł |
 |
Proyecto aplicativo de (Mindfulness)
ISBN: 9786202160100 / Hiszpański / Miękka / 2018 / 112 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
151,31 zł |
 |
Grandes Colmillos
ISBN: 9781912704842 / Hiszpański / Miękka / 2020 / 68 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
26,48 zł |
 |
Sin Colmillos
ISBN: 9781912704835 / Hiszpański / Miękka / 2020 / 72 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
26,48 zł |
 |
Extensions of First-Order Logic
ISBN: 9780521019026 / Angielski / Miękka / 2005 / 412 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to place, for example, second-order logic, type theory, modal and dynamic logics and MSL itself. The aim is two fold: only one theorem-prover is needed; proofs of the metaproperties of the different existing calculi can be avoided by borrowing them from MSL. To make the book accessible to readers from...
Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is a...
|
cena:
452,34 zł |
 |
Biomedical Applications of Mesoporous Ceramics: Drug Delivery, Smart Materials and Bone Tissue Engineering
ISBN: 9780367380601 / Angielski / Miękka / 2019 / 231 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
325,87 zł |
 |
Tools for Teaching Logic: Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings
ISBN: 9783642213496 / Angielski / Miękka / 2011 / 257 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the proceedings of the Third International Congress on Tools for Teaching Logic, TICTTL 2011, held in Salamanca, Spain, in June 2011. The 30 papers presented were carefully reviewed and selected from 62 submissions. The congress focusses on a variety of topics including: logic teaching software, teaching formal methods, logic in the humanities, dissemination of logic courseware and logic textbooks, methods for teaching logic at different levels of instruction, presentation of postgraduate programs in logic, e-learning, logic games, teaching argumentation theory and...
This book constitutes the proceedings of the Third International Congress on Tools for Teaching Logic, TICTTL 2011, held in Salamanca, Spain, in June ...
|
cena:
195,42 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
