Artículos de revistas sobre el tema "Dedukti"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 50 mejores artículos de revistas para su investigación sobre el tema "Dedukti".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Explore artículos de revistas sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
Assaf, Ali y Guillaume Burel. "Translating HOL to Dedukti". Electronic Proceedings in Theoretical Computer Science 186 (30 de julio de 2015): 74–88. http://dx.doi.org/10.4204/eptcs.186.8.
Texto completoCauderlier, Raphaël y Pierre Halmagrand. "Checking Zenon Modulo Proofs in Dedukti". Electronic Proceedings in Theoretical Computer Science 186 (30 de julio de 2015): 57–73. http://dx.doi.org/10.4204/eptcs.186.7.
Texto completoAssaf, Ali y Raphaël Cauderlier. "Mixing HOL and Coq in Dedukti (Extended Abstract)". Electronic Proceedings in Theoretical Computer Science 186 (30 de julio de 2015): 89–96. http://dx.doi.org/10.4204/eptcs.186.9.
Texto completoEl Haddad, Mohamed Yacine, Guillaume Burel y Frédéric Blanqui. "EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract)". Electronic Proceedings in Theoretical Computer Science 301 (23 de agosto de 2019): 27–35. http://dx.doi.org/10.4204/eptcs.301.5.
Texto completoBarras, Bruno y Valentin Maestracci. "Implementation of Two Layers Type Theory in Dedukti and Application to Cubical Type Theory". Electronic Proceedings in Theoretical Computer Science 332 (12 de enero de 2021): 54–67. http://dx.doi.org/10.4204/eptcs.332.4.
Texto completoBarras, Bruno y Valentin Maestracci. "Implementation of Two Layers Type Theory in Dedukti and Application to Cubical Type Theory". Electronic Proceedings in Theoretical Computer Science 332 (12 de enero de 2021): 54–67. http://dx.doi.org/10.4204/eptcs.332.4.
Texto completoFebriyani, Komang Ayu Dita. "Perspektif Sah Global tentang Serangan Militer AS Lakukan Di Wilayah Irak dan Suriah". Jurnal Ilmu Hukum Sui Generis 2, n.º 1 (1 de noviembre de 2021): 31–45. http://dx.doi.org/10.23887/jih.v2i1.1010.
Texto completoBry, François y Dietmar Seipel. "Deduktive Datenbanken". Informatik-Spektrum 19, n.º 4 (23 de agosto de 1996): 214–15. http://dx.doi.org/10.1007/s002870050033.
Texto completoFadillah, Ahmad. "Analisis Kemampuan Penalaran Deduktif Matematis Siswa". JTAM | Jurnal Teori dan Aplikasi Matematika 3, n.º 1 (1 de abril de 2019): 15. http://dx.doi.org/10.31764/jtam.v3i1.752.
Texto completoHammer, Martin. "Deduktion und Dialektik". Hegel-Jahrbuch 2016, n.º 1 (1 de mayo de 2016): 387–93. http://dx.doi.org/10.1515/hgjb-2016-0165.
Texto completoBudiono, Selamet y Imam Suroso. "KONSEP HUKUM KEABSAHAN TANDA TANGAN ELEKTRONIK PADA SURAT KUASA KHUSUS OLEH ADVOKAT UNTUK BERACARA DI PERADILAN". Jurnal Magister Ilmu Hukum 13, n.º 1 (30 de junio de 2023): 130–52. http://dx.doi.org/10.56943/dekrit.v13n1.156.
Texto completoBambang Robi’in, Vera Yuli Erviana y Dwi Sulisworo. "Outreach Program, Virtual Reality, dan Berpikir Hipotetikal Deduktif". Bincang Sains dan Teknologi 1, n.º 01 (3 de agosto de 2022): 18–25. http://dx.doi.org/10.56741/bst.v1i01.46.
Texto completoMun’im, Abdul. "Dialektika Induksi dan Deduksi dalam Pemikiran Hukum Islam". ISLAMICA: Jurnal Studi Keislaman 4, n.º 1 (22 de enero de 2014): 1. http://dx.doi.org/10.15642/islamica.2009.4.1.1-16.
Texto completoDarta, 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, n.º 1 (7 de abril de 2013): 16. http://dx.doi.org/10.18269/jpmipa.v18i1.207.
Texto completoPutra, Anom Surya. "Wacana Constitutional Questions dalam Situs Mahkamah: Konteks e-Deliberative Democracy". Jurnal Konstitusi 7, n.º 4 (20 de mayo de 2016): 061. http://dx.doi.org/10.31078/jk744.
Texto completoHutami, Wulandari Putri y Itok Dwi Kurniawan. "PROBLEMATIKA PELAKSANAAN PUTUSAN PENGADILAN PADA KASUS TINDAK PIDANA ANAK DI KEJAKSAAN NEGERI SURAKARTA". Verstek 10, n.º 3 (7 de febrero de 2023): 587. http://dx.doi.org/10.20961/jv.v10i3.70243.
Texto completoLarsen, Steen Nepper. "Virkelighedens rent begrebslogiske deduktion". Slagmark - Tidsskrift for idéhistorie, n.º 26 (4 de febrero de 2018): 161–64. http://dx.doi.org/10.7146/sl.v0i26.103847.
Texto completoLang, Stefan. "Fichtes Deduktion praktischer Spontaneität". Archiv für Geschichte der Philosophie 95, n.º 1 (enero de 2013): 65–86. http://dx.doi.org/10.1515/agph-2013-0003.
Texto completoSugiarti, 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, n.º 1 (12 de octubre de 2019): 1–8. http://dx.doi.org/10.30599/spbs.v1i1.525.
Texto completoKharimah, Ilmi Mamruatul, Titik Sugiarti, Susanto Susanto, Toto Bara Setiawan, Didik Sugeng Pambudi y Tutut Triningsih. "Proses Berpikir Siswa SMA Level Deduksi Informal dalam Menyelesaikan Soal Dimensi Tiga menurut Tahapan Wallas". Journal of Mathematics Education and Learning 1, n.º 2 (9 de julio de 2021): 116. http://dx.doi.org/10.19184/jomeal.v1i2.24247.
Texto completoWulan Nari, Olvi, Abudarin y 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, n.º 2 (31 de diciembre de 2019): 149–60. http://dx.doi.org/10.37304/jikt.v10i2.29.
Texto completoSI «SISJ NAMS Ukraine», Staff of. "Ninel Vasylivna Dedukh". ORTHOPAEDICS, TRAUMATOLOGY and PROSTHETICS, n.º 2 (20 de agosto de 2013): 93. http://dx.doi.org/10.15674/0030-59872013293-94.
Texto completoNike K, Maria Theresia. "PENALARAN DEDUKTIF DAN INDUKTIF SISWA DALAM PEMECAHAN MASALAH TRIGONOMETRI DITINJAU DARI TINGKAT IQ". APOTEMA : Jurnal Program Studi Pendidikan Matematika 1, n.º 2 (15 de julio de 2015): 67–75. http://dx.doi.org/10.31597/ja.v1i2.155.
Texto completoMellmann, Katja. "Monokauzalitás és pszeudointencionalitás". nCOGNITO - Kognitív Kultúraelméleti Közlemények 2, n.º 1 (15 de diciembre de 2023): 5–34. http://dx.doi.org/10.14232/ncognito/2023.2.5-34.
Texto completoTrimulyani, Laeli, Isnani y M. Shaefur Rokhman. "Efektifitas Model Pembelajaran Problem Posing Dengan Pendekatan Deduktif Terhadap Aktivitas Dan Prestasi Belajar Matematika". Integral (Jurnal Penelitian Pendidikan Matematika) 2, n.º 2 (21 de junio de 2020): 125–31. http://dx.doi.org/10.24905/jppm.v2i2.41.
Texto completoHr, Bq Malikah. "Kemampuan Penalaran Deduktif Matematis Siswa Melalui Modeling The Way". Media Pendidikan Matematika 8, n.º 1 (30 de junio de 2020): 87. http://dx.doi.org/10.33394/mpm.v8i1.2576.
Texto completoNierlich, Edmund. "Die deduktiv-nomologische Erklärung als hauptmotiv empirisch-wissenschaftlicher tätigkeit". Erkenntnis 29, n.º 1 (julio de 1988): 1–33. http://dx.doi.org/10.1007/bf00166364.
Texto completoSalim, Salim y Hendra Nelva Saputra. "Pengembangan Perangkat Pembelajaran Melalui Lesson Study Dengan Strategi Pembelajaran Siklus Belajar Hipotesis Deduktif". Jurnal Amal Pendidikan 3, n.º 1 (30 de abril de 2022): 87. http://dx.doi.org/10.36709/japend.v3i1.25738.
Texto completoSamiwahyuni. "Peningkatan Keterampilan Menulis Paragraf Deduktif Topik Matematika melalui Metode Model Menggunakan LKPD". Jurnal Pembelajaran Bahasa dan Sastra 2, n.º 3 (1 de mayo de 2023): 281–92. http://dx.doi.org/10.55909/jpbs.v2i3.270.
Texto completoWijayanti, Dwi Antari y 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, n.º 1 (20 de enero de 2020): 151. http://dx.doi.org/10.31331/medivesveteran.v4i1.899.
Texto completoBoullart, Karel. "De Deductie van het tragische". Documenta 6, n.º 1 (29 de abril de 2019): 17–33. http://dx.doi.org/10.21825/doc.v6i1.10974.
Texto completoSaputra, Edy y Rahmy Zulmaulida. "Analisis Kemampuan Penalaran Deduktif Siswa pada Pembelajaran Creative Problem Solving (CPS)". Suska Journal of Mathematics Education 7, n.º 2 (30 de noviembre de 2021): 113. http://dx.doi.org/10.24014/sjme.v7i2.14788.
Texto completoSuryani Lukman, Hamidah y 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, n.º 2 (1 de agosto de 2017): 159–66. http://dx.doi.org/10.31943/mathline.v2i2.43.
Texto completoShodikin, Ali. "Strategi Abduktif-Deduktif Pada Pembelajaran Matematika Dalam Peningkatan Disposisi Siswa". MADRASAH 7, n.º 2 (29 de enero de 2016): 22. http://dx.doi.org/10.18860/jt.v7i2.3321.
Texto completoPutra, Yogi Arnaldo, Mardepi Saputra, Muhammad Fakhrur Rozi y Niko Zulni Pratama. "Pengaruh Metode Induktif Dan Metode Deduktif Terhadap Kemampuan Motorik Siswa". Wahana Didaktika : Jurnal Ilmu Kependidikan 21, n.º 3 (29 de mayo de 2023): 545–58. http://dx.doi.org/10.31851/wahanadidaktika.v21i3.11829.
Texto completoPelipa, Emilia Dewiwati y Anna Marganingsih. "PENGARUH PENDEKATAN DEDUKTIF TERHADAP HASIL BELAJAR MAHASISWA PRODI PENDIDIKAN EKONOMI". Jurnal Pendidikan Ekonomi (JURKAMI) 7, n.º 3 (1 de diciembre de 2022): 456–64. http://dx.doi.org/10.31932/jpe.v7i3.1584.
Texto completoNasution, Eline Yanty Putri, Ayu Dasmina y Selvia Erita. "Strategi Abduktif-Deduktif Untuk Meningkatkan Kemampuan Pemecahan Masalah Matematis Siswa". Venn: Journal of Sustainable Innovation on Education, Mathematics and Natural Sciences 1, n.º 1 (18 de septiembre de 2022): 13–20. http://dx.doi.org/10.53696/2964-867x.55.
Texto completoGunawan Barutu, Indra, Abudarin y 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, n.º 2 (31 de diciembre de 2019): 161–74. http://dx.doi.org/10.37304/jikt.v10i2.30.
Texto completoSumantri, Agus, Ashinta Sekar Bidari y 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, n.º 1 (27 de octubre de 2021): 29–42. http://dx.doi.org/10.52429/rn.v6i1.88.
Texto completoAulia, Nurlaely, Zaini Abdul Bahza y Goziyah Goziyah. "JENIS PARAGRAF DALAM SURAT KABAR ONLINE CNN INDONESIA BERTEMA VIRUS CORONA". Jurnal Sasindo UNPAM 8, n.º 1 (1 de junio de 2020): 1. http://dx.doi.org/10.32493/sasindo.v8i1.1-11.
Texto completoMalherbe, Michel. "Bacon et la deductio ad praxin". Revue philosophique de la France et de l'étranger 128, n.º 1 (2003): 7. http://dx.doi.org/10.3917/rphi.031.0007.
Texto completoMeerbote, Ralf. "Deduktion und Beweis in Kants Transzendentalphilosophie". International Studies in Philosophy 21, n.º 3 (1989): 96–97. http://dx.doi.org/10.5840/intstudphil19892137.
Texto completoBaader, Franz, Bernhard Beckert y Tobias Nipkow. "Deduktion: von der Theorie zur Anwendung". Informatik-Spektrum 33, n.º 5 (6 de agosto de 2010): 444–51. http://dx.doi.org/10.1007/s00287-010-0461-3.
Texto completoDescher, Stefan. "Deduktive Schlüsse in der literaturwissenschaftlichen Praxis". Journal of Literary Theory 13, n.º 2 (6 de septiembre de 2019): 145–60. http://dx.doi.org/10.1515/jlt-2019-0005.
Texto completoSamaya, Doni. "INTERAKSI PEMBELAJARAN MENULIS PARAGRAF DEDUKTIF PADA MAHASISWA FKIP UNIVERSITAS TRIDINANTI PALEMBANG". UNDAS: Jurnal Hasil Penelitian Bahasa dan Sastra 15, n.º 1 (10 de julio de 2019): 77. http://dx.doi.org/10.26499/und.v15i1.1417.
Texto completoYuni Artini, Putu Candra, Ida Bagus Nyoman Sudria y Ngadiran Kartowasono. "PENGEMBANGAN PERANGKAT PEMBELAJARAN PADA POKOK BAHASAN LARUTAN PENYANGGA DENGAN POLA DEDUKTIF". Jurnal Pendidikan Kimia Indonesia 3, n.º 2 (11 de octubre de 2019): 77. http://dx.doi.org/10.23887/jpk.v3i2.21131.
Texto completoAdiputra, Yosi y Handayani Eka Putri. "Penerapan Strategi Abduktif-Deduktif untuk Meningkatkan Kemampuan Penalaran Matematis Siswa SMK". Laplace : Jurnal Pendidikan Matematika 4, n.º 2 (5 de octubre de 2021): 261–69. http://dx.doi.org/10.31537/laplace.v4i2.559.
Texto completoSaputri, Vioni. "Pengembangan Modul Elektronik Teks Hikayat Berbasis Model Deduktif Kelas X SMA". PAKAR Pendidikan 18, n.º 1 (5 de junio de 2021): 46–56. http://dx.doi.org/10.24036/pakar.v18i1.184.
Texto completoJupri, Al, Siti Fatimah y Dian Usdiyana. "Dampak Perkuliahan Geometri Pada Penalaran Deduktif Mahasiswa: Kasus Pembelajaran Teorema Ceva". AKSIOMA : Jurnal Matematika dan Pendidikan Matematika 11, n.º 1 (15 de julio de 2020): 93–104. http://dx.doi.org/10.26877/aks.v11i1.6011.
Texto completoKesuma, Mezan y Reni Puspita Sari. "Pengembangan Modul Sharaf Dengan Pendekatan Deduktif Di Pondok Modern Madinah Lampung". Studi Arab 11, n.º 1 (30 de junio de 2020): 27–36. http://dx.doi.org/10.35891/sa.v11i1.1944.
Texto completo