Arama sonuçları
Gezinti kısmına atla
Arama kısmına atla
Sayfa başlığı eşleşiyor
- ...tirim (Mantık)|gerektiren]] ve olumsuz gözlemlerin hiçbirini [[Gerektirim (Mantık)|gerektirmeyen]] bir hipotez üretir. ...ak mantık programları çıkarsayan bir Prolog programı. ''Tümevarımlı Mantık Programlama ''terimininilk kullanımı<ref>Luc De Raedt.</ref> Stephen Muggleton'ın 1991 ...5 KB (793 sözcük) - 09.09, 7 Ağustos 2024
Sayfa metni eşleşiyor
- ...tirim (Mantık)|gerektiren]] ve olumsuz gözlemlerin hiçbirini [[Gerektirim (Mantık)|gerektirmeyen]] bir hipotez üretir. ...ak mantık programları çıkarsayan bir Prolog programı. ''Tümevarımlı Mantık Programlama ''terimininilk kullanımı<ref>Luc De Raedt.</ref> Stephen Muggleton'ın 1991 ...5 KB (793 sözcük) - 09.09, 7 Ağustos 2024
- ...(ler)i''', [[bilgisayar bilimi]]nin alt dallarıdırlar ve daha çok soyut, [[mantık]]sal ve [[matematik]]sel yönleri üzerine odaklanırlar. [[Algoritma analizi]], [[programlama dillerinin şeklî semantiği]] ve [[otomat teorisi]], bu alt dallardan birkaç ...3 KB (376 sözcük) - 13.46, 21 Mayıs 2024
- ...iplindir. Akıl yürütme süreçlerini inceler ve bu sayede [[doğru ve yanlış (mantık)|doğru ile yanlış]] arasındaki [[akıl]] yürütmenin ayrımını belirler. [[Doğ == Mantık uygulaması == ...12 KB (1.945 sözcük) - 11.59, 9 Şubat 2025
- [[Matematik]]te '''matematiksel programlama''', '''eniyileme''' ya da '''optimizasyon''' terimi; bir [[gerçel fonksiyon ...ilgisayar programlama]] ile direkt bir ilgisi yoktur, ama yine de [[lineer programlama]]da kullanılan bir ifadedir). Pek çok gerçek ve teorik problemler bu genel ...17 KB (2.567 sözcük) - 01.45, 23 Ocak 2024
- ...ndelson1997|(1997)]]. A classic graduate text by Shoenfield [[Matematiksel mantık#CITEREFShoenfield2001|(2001)]] first appeared in 1967.</ref> Matematiksel m ...ramı]] alanlarına ayrılır. Bu alanlar mantığın, özellikle [[birinci-derece mantık]] ve [[tanımlanabilir küme]] konularındaki, temel sonuçlarını paylaşır. ...19 KB (3.309 sözcük) - 21.37, 28 Kasım 2024
- ...]], [[mantık]] ve [[dilbilim]], [[bilgisayar]] ve [[Programlama|bilgisayar programlama]], gibi çeşitli disiplinlerde daha spesifik anlamlara sahiptir. Bu alanları ...11 KB (1.752 sözcük) - 17.27, 9 Ocak 2025
- ...ortamı türü vardır: destekleyiciler, dinamik geometri ortamları ve [[Logo (programlama dili)|Logo]]-tabanlı programlar.<ref>{{Kitap kaynağı :[[C.a.R.]], [[Java (programlama dili)|Java]] ile yazılmış, Geometer's Sketchpad'in (GSP) [[GNU Genel Kamu L ...38 KB (5.473 sözcük) - 20.17, 13 Şubat 2025
- == Mantık == Java ve J gibi bazı programlama dilleri kullanıcıya pozitif ve negatif sonsuz değerlerine dil sabiti olarak ...20 KB (3.453 sözcük) - 16.31, 9 Şubat 2025
- ...nlamamızı sağlayabilir. Matematik [[Soyutlama (matematik)|soyutlama]] ve [[Mantık|mantığı]] kullanarak ve sistemli çalışmayla fiziksel objelerin [[şekil]]ler ...arda hem de günlük yaşamda sıkça karşılaşılan bir disiplindir. Temelleri [[Mantık|mantığa]] dayanan bu alan, bireylere zihinsel gelişim sağlarken rasyonel dü ...32 KB (4.633 sözcük) - 18.24, 4 Mart 2025
- ** [[A Programlama Dili|APL]]de dizin üretici fonksiyon (⍳ biçiminde) ** [[birinci derece mantık]]ta mantıksal çıkarımın [[aksiyomatik yöntem]]inde mantıksal aksiyomlar küm ...25 KB (3.550 sözcük) - 23.33, 9 Ekim 2024
- ...e çalışmalar, antik çağda filozoflar ve matematikçilerle birlikte başladı. Mantık alanındaki bu çalışmalar, [[Alan Turing]]'in [[algoritmalar teorisi]]nin te ...klı yöntemler kullanırken, günümüzde hepsi 'derin öğrenme' adı verilen bir programlama yöntemini kullanıyor. Bu durum, bu alanlardaki kod ve yaklaşımların birbiri ...50 KB (7.599 sözcük) - 15.02, 16 Mart 2025
- ...re, [[parçalı fonksiyon]]lar yardımıyla tanımlanabilir. Mesela, [[Tümleme (mantık)|negasyon]] işlemi şu şekilde ifade edilir: ...r'' olarak adlandırılır ([[ALGOL 68]], [[C (programlama dili)|C]], [[Java (programlama dili)|Java]], [[Object Pascal|Delphi]], vb.). ...42 KB (6.720 sözcük) - 22.28, 13 Şubat 2025
- [[Dosya:Full-adder.svg|küçükresim|"[[Toplayıcı|Tam toplayıcı]]" mantık devresi, ''A'' ve ''B'' ikili basamaklarına ve bir taşıma girişi ''C<sub>in ...' + ''b''}} ifadesiyle açıkça talep edilmelidir. Bazı diller, örneğin [[C (programlama dili)|C]] veya [[C++]], bu işlemi {{kayma|1=''a'' += ''b''}} şeklinde kısal ...69 KB (10.819 sözcük) - 15.10, 20 Ekim 2024
- === Mantık === ...tarafından ALGOL 60'ın bir uzantısı ve genellemesi olarak tasarlanmış bir programlama dilidir. ...111 KB (16.637 sözcük) - 15.57, 8 Ocak 2025
- * 1680'ler - Gottfried Leibniz sembolik mantık üzerine çalıştı. * 1947 - [[George Dantzig]] doğrusal programlama için [[simpleks yöntem]]i yayınladı. ...68 KB (10.223 sözcük) - 14.47, 16 Mart 2025