Journal articles on the topic 'Dedukti'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 journal articles for your research on the topic 'Dedukti.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
Assaf, Ali, and Guillaume Burel. "Translating HOL to Dedukti." Electronic Proceedings in Theoretical Computer Science 186 (July 30, 2015): 74–88. http://dx.doi.org/10.4204/eptcs.186.8.
Full textCauderlier, Raphaël, and Pierre Halmagrand. "Checking Zenon Modulo Proofs in Dedukti." Electronic Proceedings in Theoretical Computer Science 186 (July 30, 2015): 57–73. http://dx.doi.org/10.4204/eptcs.186.7.
Full textAssaf, Ali, and Raphaël Cauderlier. "Mixing HOL and Coq in Dedukti (Extended Abstract)." Electronic Proceedings in Theoretical Computer Science 186 (July 30, 2015): 89–96. http://dx.doi.org/10.4204/eptcs.186.9.
Full textEl Haddad, Mohamed Yacine, Guillaume Burel, and Frédéric Blanqui. "EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract)." Electronic Proceedings in Theoretical Computer Science 301 (August 23, 2019): 27–35. http://dx.doi.org/10.4204/eptcs.301.5.
Full textBarras, Bruno, and Valentin Maestracci. "Implementation of Two Layers Type Theory in Dedukti and Application to Cubical Type Theory." Electronic Proceedings in Theoretical Computer Science 332 (January 12, 2021): 54–67. http://dx.doi.org/10.4204/eptcs.332.4.
Full textBarras, Bruno, and Valentin Maestracci. "Implementation of Two Layers Type Theory in Dedukti and Application to Cubical Type Theory." Electronic Proceedings in Theoretical Computer Science 332 (January 12, 2021): 54–67. http://dx.doi.org/10.4204/eptcs.332.4.
Full textFebriyani, Komang Ayu Dita. "Perspektif Sah Global tentang Serangan Militer AS Lakukan Di Wilayah Irak dan Suriah." Jurnal Ilmu Hukum Sui Generis 2, no. 1 (November 1, 2021): 31–45. http://dx.doi.org/10.23887/jih.v2i1.1010.
Full textBry, François, and Dietmar Seipel. "Deduktive Datenbanken." Informatik-Spektrum 19, no. 4 (August 23, 1996): 214–15. http://dx.doi.org/10.1007/s002870050033.
Full textFadillah, Ahmad. "Analisis Kemampuan Penalaran Deduktif Matematis Siswa." JTAM | Jurnal Teori dan Aplikasi Matematika 3, no. 1 (April 1, 2019): 15. http://dx.doi.org/10.31764/jtam.v3i1.752.
Full textHammer, Martin. "Deduktion und Dialektik." Hegel-Jahrbuch 2016, no. 1 (May 1, 2016): 387–93. http://dx.doi.org/10.1515/hgjb-2016-0165.
Full textBudiono, Selamet, and Imam Suroso. "KONSEP HUKUM KEABSAHAN TANDA TANGAN ELEKTRONIK PADA SURAT KUASA KHUSUS OLEH ADVOKAT UNTUK BERACARA DI PERADILAN." Jurnal Magister Ilmu Hukum 13, no. 1 (June 30, 2023): 130–52. http://dx.doi.org/10.56943/dekrit.v13n1.156.
Full textBambang Robi’in, Vera Yuli Erviana, and Dwi Sulisworo. "Outreach Program, Virtual Reality, dan Berpikir Hipotetikal Deduktif." Bincang Sains dan Teknologi 1, no. 01 (August 3, 2022): 18–25. http://dx.doi.org/10.56741/bst.v1i01.46.
Full textMun’im, Abdul. "Dialektika Induksi dan Deduksi dalam Pemikiran Hukum Islam." ISLAMICA: Jurnal Studi Keislaman 4, no. 1 (January 22, 2014): 1. http://dx.doi.org/10.15642/islamica.2009.4.1.1-16.
Full textDarta, 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, no. 1 (April 7, 2013): 16. http://dx.doi.org/10.18269/jpmipa.v18i1.207.
Full textPutra, Anom Surya. "Wacana Constitutional Questions dalam Situs Mahkamah: Konteks e-Deliberative Democracy." Jurnal Konstitusi 7, no. 4 (May 20, 2016): 061. http://dx.doi.org/10.31078/jk744.
Full textHutami, Wulandari Putri, and Itok Dwi Kurniawan. "PROBLEMATIKA PELAKSANAAN PUTUSAN PENGADILAN PADA KASUS TINDAK PIDANA ANAK DI KEJAKSAAN NEGERI SURAKARTA." Verstek 10, no. 3 (February 7, 2023): 587. http://dx.doi.org/10.20961/jv.v10i3.70243.
Full textLarsen, Steen Nepper. "Virkelighedens rent begrebslogiske deduktion." Slagmark - Tidsskrift for idéhistorie, no. 26 (February 4, 2018): 161–64. http://dx.doi.org/10.7146/sl.v0i26.103847.
Full textLang, Stefan. "Fichtes Deduktion praktischer Spontaneität." Archiv für Geschichte der Philosophie 95, no. 1 (January 2013): 65–86. http://dx.doi.org/10.1515/agph-2013-0003.
Full textSugiarti, 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, no. 1 (October 12, 2019): 1–8. http://dx.doi.org/10.30599/spbs.v1i1.525.
Full textKharimah, Ilmi Mamruatul, Titik Sugiarti, Susanto Susanto, Toto Bara Setiawan, Didik Sugeng Pambudi, and Tutut Triningsih. "Proses Berpikir Siswa SMA Level Deduksi Informal dalam Menyelesaikan Soal Dimensi Tiga menurut Tahapan Wallas." Journal of Mathematics Education and Learning 1, no. 2 (July 9, 2021): 116. http://dx.doi.org/10.19184/jomeal.v1i2.24247.
Full textWulan Nari, Olvi, Abudarin, and 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, no. 2 (December 31, 2019): 149–60. http://dx.doi.org/10.37304/jikt.v10i2.29.
Full textSI «SISJ NAMS Ukraine», Staff of. "Ninel Vasylivna Dedukh." ORTHOPAEDICS, TRAUMATOLOGY and PROSTHETICS, no. 2 (August 20, 2013): 93. http://dx.doi.org/10.15674/0030-59872013293-94.
Full textNike K, Maria Theresia. "PENALARAN DEDUKTIF DAN INDUKTIF SISWA DALAM PEMECAHAN MASALAH TRIGONOMETRI DITINJAU DARI TINGKAT IQ." APOTEMA : Jurnal Program Studi Pendidikan Matematika 1, no. 2 (July 15, 2015): 67–75. http://dx.doi.org/10.31597/ja.v1i2.155.
Full textMellmann, Katja. "Monokauzalitás és pszeudointencionalitás." nCOGNITO - Kognitív Kultúraelméleti Közlemények 2, no. 1 (December 15, 2023): 5–34. http://dx.doi.org/10.14232/ncognito/2023.2.5-34.
Full textTrimulyani, Laeli, Isnani, and M. Shaefur Rokhman. "Efektifitas Model Pembelajaran Problem Posing Dengan Pendekatan Deduktif Terhadap Aktivitas Dan Prestasi Belajar Matematika." Integral (Jurnal Penelitian Pendidikan Matematika) 2, no. 2 (June 21, 2020): 125–31. http://dx.doi.org/10.24905/jppm.v2i2.41.
Full textHr, Bq Malikah. "Kemampuan Penalaran Deduktif Matematis Siswa Melalui Modeling The Way." Media Pendidikan Matematika 8, no. 1 (June 30, 2020): 87. http://dx.doi.org/10.33394/mpm.v8i1.2576.
Full textNierlich, Edmund. "Die deduktiv-nomologische Erklärung als hauptmotiv empirisch-wissenschaftlicher tätigkeit." Erkenntnis 29, no. 1 (July 1988): 1–33. http://dx.doi.org/10.1007/bf00166364.
Full textSalim, Salim, and Hendra Nelva Saputra. "Pengembangan Perangkat Pembelajaran Melalui Lesson Study Dengan Strategi Pembelajaran Siklus Belajar Hipotesis Deduktif." Jurnal Amal Pendidikan 3, no. 1 (April 30, 2022): 87. http://dx.doi.org/10.36709/japend.v3i1.25738.
Full textSamiwahyuni. "Peningkatan Keterampilan Menulis Paragraf Deduktif Topik Matematika melalui Metode Model Menggunakan LKPD." Jurnal Pembelajaran Bahasa dan Sastra 2, no. 3 (May 1, 2023): 281–92. http://dx.doi.org/10.55909/jpbs.v2i3.270.
Full textWijayanti, Dwi Antari, and 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, no. 1 (January 20, 2020): 151. http://dx.doi.org/10.31331/medivesveteran.v4i1.899.
Full textBoullart, Karel. "De Deductie van het tragische." Documenta 6, no. 1 (April 29, 2019): 17–33. http://dx.doi.org/10.21825/doc.v6i1.10974.
Full textSaputra, Edy, and Rahmy Zulmaulida. "Analisis Kemampuan Penalaran Deduktif Siswa pada Pembelajaran Creative Problem Solving (CPS)." Suska Journal of Mathematics Education 7, no. 2 (November 30, 2021): 113. http://dx.doi.org/10.24014/sjme.v7i2.14788.
Full textSuryani Lukman, Hamidah, and 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, no. 2 (August 1, 2017): 159–66. http://dx.doi.org/10.31943/mathline.v2i2.43.
Full textShodikin, Ali. "Strategi Abduktif-Deduktif Pada Pembelajaran Matematika Dalam Peningkatan Disposisi Siswa." MADRASAH 7, no. 2 (January 29, 2016): 22. http://dx.doi.org/10.18860/jt.v7i2.3321.
Full textPutra, Yogi Arnaldo, Mardepi Saputra, Muhammad Fakhrur Rozi, and Niko Zulni Pratama. "Pengaruh Metode Induktif Dan Metode Deduktif Terhadap Kemampuan Motorik Siswa." Wahana Didaktika : Jurnal Ilmu Kependidikan 21, no. 3 (May 29, 2023): 545–58. http://dx.doi.org/10.31851/wahanadidaktika.v21i3.11829.
Full textPelipa, Emilia Dewiwati, and Anna Marganingsih. "PENGARUH PENDEKATAN DEDUKTIF TERHADAP HASIL BELAJAR MAHASISWA PRODI PENDIDIKAN EKONOMI." Jurnal Pendidikan Ekonomi (JURKAMI) 7, no. 3 (December 1, 2022): 456–64. http://dx.doi.org/10.31932/jpe.v7i3.1584.
Full textNasution, Eline Yanty Putri, Ayu Dasmina, and Selvia Erita. "Strategi Abduktif-Deduktif Untuk Meningkatkan Kemampuan Pemecahan Masalah Matematis Siswa." Venn: Journal of Sustainable Innovation on Education, Mathematics and Natural Sciences 1, no. 1 (September 18, 2022): 13–20. http://dx.doi.org/10.53696/2964-867x.55.
Full textGunawan Barutu, Indra, Abudarin, and 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, no. 2 (December 31, 2019): 161–74. http://dx.doi.org/10.37304/jikt.v10i2.30.
Full textSumantri, Agus, Ashinta Sekar Bidari, and 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, no. 1 (October 27, 2021): 29–42. http://dx.doi.org/10.52429/rn.v6i1.88.
Full textAulia, Nurlaely, Zaini Abdul Bahza, and Goziyah Goziyah. "JENIS PARAGRAF DALAM SURAT KABAR ONLINE CNN INDONESIA BERTEMA VIRUS CORONA." Jurnal Sasindo UNPAM 8, no. 1 (June 1, 2020): 1. http://dx.doi.org/10.32493/sasindo.v8i1.1-11.
Full textMalherbe, Michel. "Bacon et la deductio ad praxin." Revue philosophique de la France et de l'étranger 128, no. 1 (2003): 7. http://dx.doi.org/10.3917/rphi.031.0007.
Full textMeerbote, Ralf. "Deduktion und Beweis in Kants Transzendentalphilosophie." International Studies in Philosophy 21, no. 3 (1989): 96–97. http://dx.doi.org/10.5840/intstudphil19892137.
Full textBaader, Franz, Bernhard Beckert, and Tobias Nipkow. "Deduktion: von der Theorie zur Anwendung." Informatik-Spektrum 33, no. 5 (August 6, 2010): 444–51. http://dx.doi.org/10.1007/s00287-010-0461-3.
Full textDescher, Stefan. "Deduktive Schlüsse in der literaturwissenschaftlichen Praxis." Journal of Literary Theory 13, no. 2 (September 6, 2019): 145–60. http://dx.doi.org/10.1515/jlt-2019-0005.
Full textSamaya, Doni. "INTERAKSI PEMBELAJARAN MENULIS PARAGRAF DEDUKTIF PADA MAHASISWA FKIP UNIVERSITAS TRIDINANTI PALEMBANG." UNDAS: Jurnal Hasil Penelitian Bahasa dan Sastra 15, no. 1 (July 10, 2019): 77. http://dx.doi.org/10.26499/und.v15i1.1417.
Full textYuni Artini, Putu Candra, Ida Bagus Nyoman Sudria, and Ngadiran Kartowasono. "PENGEMBANGAN PERANGKAT PEMBELAJARAN PADA POKOK BAHASAN LARUTAN PENYANGGA DENGAN POLA DEDUKTIF." Jurnal Pendidikan Kimia Indonesia 3, no. 2 (October 11, 2019): 77. http://dx.doi.org/10.23887/jpk.v3i2.21131.
Full textAdiputra, Yosi, and Handayani Eka Putri. "Penerapan Strategi Abduktif-Deduktif untuk Meningkatkan Kemampuan Penalaran Matematis Siswa SMK." Laplace : Jurnal Pendidikan Matematika 4, no. 2 (October 5, 2021): 261–69. http://dx.doi.org/10.31537/laplace.v4i2.559.
Full textSaputri, Vioni. "Pengembangan Modul Elektronik Teks Hikayat Berbasis Model Deduktif Kelas X SMA." PAKAR Pendidikan 18, no. 1 (June 5, 2021): 46–56. http://dx.doi.org/10.24036/pakar.v18i1.184.
Full textJupri, Al, Siti Fatimah, and Dian Usdiyana. "Dampak Perkuliahan Geometri Pada Penalaran Deduktif Mahasiswa: Kasus Pembelajaran Teorema Ceva." AKSIOMA : Jurnal Matematika dan Pendidikan Matematika 11, no. 1 (July 15, 2020): 93–104. http://dx.doi.org/10.26877/aks.v11i1.6011.
Full textKesuma, Mezan, and Reni Puspita Sari. "Pengembangan Modul Sharaf Dengan Pendekatan Deduktif Di Pondok Modern Madinah Lampung." Studi Arab 11, no. 1 (June 30, 2020): 27–36. http://dx.doi.org/10.35891/sa.v11i1.1944.
Full text