LEADER 01333nam 2200421 450 001 9910522952703321 005 20220208150156.0 010 $a3-030-83837-4 035 $a(MiAaPQ)EBC6875169 035 $a(Au-PeEL)EBL6875169 035 $a(CKB)21004427500041 035 $a(OCoLC)1294219550 035 $a(EXLCZ)9921004427500041 100 $a20220208d2022 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aOn Hilbert's sixth problem /$fNewton C. A. da Costa, Francisco Antonio Doria 210 1$aCham, Switzerland :$cSpringer,$d[2022] 210 4$d©2022 215 $a1 online resource (191 pages) 225 1 $aSynthese Library ;$vVolume 441 311 08$aPrint version: da Costa, Newton C. A. On Hilbert's Sixth Problem Cham : Springer International Publishing AG,c2022 9783030838362 410 0$aSynthese library ;$vVolume 441. 606 $aMathematical physics 615 0$aMathematical physics. 676 $a530.15 700 $aCosta$b Newton C. A. da$0614754 702 $aDoria$b Francisco Anto?nio 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910522952703321 996 $aOn Hilbert's sixth problem$92597052 997 $aUNINA LEADER 02638nam 2200517 450 001 9910822067903321 005 20230803041929.0 010 $a3-8325-8976-7 035 $a(CKB)4100000007747096 035 $a(MiAaPQ)EBC5722966 035 $a(Au-PeEL)EBL5722966 035 $a(OCoLC)1089534739 035 $a5c7aad75-acb8-4755-a002-7583b0dd2d03 035 $a(EXLCZ)994100000007747096 100 $a20190321d2013 uy 0 101 0 $ager 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 15$aEine Logik Von Handlungen Und U?berzeugungen /$fCaroline Willkommen 210 1$aBerlin :$cLogos Verlag,$d[2013] 210 4$d©2013 215 $a1 online resource (346 pages) 300 $aPublicationDate: 20130828 311 $a3-8325-3484-9 330 $aLong description: Eine Logik von Handlungen betrachten zu wollen, hat eine lange Tradition von Anselm von Canterbury bis in die Gegenwart. Was kennzeichnet eine Handlung? Wann beschreibt ein Satz eine Handlung? Und wie lässt sich dies in einem logischen System beschreiben? Die Stit-Theorie gibt eine einfache Antwort auf die beiden zuletzt gestellten Fragen. Ein Satz varphi drückt eine Handlung aus, wenn es einen Akteur gibt, so dass sich der Wahrheitswert des Satzes nicht ändert, wenn er durch der Akteur sorgt dafür, dass varphi paraphrasiert wird. In diesem Buch wird gezeigt, warum diese Ansicht nicht nur einfach und praktisch ist, um eine solche Handlungslogik um Operatoren für Überzeugungen, Wünsche und Intentionen zu erweitern, sondern auch warum sich diese Beschreibung mit der Ansicht Donald Davidsons vereinen lässt, dass Handlungen Ereignisse zugrunde liegen. So wird versucht, eine Brücke zwischen der Stit-Theorie und Davidsonscher Handlungstheorie zu schlagen, bei der der Begriff der Intention eine Rolle spielt. Dabei wird der Intentionsoperator in dem logischen System bdi-stitâ‚Šdint, bestehend aus Handlungsoperatoren und den Operatoren für die mentalen Zustände, alternativ axiomatisiert. 606 $aLogik 606 $aHandlungstheorie 606 $aÜberzeugung 606 $aIntention 606 $aStit-Theorie 615 00$aLogik 615 00$aHandlungstheorie 615 00$aÜberzeugung 615 00$aIntention 615 00$aStit-Theorie 676 $a818.5209 700 $aWillkommen$b Caroline$01686256 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910822067903321 996 $aEine Logik Von Handlungen Und U?berzeugungen$94058960 997 $aUNINA LEADER 04397nam 22006735 450 001 9910917791403321 005 20241216115317.0 010 $a9789819774593 010 $a9819774594 024 7 $a10.1007/978-981-97-7459-3 035 $a(MiAaPQ)EBC31848951 035 $a(Au-PeEL)EBL31848951 035 $a(CKB)37032788400041 035 $a(DE-He213)978-981-97-7459-3 035 $a(OCoLC)1481785031 035 $a(EXLCZ)9937032788400041 100 $a20241216d2024 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAdvances in Metabolomics /$fedited by Vijai Singh 205 $a1st ed. 2024. 210 1$aSingapore :$cSpringer Nature Singapore :$cImprint: Springer,$d2024. 215 $a1 online resource (397 pages) 311 08$a9789819774586 311 08$a9819774586 327 $a1. Current approaches on metabolomics -- 2. Applications of computational and data sciences in metabolomics -- 3. Design of biosynthetic pathway for production of metabolites -- 4. Dissecting Cellular Heterogeneity: Single-Cell Metabolomics for Unmasking Hidden Variations -- 5. Biosensors for Detection of Metabolites -- 6. Unveiling the Molecular Fingerprint: Mass Spectrometry in Metabolomics -- 7. Utilizing HPLC for Efficient Metabolite Purification -- 8. NMR Spectroscopy for Characterisation of Metabolite -- 9. Transcriptional control for metabolite production -- 10. Microfluids in metabolites detection, production, and optimization -- 11. Cell free systems in metabolomics -- 12. Unlocking the Metabolome: A Guide to Genome Editing for Precision Control of Cellular Chemistry -- 13. Production and Fermentation Optimization of Flavour and Fragrance Molecules -- 14. Bioprocessing and Purification of Metabolites -- 15. Scaling Up Nature's Chemistry: A Guide to Industrial Production of Valuable Metabolites -- 16. Regulatory, economic and educational issues in metabolomics. 330 $aThe book delves into metabolomics which is a rapidly growing field that focuses on the study of chemical processes involving metabolites. These metabolites are small molecules that serve as substrates, intermediates, and end products of cellular metabolism. The book covers a wide range of tools and methods to facilitate metabolomics analysis, including modelling, gas chromatography, GC-MS, HPLC, MALDI, nuclear magnetic resonance, and many others. The book introduces metabolomics and then delves into tools and methods used in metabolomics research, followed by genome-scale analysis and fluxomics, which explore the complex metabolic networks within cells. The design of biosynthetic pathways is discussed in detail, highlighting their significance in manipulating cellular metabolism. The book also explores biosensors, chromatography techniques, NMR spectroscopy, transcriptional control of metabolite production, microfluidics, and the role of artificial intelligence and machine learning in metabolomics research. Additionally, it delves into cell-free systems, bioprocess optimization, fermentation technology, and industrial-scale production of metabolites. This book fills a significant gap in the market with comprehensive coverage and inclusion of diverse topics making it a valuable resource for students, researchers, scientists, clinicians, policymakers, and practitioners in the field. 606 $aBiology$xTechnique 606 $aBiology 606 $aMolecular probes 606 $aArtificial intelligence 606 $aMolecules$xModels 606 $aBiological Techniques 606 $aBiological Sciences 606 $aBiological Sensors and Probes 606 $aArtificial Intelligence 606 $aMolecular Modelling 615 0$aBiology$xTechnique. 615 0$aBiology. 615 0$aMolecular probes. 615 0$aArtificial intelligence. 615 0$aMolecules$xModels. 615 14$aBiological Techniques. 615 24$aBiological Sciences. 615 24$aBiological Sensors and Probes. 615 24$aArtificial Intelligence. 615 24$aMolecular Modelling. 676 $a570.28 700 $aSingh$b Vijai$01224662 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910917791403321 996 $aAdvances in Metabolomics$94303738 997 $aUNINA