Artigos de revistas sobre o tema "Dedukti"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Veja os 50 melhores artigos de revistas para estudos sobre o assunto "Dedukti".
Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.
Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.
Veja os artigos de revistas das mais diversas áreas científicas e compile uma bibliografia correta.
Assaf, Ali, e Guillaume Burel. "Translating HOL to Dedukti". Electronic Proceedings in Theoretical Computer Science 186 (30 de julho de 2015): 74–88. http://dx.doi.org/10.4204/eptcs.186.8.
Texto completo da fonteCauderlier, Raphaël, e Pierre Halmagrand. "Checking Zenon Modulo Proofs in Dedukti". Electronic Proceedings in Theoretical Computer Science 186 (30 de julho de 2015): 57–73. http://dx.doi.org/10.4204/eptcs.186.7.
Texto completo da fonteAssaf, Ali, e Raphaël Cauderlier. "Mixing HOL and Coq in Dedukti (Extended Abstract)". Electronic Proceedings in Theoretical Computer Science 186 (30 de julho de 2015): 89–96. http://dx.doi.org/10.4204/eptcs.186.9.
Texto completo da fonteEl Haddad, Mohamed Yacine, Guillaume Burel e 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 completo da fonteBarras, Bruno, e 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 janeiro de 2021): 54–67. http://dx.doi.org/10.4204/eptcs.332.4.
Texto completo da fonteBarras, Bruno, e 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 janeiro de 2021): 54–67. http://dx.doi.org/10.4204/eptcs.332.4.
Texto completo da fonteFebriyani, 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 novembro de 2021): 31–45. http://dx.doi.org/10.23887/jih.v2i1.1010.
Texto completo da fonteBry, François, e Dietmar Seipel. "Deduktive Datenbanken". Informatik-Spektrum 19, n.º 4 (23 de agosto de 1996): 214–15. http://dx.doi.org/10.1007/s002870050033.
Texto completo da fonteFadillah, 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 completo da fonteHammer, Martin. "Deduktion und Dialektik". Hegel-Jahrbuch 2016, n.º 1 (1 de maio de 2016): 387–93. http://dx.doi.org/10.1515/hgjb-2016-0165.
Texto completo da fonteBudiono, Selamet, e 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 junho de 2023): 130–52. http://dx.doi.org/10.56943/dekrit.v13n1.156.
Texto completo da fonteBambang Robi’in, Vera Yuli Erviana e 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 completo da fonteMun’im, Abdul. "Dialektika Induksi dan Deduksi dalam Pemikiran Hukum Islam". ISLAMICA: Jurnal Studi Keislaman 4, n.º 1 (22 de janeiro de 2014): 1. http://dx.doi.org/10.15642/islamica.2009.4.1.1-16.
Texto completo da fonteDarta, 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 completo da fontePutra, Anom Surya. "Wacana Constitutional Questions dalam Situs Mahkamah: Konteks e-Deliberative Democracy". Jurnal Konstitusi 7, n.º 4 (20 de maio de 2016): 061. http://dx.doi.org/10.31078/jk744.
Texto completo da fonteHutami, Wulandari Putri, e Itok Dwi Kurniawan. "PROBLEMATIKA PELAKSANAAN PUTUSAN PENGADILAN PADA KASUS TINDAK PIDANA ANAK DI KEJAKSAAN NEGERI SURAKARTA". Verstek 10, n.º 3 (7 de fevereiro de 2023): 587. http://dx.doi.org/10.20961/jv.v10i3.70243.
Texto completo da fonteLarsen, Steen Nepper. "Virkelighedens rent begrebslogiske deduktion". Slagmark - Tidsskrift for idéhistorie, n.º 26 (4 de fevereiro de 2018): 161–64. http://dx.doi.org/10.7146/sl.v0i26.103847.
Texto completo da fonteLang, Stefan. "Fichtes Deduktion praktischer Spontaneität". Archiv für Geschichte der Philosophie 95, n.º 1 (janeiro de 2013): 65–86. http://dx.doi.org/10.1515/agph-2013-0003.
Texto completo da fonteSugiarti, 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 outubro de 2019): 1–8. http://dx.doi.org/10.30599/spbs.v1i1.525.
Texto completo da fonteKharimah, Ilmi Mamruatul, Titik Sugiarti, Susanto Susanto, Toto Bara Setiawan, Didik Sugeng Pambudi e 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 julho de 2021): 116. http://dx.doi.org/10.19184/jomeal.v1i2.24247.
Texto completo da fonteWulan Nari, Olvi, Abudarin e 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 dezembro de 2019): 149–60. http://dx.doi.org/10.37304/jikt.v10i2.29.
Texto completo da fonteSI «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 completo da fonteNike 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 julho de 2015): 67–75. http://dx.doi.org/10.31597/ja.v1i2.155.
Texto completo da fonteMellmann, Katja. "Monokauzalitás és pszeudointencionalitás". nCOGNITO - Kognitív Kultúraelméleti Közlemények 2, n.º 1 (15 de dezembro de 2023): 5–34. http://dx.doi.org/10.14232/ncognito/2023.2.5-34.
Texto completo da fonteTrimulyani, Laeli, Isnani e 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 junho de 2020): 125–31. http://dx.doi.org/10.24905/jppm.v2i2.41.
Texto completo da fonteHr, Bq Malikah. "Kemampuan Penalaran Deduktif Matematis Siswa Melalui Modeling The Way". Media Pendidikan Matematika 8, n.º 1 (30 de junho de 2020): 87. http://dx.doi.org/10.33394/mpm.v8i1.2576.
Texto completo da fonteNierlich, Edmund. "Die deduktiv-nomologische Erklärung als hauptmotiv empirisch-wissenschaftlicher tätigkeit". Erkenntnis 29, n.º 1 (julho de 1988): 1–33. http://dx.doi.org/10.1007/bf00166364.
Texto completo da fonteSalim, Salim, e 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 completo da fonteSamiwahyuni. "Peningkatan Keterampilan Menulis Paragraf Deduktif Topik Matematika melalui Metode Model Menggunakan LKPD". Jurnal Pembelajaran Bahasa dan Sastra 2, n.º 3 (1 de maio de 2023): 281–92. http://dx.doi.org/10.55909/jpbs.v2i3.270.
Texto completo da fonteWijayanti, Dwi Antari, e 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 janeiro de 2020): 151. http://dx.doi.org/10.31331/medivesveteran.v4i1.899.
Texto completo da fonteBoullart, 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 completo da fonteSaputra, Edy, e Rahmy Zulmaulida. "Analisis Kemampuan Penalaran Deduktif Siswa pada Pembelajaran Creative Problem Solving (CPS)". Suska Journal of Mathematics Education 7, n.º 2 (30 de novembro de 2021): 113. http://dx.doi.org/10.24014/sjme.v7i2.14788.
Texto completo da fonteSuryani Lukman, Hamidah, e 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 completo da fonteShodikin, Ali. "Strategi Abduktif-Deduktif Pada Pembelajaran Matematika Dalam Peningkatan Disposisi Siswa". MADRASAH 7, n.º 2 (29 de janeiro de 2016): 22. http://dx.doi.org/10.18860/jt.v7i2.3321.
Texto completo da fontePutra, Yogi Arnaldo, Mardepi Saputra, Muhammad Fakhrur Rozi e Niko Zulni Pratama. "Pengaruh Metode Induktif Dan Metode Deduktif Terhadap Kemampuan Motorik Siswa". Wahana Didaktika : Jurnal Ilmu Kependidikan 21, n.º 3 (29 de maio de 2023): 545–58. http://dx.doi.org/10.31851/wahanadidaktika.v21i3.11829.
Texto completo da fontePelipa, Emilia Dewiwati, e Anna Marganingsih. "PENGARUH PENDEKATAN DEDUKTIF TERHADAP HASIL BELAJAR MAHASISWA PRODI PENDIDIKAN EKONOMI". Jurnal Pendidikan Ekonomi (JURKAMI) 7, n.º 3 (1 de dezembro de 2022): 456–64. http://dx.doi.org/10.31932/jpe.v7i3.1584.
Texto completo da fonteNasution, Eline Yanty Putri, Ayu Dasmina e 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 setembro de 2022): 13–20. http://dx.doi.org/10.53696/2964-867x.55.
Texto completo da fonteGunawan Barutu, Indra, Abudarin e 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 dezembro de 2019): 161–74. http://dx.doi.org/10.37304/jikt.v10i2.30.
Texto completo da fonteSumantri, Agus, Ashinta Sekar Bidari e 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 outubro de 2021): 29–42. http://dx.doi.org/10.52429/rn.v6i1.88.
Texto completo da fonteAulia, Nurlaely, Zaini Abdul Bahza e Goziyah Goziyah. "JENIS PARAGRAF DALAM SURAT KABAR ONLINE CNN INDONESIA BERTEMA VIRUS CORONA". Jurnal Sasindo UNPAM 8, n.º 1 (1 de junho de 2020): 1. http://dx.doi.org/10.32493/sasindo.v8i1.1-11.
Texto completo da fonteMalherbe, 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 completo da fonteMeerbote, 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 completo da fonteBaader, Franz, Bernhard Beckert e 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 completo da fonteDescher, Stefan. "Deduktive Schlüsse in der literaturwissenschaftlichen Praxis". Journal of Literary Theory 13, n.º 2 (6 de setembro de 2019): 145–60. http://dx.doi.org/10.1515/jlt-2019-0005.
Texto completo da fonteSamaya, Doni. "INTERAKSI PEMBELAJARAN MENULIS PARAGRAF DEDUKTIF PADA MAHASISWA FKIP UNIVERSITAS TRIDINANTI PALEMBANG". UNDAS: Jurnal Hasil Penelitian Bahasa dan Sastra 15, n.º 1 (10 de julho de 2019): 77. http://dx.doi.org/10.26499/und.v15i1.1417.
Texto completo da fonteYuni Artini, Putu Candra, Ida Bagus Nyoman Sudria e Ngadiran Kartowasono. "PENGEMBANGAN PERANGKAT PEMBELAJARAN PADA POKOK BAHASAN LARUTAN PENYANGGA DENGAN POLA DEDUKTIF". Jurnal Pendidikan Kimia Indonesia 3, n.º 2 (11 de outubro de 2019): 77. http://dx.doi.org/10.23887/jpk.v3i2.21131.
Texto completo da fonteAdiputra, Yosi, e Handayani Eka Putri. "Penerapan Strategi Abduktif-Deduktif untuk Meningkatkan Kemampuan Penalaran Matematis Siswa SMK". Laplace : Jurnal Pendidikan Matematika 4, n.º 2 (5 de outubro de 2021): 261–69. http://dx.doi.org/10.31537/laplace.v4i2.559.
Texto completo da fonteSaputri, Vioni. "Pengembangan Modul Elektronik Teks Hikayat Berbasis Model Deduktif Kelas X SMA". PAKAR Pendidikan 18, n.º 1 (5 de junho de 2021): 46–56. http://dx.doi.org/10.24036/pakar.v18i1.184.
Texto completo da fonteJupri, Al, Siti Fatimah e Dian Usdiyana. "Dampak Perkuliahan Geometri Pada Penalaran Deduktif Mahasiswa: Kasus Pembelajaran Teorema Ceva". AKSIOMA : Jurnal Matematika dan Pendidikan Matematika 11, n.º 1 (15 de julho de 2020): 93–104. http://dx.doi.org/10.26877/aks.v11i1.6011.
Texto completo da fonteKesuma, Mezan, e Reni Puspita Sari. "Pengembangan Modul Sharaf Dengan Pendekatan Deduktif Di Pondok Modern Madinah Lampung". Studi Arab 11, n.º 1 (30 de junho de 2020): 27–36. http://dx.doi.org/10.35891/sa.v11i1.1944.
Texto completo da fonte