Ludwig Josef Johann Wittgenstein, Avusturya doğumlu filozof, matematikçi.
Yapay zekâ ya da kısaca YZ,, insanlar da dahil olmak üzere hayvanlar tarafından, doğal zekânın aksine makineler tarafından görüntülenen zekâ çeşididir. İlk ve ikinci kategoriler arasındaki ayrım genellikle seçilen kısaltmayla ortaya çıkar. Güçlü yapay zeka genellikle Yapay genel zekâ olarak etiketlenirken, doğal zekayı taklit etme girişimleri yapay biyolojik zekâ olarak adlandırılır. Önde gelen yapay zeka ders kitapları, alanı zeki etmenlerin çalışması olarak tanımlar: Çevresini algılayan ve hedeflerine başarıyla ulaşma şansını en üst düzeye çıkaran eylemleri gerçekleştiren herhangi bir cihaz. Halk arasında, yapay zekâ kavramı genellikle insanların insan zihni ile ilişkilendirdiği öğrenme ve problem çözme gibi bilişsel eylemleri taklit eden makineleri tanımlamak için kullanılır.
Matematiksel mantık, biçimsel mantığın matematiğe uygulanmasıyla ilgilenen bir matematik dalıdır. Metamatematik, matematiğin temelleri ve kuramsal bilgisayar bilimi alanlarıyla yakınlık gösterir. Matematiksel mantığın temel konuları biçimsel sistemlerin ifade gücünün ve biçimsel ispat sistemlerinin tümdengelim gücünün belirlenmesidir.
Yazılım, değişik ve çeşitli görevler yapma amaçlı tasarlanmış elektronik aygıtların birbirleriyle haberleşebilmesini ve uyumunu sağlayarak görevlerini ya da kullanılabilirliklerini geliştirmeye yarayan makine komutlarıdır.
Mantık ya da eseme, bilginin yapısını inceleyen, doğru ile yanlış arasındaki akıl yürütmenin ayrımını yapan disiplindir, doğru düşüncenin aletidir. Önceleri bir felsefe dalıyken daha sonra kendi başına bir ihtisas alanı olmuştur. Matematik ve bilgisayar biliminin de parçası haline gelmiştir. Bir disiplin olarak Aristoteles tarafından kurulmuştur. Aristoteles'den etkilenen Farabi tarafından iki kısımda kategorize edilmiştir. İbn-i Sina geçicilik ve içerme arasındaki ilişkiyi geliştirmiştir. Çağdaş zamanlarda Frege, Russell ve Wittgenstein önemli katkılar yapmıştır.
Anlambilim, anlam bilimi, anlam bilgisi ya da semantik, anlamları inceleyen bilimdir. Anlam bilimi felsefî ya da mantıksal ve dilbilimsel olmak üzere iki farklı açıdan ele alınabilir. Felsefî ya da mantıksal yaklaşım, göstergeler ya da kelimeler ile bunların göndergeleri arasındaki bağlantıya ağırlık verir ve adlandırma, düz anlam, yan anlam, doğruluk gibi özellikleri inceler. Dilbilimsel yaklaşım ise zaman içinde anlam değişiklikleri ile dilin yapısı, düşünce ve anlam arasındaki karşılıklı bağlantı vb. konular üstünde durur.
Doğal Dil İşleme, yaygın olarak NLP olarak bilinen yapay zekâ ve dilbilim alt kategorisidir. Türkçe, İngilizce, Almanca, Fransızca gibi doğal dillerin işlenmesi ve kullanılması amacı ile araştırma yapan bilim dalıdır.
Nesne yönelimli programlama veya kısaca NYP, Her işlevin nesneler olarak soyutlandığı bir programlama yaklaşımıdır. NYP destekleyen programlama dilleri yüksek seviye diller olarak adlandırılır.
Dil felsefesi, analitik felsefede dilin doğası ve dili; dil kullanıcıları ve dünya arasındaki ilişkileri araştırır. Dil ile felsefe arasındaki ilişki temelde filozofların dili kullanarak felsefe yapmalarından kaynaklanmaktadır. Özelde ise bu araştırmalar anlamın doğası, kasıtlılık, referans, cümlelerin yapısı, kavramlar, öğrenme ve düşünce içerir; dil felsefesi başlığı altında dilin özü, anlamı, kökeni ve yapısı felsefî açıdan sorgulanmaktadır.
Genetik algoritmalar, doğada gözlemlenen evrimsel mekanizmalara benzer mekanizmalar kullanarak çalışan eniyileştirme yöntemidir. Çok boyutlu uzayda belirli bir maliyet fonksiyonuna göre en iyileştirme amacıyla iterasyonlar yapan ve her iterasyonda en iyi sonucu üreten kromozomun hayatta kalması prensibine dayanan en iyi çözümü arama yöntemidir.
Sözdizim, söz dizimi ya da Fransızcadan ödünçleme biçimiyle sentaks, doğal dillerdeki cümle kurma ilke ve kurallarını inceleyen ve bu dildeki cümlelerin esnekliğini inceleyen dilbilim dalıdır.
Eski Yunanca "birlikte düzenleme, dizme" anlamına gelen sentaks terimi dilbilimde, doğal dillerde nasıl cümle oluşturulacağına dair bir kurallar ve prensipler çalışmasıdır. Bir bilim dalına ait olmasına ek olarak “Modern İrlandacanın Sözdizimi"nde olduğu gibi, sözdizim terimi herhangi bireysel bir dilin cümle yapısına hâkim olan kurallara ve prensiplere de doğrudan ilgili olarak da kullanılır. Sözdizim, dilin yatay, yani satır şeklinde dizilen bir sistem olduğunu gösterir. Bu diziliş, sesten, morfemlere, morfemlerden daha büyük öbeklere dilin her seviyesinde mevcuttur. Sözdizimin yalnız cümle seviyesini gösteren bir terim olarak kullanılması doğru ama eksik bir kullanımdır.
Sözde kod, bilgisayar bilimleri alanında algoritmalar ve programlar oluşturulurken ve aktarılırken kullanılan, günlük konuşma diline benzer ve belli bir programlama dilinin detaylarından uzak anlatımlardır. Programın yapısının ve çalışma mantığının yüksek seviyeli bir biçimde, gerektiği yerde doğrudan doğal dil cümleleriyle, ama yine de bir program yapısı ve akışı içinde anlatılmasıdır. Böylelikle sözde kodu okuyan ya da yazan birisi, programlama dillerinin sözdizim detaylarına dikkat etmek zorunda kalmadan, programın ve algoritmanın çalışma mantığını düşünebilir.
Simülasyon veya benzetim, teknik olmayan anlamda bir şeyin benzeri veya sahtesi anlamında kullanılır. Teknik anlamda gerçek bir dünya süreci veya sisteminin işletilmesinin zaman üzerinden taklit edilmesidir. Sistem nesneleri arasında tanımlanmış ilişkileri içeren sistem veya süreçlerin bir modelidir.
Programlama dili teorisi (PDT), programlama dilleri olarak bilinen biçimsel dillerin ve bunların bireysel özelliklerinin tasarımı, uygulanması, analizi, karakterizasyonu ve sınıflandırılması ile ilgilenen bir bilgisayar bilimleri dalıdır. Matematik, yazılım mühendisliği, dilbilim ve hatta bilişsel bilime bağlı ve onu etkileyen bilgisayar bilimi disiplinine girer. PDT'ye adanmış çok sayıda dergide ve genel bilgisayar bilimi ve mühendisliği yayınlarında yayınlanan sonuçlarla tanınmış bir bilgisayar bilimi dalı ve aktif bir araştırma alanı haline gelmiştir.
John Rogers Searle Kaliforniya Üniversitesi, Berkeley'de Slusser profesörü olarak görev yapan Amerikalı felsefecidir. 31 Temmuz 1932 Colorado, Denver doğumlu John Rogers Searle Amerikalı bir filozoftur. İlgilendiği esas alanlar; dil felsefesi, aklın felsefesi ve metafiziğin alanlarıdır. Kaliforniya'daki Berkeley Üniversitesi'nde profesör olarak çalıştı. Üniversitenin cinsel taciz politikasını ihlal ettiği tespit edildiği için 2019 yılında görevine son verildi.
Programlama paradigmaları, programlama dillerini özelliklerine göre sınıflandırmanın bir yoludur. Diller birden fazla paradigma içinde sınıflandırılabilir.
Mantık ve felsefede argüman; sonuç ve onun doğruluk derecesini belirlemeye yönelik verilen öncüllerden kurulmuş bir dizi ifadedir. Bir argüman ifadelerden oluşur. Bunlardan biri sonuç, diğerleri sonucun doğruluğuna dayanak olarak verilen öncüllerdir. Herhangi bir düşünceyle karşılaştığımızda, o düşüncenin içerdiği esas iddiayı ileten ifade argümanın sonucu; onu destekleyen diğer tüm ifadeler argümanın öncülleridir. Bir argümanın doğal dildeki mantıksal formu, sembolik biçimsel dilde temsil edilebilir ve doğal dilden bağımsız şekilde, matematik ve bilgisayar bilimlerinde biçimsel olarak tanımlanmış argümanlar yapılabilir.
Yapay zekâ araştırmacıları yapay zekâya yönelik programlama dilleri geliştirmişlerdir.
Bilgisayar biliminde, bildirimsel programlama bir programlama paradigmasıdır. —bilgisayar programlarının yapısını ve öğelerini oluşturma stili— bir hesaplamanın mantığını kontrol akışını tanımlamadan ifade eder.
Merdiven mantığı, imalat ve proses kontrolde kullanılan röle raflarının tasarımını ve yapımını belgelemek için yazılı bir yöntemdi. Röle rafındaki her cihaz, gösterilen cihazlar arasındaki bağlantılarla birlikte merdiven diyagramında bir sembolle gösterilir. Ayrıca, pompa, ısıtıcı vb röle rafının dışındaki diğer öğeler de merdiven şemasında gösterilir.
