Zeitschriftenartikel zum Thema „Dedukti“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Machen Sie sich mit Top-50 Zeitschriftenartikel für die Forschung zum Thema "Dedukti" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Sehen Sie die Zeitschriftenartikel für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.
Assaf, Ali, und Guillaume Burel. „Translating HOL to Dedukti“. Electronic Proceedings in Theoretical Computer Science 186 (30.07.2015): 74–88. http://dx.doi.org/10.4204/eptcs.186.8.
Der volle Inhalt der QuelleCauderlier, Raphaël, und Pierre Halmagrand. „Checking Zenon Modulo Proofs in Dedukti“. Electronic Proceedings in Theoretical Computer Science 186 (30.07.2015): 57–73. http://dx.doi.org/10.4204/eptcs.186.7.
Der volle Inhalt der QuelleAssaf, Ali, und Raphaël Cauderlier. „Mixing HOL and Coq in Dedukti (Extended Abstract)“. Electronic Proceedings in Theoretical Computer Science 186 (30.07.2015): 89–96. http://dx.doi.org/10.4204/eptcs.186.9.
Der volle Inhalt der QuelleEl Haddad, Mohamed Yacine, Guillaume Burel und Frédéric Blanqui. „EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract)“. Electronic Proceedings in Theoretical Computer Science 301 (23.08.2019): 27–35. http://dx.doi.org/10.4204/eptcs.301.5.
Der volle Inhalt der QuelleBarras, Bruno, und Valentin Maestracci. „Implementation of Two Layers Type Theory in Dedukti and Application to Cubical Type Theory“. Electronic Proceedings in Theoretical Computer Science 332 (12.01.2021): 54–67. http://dx.doi.org/10.4204/eptcs.332.4.
Der volle Inhalt der QuelleBarras, Bruno, und Valentin Maestracci. „Implementation of Two Layers Type Theory in Dedukti and Application to Cubical Type Theory“. Electronic Proceedings in Theoretical Computer Science 332 (12.01.2021): 54–67. http://dx.doi.org/10.4204/eptcs.332.4.
Der volle Inhalt der QuelleFebriyani, Komang Ayu Dita. „Perspektif Sah Global tentang Serangan Militer AS Lakukan Di Wilayah Irak dan Suriah“. Jurnal Ilmu Hukum Sui Generis 2, Nr. 1 (01.11.2021): 31–45. http://dx.doi.org/10.23887/jih.v2i1.1010.
Der volle Inhalt der QuelleBry, François, und Dietmar Seipel. „Deduktive Datenbanken“. Informatik-Spektrum 19, Nr. 4 (23.08.1996): 214–15. http://dx.doi.org/10.1007/s002870050033.
Der volle Inhalt der QuelleFadillah, Ahmad. „Analisis Kemampuan Penalaran Deduktif Matematis Siswa“. JTAM | Jurnal Teori dan Aplikasi Matematika 3, Nr. 1 (01.04.2019): 15. http://dx.doi.org/10.31764/jtam.v3i1.752.
Der volle Inhalt der QuelleHammer, Martin. „Deduktion und Dialektik“. Hegel-Jahrbuch 2016, Nr. 1 (01.05.2016): 387–93. http://dx.doi.org/10.1515/hgjb-2016-0165.
Der volle Inhalt der QuelleBudiono, Selamet, und Imam Suroso. „KONSEP HUKUM KEABSAHAN TANDA TANGAN ELEKTRONIK PADA SURAT KUASA KHUSUS OLEH ADVOKAT UNTUK BERACARA DI PERADILAN“. Jurnal Magister Ilmu Hukum 13, Nr. 1 (30.06.2023): 130–52. http://dx.doi.org/10.56943/dekrit.v13n1.156.
Der volle Inhalt der QuelleBambang Robi’in, Vera Yuli Erviana und Dwi Sulisworo. „Outreach Program, Virtual Reality, dan Berpikir Hipotetikal Deduktif“. Bincang Sains dan Teknologi 1, Nr. 01 (03.08.2022): 18–25. http://dx.doi.org/10.56741/bst.v1i01.46.
Der volle Inhalt der QuelleMun’im, Abdul. „Dialektika Induksi dan Deduksi dalam Pemikiran Hukum Islam“. ISLAMICA: Jurnal Studi Keislaman 4, Nr. 1 (22.01.2014): 1. http://dx.doi.org/10.15642/islamica.2009.4.1.1-16.
Der volle Inhalt der QuelleDarta, Mr. „KEMAMPUAN DEDUKSI MATEMATIKA MAHASISWA TINGKAT PERTAMA PRODI PENDIDIKAN MATEMATIKA UNPAS (STUDI KASUS UNTUK TAHAP BERPIKIR DEDUKSI GEOMETRI DARI VAN HIELE)“. Jurnal Pengajaran Matematika dan Ilmu Pengetahuan Alam 18, Nr. 1 (07.04.2013): 16. http://dx.doi.org/10.18269/jpmipa.v18i1.207.
Der volle Inhalt der QuellePutra, Anom Surya. „Wacana Constitutional Questions dalam Situs Mahkamah: Konteks e-Deliberative Democracy“. Jurnal Konstitusi 7, Nr. 4 (20.05.2016): 061. http://dx.doi.org/10.31078/jk744.
Der volle Inhalt der QuelleHutami, Wulandari Putri, und Itok Dwi Kurniawan. „PROBLEMATIKA PELAKSANAAN PUTUSAN PENGADILAN PADA KASUS TINDAK PIDANA ANAK DI KEJAKSAAN NEGERI SURAKARTA“. Verstek 10, Nr. 3 (07.02.2023): 587. http://dx.doi.org/10.20961/jv.v10i3.70243.
Der volle Inhalt der QuelleLarsen, Steen Nepper. „Virkelighedens rent begrebslogiske deduktion“. Slagmark - Tidsskrift for idéhistorie, Nr. 26 (04.02.2018): 161–64. http://dx.doi.org/10.7146/sl.v0i26.103847.
Der volle Inhalt der QuelleLang, Stefan. „Fichtes Deduktion praktischer Spontaneität“. Archiv für Geschichte der Philosophie 95, Nr. 1 (Januar 2013): 65–86. http://dx.doi.org/10.1515/agph-2013-0003.
Der volle Inhalt der QuelleSugiarti, Sugiarti. „UPAYA MENINGKATKAN KETERAMPILAN MENULIS PARAGRAF DEDUKTIF MELALUI PENERAPAN METODE GROUP INVESTIGATION SISWA KELAS VIII MTs NU UMBUL SARI KABUPATEN OKU TIMUR“. Seulas Pinang: Jurnal Pendidikan Bahasa dan Sastra 1, Nr. 1 (12.10.2019): 1–8. http://dx.doi.org/10.30599/spbs.v1i1.525.
Der volle Inhalt der QuelleKharimah, Ilmi Mamruatul, Titik Sugiarti, Susanto Susanto, Toto Bara Setiawan, Didik Sugeng Pambudi und Tutut Triningsih. „Proses Berpikir Siswa SMA Level Deduksi Informal dalam Menyelesaikan Soal Dimensi Tiga menurut Tahapan Wallas“. Journal of Mathematics Education and Learning 1, Nr. 2 (09.07.2021): 116. http://dx.doi.org/10.19184/jomeal.v1i2.24247.
Der volle Inhalt der QuelleWulan Nari, Olvi, Abudarin und Karelius. „Pemahaman Konsep Tata Nama Senyawa Biner Dan Poliatomik Pasca Pembelajaran Menggunakan LKS-Deduktif Dan LKS-Induktif Pada Siswa Kelas X SMA Negeri 2 Palangka Raya Tahun Ajaran 2018/2019“. Jurnal Ilmiah Kanderang Tingang 10, Nr. 2 (31.12.2019): 149–60. http://dx.doi.org/10.37304/jikt.v10i2.29.
Der volle Inhalt der QuelleSI «SISJ NAMS Ukraine», Staff of. „Ninel Vasylivna Dedukh“. ORTHOPAEDICS, TRAUMATOLOGY and PROSTHETICS, Nr. 2 (20.08.2013): 93. http://dx.doi.org/10.15674/0030-59872013293-94.
Der volle Inhalt der QuelleNike K, Maria Theresia. „PENALARAN DEDUKTIF DAN INDUKTIF SISWA DALAM PEMECAHAN MASALAH TRIGONOMETRI DITINJAU DARI TINGKAT IQ“. APOTEMA : Jurnal Program Studi Pendidikan Matematika 1, Nr. 2 (15.07.2015): 67–75. http://dx.doi.org/10.31597/ja.v1i2.155.
Der volle Inhalt der QuelleMellmann, Katja. „Monokauzalitás és pszeudointencionalitás“. nCOGNITO - Kognitív Kultúraelméleti Közlemények 2, Nr. 1 (15.12.2023): 5–34. http://dx.doi.org/10.14232/ncognito/2023.2.5-34.
Der volle Inhalt der QuelleTrimulyani, Laeli, Isnani und M. Shaefur Rokhman. „Efektifitas Model Pembelajaran Problem Posing Dengan Pendekatan Deduktif Terhadap Aktivitas Dan Prestasi Belajar Matematika“. Integral (Jurnal Penelitian Pendidikan Matematika) 2, Nr. 2 (21.06.2020): 125–31. http://dx.doi.org/10.24905/jppm.v2i2.41.
Der volle Inhalt der QuelleHr, Bq Malikah. „Kemampuan Penalaran Deduktif Matematis Siswa Melalui Modeling The Way“. Media Pendidikan Matematika 8, Nr. 1 (30.06.2020): 87. http://dx.doi.org/10.33394/mpm.v8i1.2576.
Der volle Inhalt der QuelleNierlich, Edmund. „Die deduktiv-nomologische Erklärung als hauptmotiv empirisch-wissenschaftlicher tätigkeit“. Erkenntnis 29, Nr. 1 (Juli 1988): 1–33. http://dx.doi.org/10.1007/bf00166364.
Der volle Inhalt der QuelleSalim, Salim, und Hendra Nelva Saputra. „Pengembangan Perangkat Pembelajaran Melalui Lesson Study Dengan Strategi Pembelajaran Siklus Belajar Hipotesis Deduktif“. Jurnal Amal Pendidikan 3, Nr. 1 (30.04.2022): 87. http://dx.doi.org/10.36709/japend.v3i1.25738.
Der volle Inhalt der QuelleSamiwahyuni. „Peningkatan Keterampilan Menulis Paragraf Deduktif Topik Matematika melalui Metode Model Menggunakan LKPD“. Jurnal Pembelajaran Bahasa dan Sastra 2, Nr. 3 (01.05.2023): 281–92. http://dx.doi.org/10.55909/jpbs.v2i3.270.
Der volle Inhalt der QuelleWijayanti, Dwi Antari, und Pinta Deniyanti. „Pengaruh Penerapan Model Pembelajaran Means Ends Analysis terhadap Kemampuan Menalar Deduktif Mahasiswa ditinjau dari Kemampuan Awal Representasi Matematis“. Journal of Medives : Journal of Mathematics Education IKIP Veteran Semarang 4, Nr. 1 (20.01.2020): 151. http://dx.doi.org/10.31331/medivesveteran.v4i1.899.
Der volle Inhalt der QuelleBoullart, Karel. „De Deductie van het tragische“. Documenta 6, Nr. 1 (29.04.2019): 17–33. http://dx.doi.org/10.21825/doc.v6i1.10974.
Der volle Inhalt der QuelleSaputra, Edy, und Rahmy Zulmaulida. „Analisis Kemampuan Penalaran Deduktif Siswa pada Pembelajaran Creative Problem Solving (CPS)“. Suska Journal of Mathematics Education 7, Nr. 2 (30.11.2021): 113. http://dx.doi.org/10.24014/sjme.v7i2.14788.
Der volle Inhalt der QuelleSuryani Lukman, Hamidah, und Yanti Mulyanti. „ANALISIS VALIDITAS BAHAN AJAR STRUKTUR ALJABAR BERBASIS STRATEGI ABDUKTIF-DEDUKTIF“. M A T H L I N E : Jurnal Matematika dan Pendidikan Matematika 2, Nr. 2 (01.08.2017): 159–66. http://dx.doi.org/10.31943/mathline.v2i2.43.
Der volle Inhalt der QuelleShodikin, Ali. „Strategi Abduktif-Deduktif Pada Pembelajaran Matematika Dalam Peningkatan Disposisi Siswa“. MADRASAH 7, Nr. 2 (29.01.2016): 22. http://dx.doi.org/10.18860/jt.v7i2.3321.
Der volle Inhalt der QuellePutra, Yogi Arnaldo, Mardepi Saputra, Muhammad Fakhrur Rozi und Niko Zulni Pratama. „Pengaruh Metode Induktif Dan Metode Deduktif Terhadap Kemampuan Motorik Siswa“. Wahana Didaktika : Jurnal Ilmu Kependidikan 21, Nr. 3 (29.05.2023): 545–58. http://dx.doi.org/10.31851/wahanadidaktika.v21i3.11829.
Der volle Inhalt der QuellePelipa, Emilia Dewiwati, und Anna Marganingsih. „PENGARUH PENDEKATAN DEDUKTIF TERHADAP HASIL BELAJAR MAHASISWA PRODI PENDIDIKAN EKONOMI“. Jurnal Pendidikan Ekonomi (JURKAMI) 7, Nr. 3 (01.12.2022): 456–64. http://dx.doi.org/10.31932/jpe.v7i3.1584.
Der volle Inhalt der QuelleNasution, Eline Yanty Putri, Ayu Dasmina und Selvia Erita. „Strategi Abduktif-Deduktif Untuk Meningkatkan Kemampuan Pemecahan Masalah Matematis Siswa“. Venn: Journal of Sustainable Innovation on Education, Mathematics and Natural Sciences 1, Nr. 1 (18.09.2022): 13–20. http://dx.doi.org/10.53696/2964-867x.55.
Der volle Inhalt der QuelleGunawan Barutu, Indra, Abudarin und Nopriawan Berkat Asi. „Perbedaan Penguasaan Konsep Kerja Larutan Penyangga Hasil Pembelajaran Menggunakan LKS-Induktif Dan LKS-Deduktif Pada Siswa Kelas XI MIPA SMA Negeri 2 Palangka Raya Tahun Ajaran 2018/2019“. Jurnal Ilmiah Kanderang Tingang 10, Nr. 2 (31.12.2019): 161–74. http://dx.doi.org/10.37304/jikt.v10i2.30.
Der volle Inhalt der QuelleSumantri, Agus, Ashinta Sekar Bidari und Novita Alfiani. „PERTIMBANGAN HAKIM TERHADAP KETENTUAN HUKUM ATAS PENCABUTAN KETERANGAN TERDAKWA (Studi Putusan Pengadilan Negeri Sragen No. 199/Pid.Sus/2019/PN.Srg)“. RECHTSTAAT NIEUW: Jurnal Ilmu Hukum 6, Nr. 1 (27.10.2021): 29–42. http://dx.doi.org/10.52429/rn.v6i1.88.
Der volle Inhalt der QuelleAulia, Nurlaely, Zaini Abdul Bahza und Goziyah Goziyah. „JENIS PARAGRAF DALAM SURAT KABAR ONLINE CNN INDONESIA BERTEMA VIRUS CORONA“. Jurnal Sasindo UNPAM 8, Nr. 1 (01.06.2020): 1. http://dx.doi.org/10.32493/sasindo.v8i1.1-11.
Der volle Inhalt der QuelleMalherbe, Michel. „Bacon et la deductio ad praxin“. Revue philosophique de la France et de l'étranger 128, Nr. 1 (2003): 7. http://dx.doi.org/10.3917/rphi.031.0007.
Der volle Inhalt der QuelleMeerbote, Ralf. „Deduktion und Beweis in Kants Transzendentalphilosophie“. International Studies in Philosophy 21, Nr. 3 (1989): 96–97. http://dx.doi.org/10.5840/intstudphil19892137.
Der volle Inhalt der QuelleBaader, Franz, Bernhard Beckert und Tobias Nipkow. „Deduktion: von der Theorie zur Anwendung“. Informatik-Spektrum 33, Nr. 5 (06.08.2010): 444–51. http://dx.doi.org/10.1007/s00287-010-0461-3.
Der volle Inhalt der QuelleDescher, Stefan. „Deduktive Schlüsse in der literaturwissenschaftlichen Praxis“. Journal of Literary Theory 13, Nr. 2 (06.09.2019): 145–60. http://dx.doi.org/10.1515/jlt-2019-0005.
Der volle Inhalt der QuelleSamaya, Doni. „INTERAKSI PEMBELAJARAN MENULIS PARAGRAF DEDUKTIF PADA MAHASISWA FKIP UNIVERSITAS TRIDINANTI PALEMBANG“. UNDAS: Jurnal Hasil Penelitian Bahasa dan Sastra 15, Nr. 1 (10.07.2019): 77. http://dx.doi.org/10.26499/und.v15i1.1417.
Der volle Inhalt der QuelleYuni Artini, Putu Candra, Ida Bagus Nyoman Sudria und Ngadiran Kartowasono. „PENGEMBANGAN PERANGKAT PEMBELAJARAN PADA POKOK BAHASAN LARUTAN PENYANGGA DENGAN POLA DEDUKTIF“. Jurnal Pendidikan Kimia Indonesia 3, Nr. 2 (11.10.2019): 77. http://dx.doi.org/10.23887/jpk.v3i2.21131.
Der volle Inhalt der QuelleAdiputra, Yosi, und Handayani Eka Putri. „Penerapan Strategi Abduktif-Deduktif untuk Meningkatkan Kemampuan Penalaran Matematis Siswa SMK“. Laplace : Jurnal Pendidikan Matematika 4, Nr. 2 (05.10.2021): 261–69. http://dx.doi.org/10.31537/laplace.v4i2.559.
Der volle Inhalt der QuelleSaputri, Vioni. „Pengembangan Modul Elektronik Teks Hikayat Berbasis Model Deduktif Kelas X SMA“. PAKAR Pendidikan 18, Nr. 1 (05.06.2021): 46–56. http://dx.doi.org/10.24036/pakar.v18i1.184.
Der volle Inhalt der QuelleJupri, Al, Siti Fatimah und Dian Usdiyana. „Dampak Perkuliahan Geometri Pada Penalaran Deduktif Mahasiswa: Kasus Pembelajaran Teorema Ceva“. AKSIOMA : Jurnal Matematika dan Pendidikan Matematika 11, Nr. 1 (15.07.2020): 93–104. http://dx.doi.org/10.26877/aks.v11i1.6011.
Der volle Inhalt der QuelleKesuma, Mezan, und Reni Puspita Sari. „Pengembangan Modul Sharaf Dengan Pendekatan Deduktif Di Pondok Modern Madinah Lampung“. Studi Arab 11, Nr. 1 (30.06.2020): 27–36. http://dx.doi.org/10.35891/sa.v11i1.1944.
Der volle Inhalt der Quelle