Filter by
Künstliche Intelligenz in der Forschung; Neue Möglichkeiten und Herausforde…
Mimpi yang sudah lama diidam-idamkan tentang kecerdasan buatan (AI) semakin menjadi kenyataan dalam dunia kita sehari-hari. Hal ini terkait dengan ekspektasi sosial yang tinggi, tetapi juga kekhawatiran tentang ketidakberdayaan manusia yang merayap. Dengan menggunakan sektor penelitian sebagai contoh, buku ini mengeksplorasi pilihan, peluang pengembangan, dan risiko teknologi AI untuk masa depa…
- Edition
- -
- ISBN/ISSN
- 978-3-662-63449-3
- Collation
- online resource ( XXIV, 179 Pages)
- Series Title
- Tren dalam Logika (TREN)
- Call Number
- 121
Inquisitive Logic; Consequence and Inference in the Realm of Questions
Buku akses terbuka ini membuat kasus untuk memperluas logika di luar batas-batas tradisionalnya, untuk mencakup tidak hanya pernyataan tetapi juga pertanyaan. Motivasi perluasan ini ditelaah secara rinci. Ditunjukkan bahwa gagasan-gagasan penting, termasuk jawaban logis dan ketergantungan, muncul sebagai aspek-aspek dari gagasan fundamental tentang entailment ketika logika diperluas menjadi per…
- Edition
- -
- ISBN/ISSN
- 978-3-031-09706-5
- Collation
- online resource ( XX, 272 Pages)
- Series Title
- Tren dalam Logika (TREN)
- Call Number
- 160.42 CIA i
Harmony and Paradox; Intensional Aspects of Proof-Theoretic Semantics
Buku akses terbuka ini menyelidiki peran yang dimainkan oleh identitas bukti dalam semantik teori-bukti. Buku ini mengembangkan sebuah konsepsi tentang semantik teori-pembuktian yang terutama berkaitan dengan hubungan antara bukti (dipahami sebagai entitas abstrak) dan turunan (representasi linguistik dari bukti). Buku ini menunjukkan bahwa identitas bukti adalah kunci untuk memperjelas beberap…
- Edition
- -
- ISBN/ISSN
- 978-3-031-46921-3
- Collation
- online resource ( XV, 184 Pages)
- Series Title
- Tren dalam Logika (TREN)
- Call Number
- 160.3 TRA h
The Logical Writings of Karl Popper
Karl R. Popper (1902-1994) adalah salah satu filsuf paling berpengaruh di abad ke-20. Filsafat ilmu pengetahuannya ("falsifikasionisme") dan filsafat sosial dan politiknya ("masyarakat terbuka") telah didiskusikan secara luas di luar filsafat akademis. Apa yang tidak begitu dikenal adalah bahwa Popper juga menghasilkan karya yang cukup besar tentang dasar-dasar logika deduktif, yang sebagian be…
- Edition
- -
- ISBN/ISSN
- 978-3-030-94926-6
- Collation
- online resource ( XXIV, 552 Pages)
- Series Title
- Tren dalam Logika (TREN)
- Call Number
- 160.42 BIN l
Advances in Proof-Theoretic Semantics
Buku ini adalah koleksi pertama yang dikhususkan untuk bidang semantik teori pembuktian. Kontribusi-kontribusi membahas topik-topik termasuk sistematika aturan-aturan pengenalan dan eliminasi dan bukti-bukti normalisasi, karakterisasi kategorik dari deduksi, hubungan antara pendekatan Heyting dan Gentzen tentang makna, paradoks-paradoks yang dapat diketahui, dasar-dasar teori pembuktian dari te…
- Edition
- -
- ISBN/ISSN
- 978-3-319-22686-6
- Collation
- online resource ( VI, 283 Pages)
- Series Title
- Tren dalam Logika (TREN)
- Call Number
- 160.3 PIE a
Magnetism and Accelerator-Based Light Sources; Proceedings of the 7th Interna…
Buku akses terbuka ini mengumpulkan kontribusi dari sekolah ketujuh tentang Magnetisme dan Radiasi Sinkrotron yang diadakan di Mittelwihr, Prancis, dari 7 hingga 12 Oktober 2018. Buku ini dimulai dengan pengantar tentang fisika sumber sinar-X modern diikuti oleh gambaran umum tentang magnetisme. Selanjutnya, interaksi cahaya/materi dalam rentang sinar-X dibahas dengan penekanan pada berbagai je…
- Edition
- -
- ISBN/ISSN
- 978-3-030-64623-3
- Collation
- online resource ( XIX, 208 Pages)
- Series Title
- Prosiding Springer dalam Fisika (SPPHY)
- Call Number
- 538 BUL m
The Politics of Diversity in Music Education
Buku akses terbuka ini mengkaji struktur dan proses politik yang membingkai dan menghasilkan pemahaman tentang keberagaman dalam dan melalui pendidikan musik. Lonjakan terbaru dalam kecenderungan nasionalis, fundamentalis, proteksionis, dan separatis menyoroti pentingnya bagi pendidikan musik untuk melampaui agenda kebijakan nominal atau diskursus keberagaman yang sepenuhnya merayakan. Menggabu…
- Edition
- -
- ISBN/ISSN
- 978-3-030-65617-1
- Collation
- online resource ( X, 214 Pages)
- Series Title
- Lanskap: Seni, Estetika, dan Pendidikan (LAAE)
- Call Number
- 780.7 KAL p
5th Symposium on Terrestrial Gravimetry: Static and Mobile Measurements (TG-S…
Volume akses terbuka ini berisi proseding dari Simposium ke-5 tentang Gravitometri Terestrial: Pengukuran Statis dan Mobile (TG-SMM2019) yang diadakan di St. Petersburg, Rusia, pada 1 - 4 Oktober 2019. Simposium ini diselenggarakan oleh Pusat Penelitian Negara Federasi Rusia Concern CSRI Elektropribor, JSC dan dihadiri oleh 75 peserta dari 15 negara yang berbeda. 32 kontribusi lisan dan 20 post…
- Edition
- -
- ISBN/ISSN
- 978-3-031-25902-9
- Collation
- online resource ( VIII, 160 Pages)
- Series Title
- Simposium Asosiasi Geodesi Internasional (IAG SYMPOSIA)
- Call Number
- 526.3 FRE s
Proceedings of the 10th Hydrogen Technology Convention, Volume 1; WHTC 2023, …
Buku akses terbuka ini menyoroti kemajuan terbaru dalam penelitian fundamental, teknologi, dan aplikasi energi hidrogen dan sel bahan bakar. Dalam beberapa tahun terakhir, konversi energi antara listrik dan energi hidrogen telah menarik perhatian yang semakin meningkat sebagai cara untuk menyesuaikan beban jaringan listrik. Buku ini membahas dan bertukar temuan mutakhir dan perkembangan teknolo…
- Edition
- -
- ISBN/ISSN
- 978-981-99-8631-6
- Collation
- online resource ( XI, 499 Pages)
- Series Title
- Prosiding Springer dalam Fisika (SPPHY)
- Call Number
- 621.31244 HEX h
Proceedings of the 8th International Conference on Attosecond Science and Tec…
Volume akses terbuka ini menyatukan makalah-makalah terpilih dari Konferensi Internasional ke-8 tentang Sains dan Teknologi Attosecond. Kontribusi di dalamnya mewakili kemajuan terbaru dalam ilmu pengetahuan attosecond, yang mencakup kemajuan terbaru dalam dinamika elektron sangat cepat dalam atom, molekul, kelompok, permukaan, padatan, struktur nano, dan plasma, serta generasi pulsa XUV sub-fe…
- Edition
- -
- ISBN/ISSN
- 978-3-031-47938-0
- Collation
- online resource ( XIX, 220 Pages)
- Series Title
- Prosiding Springer dalam Fisika (SPPHY)
- Call Number
- 539.14 ARG p
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography