Artykuły w czasopismach na temat „Dedukti”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych artykułów w czasopismach naukowych na temat „Dedukti”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj artykuły w czasopismach z różnych dziedzin i twórz odpowiednie bibliografie.
Assaf, Ali, i 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.
Pełny tekst źródłaCauderlier, Raphaël, i 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.
Pełny tekst źródłaAssaf, Ali, i 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.
Pełny tekst źródłaEl Haddad, Mohamed Yacine, Guillaume Burel i 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.
Pełny tekst źródłaBarras, Bruno, i 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.
Pełny tekst źródłaBarras, Bruno, i 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.
Pełny tekst źródłaFebriyani, Komang Ayu Dita. "Perspektif Sah Global tentang Serangan Militer AS Lakukan Di Wilayah Irak dan Suriah". Jurnal Ilmu Hukum Sui Generis 2, nr 1 (1.11.2021): 31–45. http://dx.doi.org/10.23887/jih.v2i1.1010.
Pełny tekst źródłaBry, François, i Dietmar Seipel. "Deduktive Datenbanken". Informatik-Spektrum 19, nr 4 (23.08.1996): 214–15. http://dx.doi.org/10.1007/s002870050033.
Pełny tekst źródłaFadillah, Ahmad. "Analisis Kemampuan Penalaran Deduktif Matematis Siswa". JTAM | Jurnal Teori dan Aplikasi Matematika 3, nr 1 (1.04.2019): 15. http://dx.doi.org/10.31764/jtam.v3i1.752.
Pełny tekst źródłaHammer, Martin. "Deduktion und Dialektik". Hegel-Jahrbuch 2016, nr 1 (1.05.2016): 387–93. http://dx.doi.org/10.1515/hgjb-2016-0165.
Pełny tekst źródłaBudiono, Selamet, i 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.
Pełny tekst źródłaBambang Robi’in, Vera Yuli Erviana i Dwi Sulisworo. "Outreach Program, Virtual Reality, dan Berpikir Hipotetikal Deduktif". Bincang Sains dan Teknologi 1, nr 01 (3.08.2022): 18–25. http://dx.doi.org/10.56741/bst.v1i01.46.
Pełny tekst źródłaMun’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.
Pełny tekst źródłaDarta, 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 (7.04.2013): 16. http://dx.doi.org/10.18269/jpmipa.v18i1.207.
Pełny tekst źródłaPutra, 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.
Pełny tekst źródłaHutami, Wulandari Putri, i Itok Dwi Kurniawan. "PROBLEMATIKA PELAKSANAAN PUTUSAN PENGADILAN PADA KASUS TINDAK PIDANA ANAK DI KEJAKSAAN NEGERI SURAKARTA". Verstek 10, nr 3 (7.02.2023): 587. http://dx.doi.org/10.20961/jv.v10i3.70243.
Pełny tekst źródłaLarsen, Steen Nepper. "Virkelighedens rent begrebslogiske deduktion". Slagmark - Tidsskrift for idéhistorie, nr 26 (4.02.2018): 161–64. http://dx.doi.org/10.7146/sl.v0i26.103847.
Pełny tekst źródłaLang, Stefan. "Fichtes Deduktion praktischer Spontaneität". Archiv für Geschichte der Philosophie 95, nr 1 (styczeń 2013): 65–86. http://dx.doi.org/10.1515/agph-2013-0003.
Pełny tekst źródłaSugiarti, 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.
Pełny tekst źródłaKharimah, Ilmi Mamruatul, Titik Sugiarti, Susanto Susanto, Toto Bara Setiawan, Didik Sugeng Pambudi i 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 (9.07.2021): 116. http://dx.doi.org/10.19184/jomeal.v1i2.24247.
Pełny tekst źródłaWulan Nari, Olvi, Abudarin i 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.
Pełny tekst źródłaSI «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.
Pełny tekst źródłaNike 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.
Pełny tekst źródłaMellmann, 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.
Pełny tekst źródłaTrimulyani, Laeli, Isnani i 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.
Pełny tekst źródłaHr, 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.
Pełny tekst źródłaNierlich, Edmund. "Die deduktiv-nomologische Erklärung als hauptmotiv empirisch-wissenschaftlicher tätigkeit". Erkenntnis 29, nr 1 (lipiec 1988): 1–33. http://dx.doi.org/10.1007/bf00166364.
Pełny tekst źródłaSalim, Salim, i 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.
Pełny tekst źródłaSamiwahyuni. "Peningkatan Keterampilan Menulis Paragraf Deduktif Topik Matematika melalui Metode Model Menggunakan LKPD". Jurnal Pembelajaran Bahasa dan Sastra 2, nr 3 (1.05.2023): 281–92. http://dx.doi.org/10.55909/jpbs.v2i3.270.
Pełny tekst źródłaWijayanti, Dwi Antari, i 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.
Pełny tekst źródłaBoullart, Karel. "De Deductie van het tragische". Documenta 6, nr 1 (29.04.2019): 17–33. http://dx.doi.org/10.21825/doc.v6i1.10974.
Pełny tekst źródłaSaputra, Edy, i 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.
Pełny tekst źródłaSuryani Lukman, Hamidah, i 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 (1.08.2017): 159–66. http://dx.doi.org/10.31943/mathline.v2i2.43.
Pełny tekst źródłaShodikin, 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.
Pełny tekst źródłaPutra, Yogi Arnaldo, Mardepi Saputra, Muhammad Fakhrur Rozi i 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.
Pełny tekst źródłaPelipa, Emilia Dewiwati, i Anna Marganingsih. "PENGARUH PENDEKATAN DEDUKTIF TERHADAP HASIL BELAJAR MAHASISWA PRODI PENDIDIKAN EKONOMI". Jurnal Pendidikan Ekonomi (JURKAMI) 7, nr 3 (1.12.2022): 456–64. http://dx.doi.org/10.31932/jpe.v7i3.1584.
Pełny tekst źródłaNasution, Eline Yanty Putri, Ayu Dasmina i 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.
Pełny tekst źródłaGunawan Barutu, Indra, Abudarin i 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.
Pełny tekst źródłaSumantri, Agus, Ashinta Sekar Bidari i 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.
Pełny tekst źródłaAulia, Nurlaely, Zaini Abdul Bahza i Goziyah Goziyah. "JENIS PARAGRAF DALAM SURAT KABAR ONLINE CNN INDONESIA BERTEMA VIRUS CORONA". Jurnal Sasindo UNPAM 8, nr 1 (1.06.2020): 1. http://dx.doi.org/10.32493/sasindo.v8i1.1-11.
Pełny tekst źródłaMalherbe, 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.
Pełny tekst źródłaMeerbote, Ralf. "Deduktion und Beweis in Kants Transzendentalphilosophie". International Studies in Philosophy 21, nr 3 (1989): 96–97. http://dx.doi.org/10.5840/intstudphil19892137.
Pełny tekst źródłaBaader, Franz, Bernhard Beckert i Tobias Nipkow. "Deduktion: von der Theorie zur Anwendung". Informatik-Spektrum 33, nr 5 (6.08.2010): 444–51. http://dx.doi.org/10.1007/s00287-010-0461-3.
Pełny tekst źródłaDescher, Stefan. "Deduktive Schlüsse in der literaturwissenschaftlichen Praxis". Journal of Literary Theory 13, nr 2 (6.09.2019): 145–60. http://dx.doi.org/10.1515/jlt-2019-0005.
Pełny tekst źródłaSamaya, 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.
Pełny tekst źródłaYuni Artini, Putu Candra, Ida Bagus Nyoman Sudria i 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.
Pełny tekst źródłaAdiputra, Yosi, i Handayani Eka Putri. "Penerapan Strategi Abduktif-Deduktif untuk Meningkatkan Kemampuan Penalaran Matematis Siswa SMK". Laplace : Jurnal Pendidikan Matematika 4, nr 2 (5.10.2021): 261–69. http://dx.doi.org/10.31537/laplace.v4i2.559.
Pełny tekst źródłaSaputri, Vioni. "Pengembangan Modul Elektronik Teks Hikayat Berbasis Model Deduktif Kelas X SMA". PAKAR Pendidikan 18, nr 1 (5.06.2021): 46–56. http://dx.doi.org/10.24036/pakar.v18i1.184.
Pełny tekst źródłaJupri, Al, Siti Fatimah i 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.
Pełny tekst źródłaKesuma, Mezan, i 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.
Pełny tekst źródła