İçeriğe atla

Kendine göndergeli önerme

phylactère (Enderg versiyonunun yerini alın)

Bilgisayar programcılığında ve matematiksel mantıkta kendine göndergeli önerme ya da özgöndergeli önerme, bir önermenin veya fonksiyonun kendisi hakkında yargı veya çözüm içermesidir.

Tanım

Matematiksel mantıkta, eğer bir P tamdeyimi, değişken olarak yine P'yi içeriyorsa, bu tamdeyimlere özgöndergeli önermeler denir:

burada , P değişkenli bir tamdeyimdir.

Bu tanım, aslında iki adımdan oluşturulabilir:

  1. Taban önerme:
  2. Özelleme, X=P seçme:

Örnekler

  • Epimenides Çatışkısı "Bu cümle yanlıştır"
  • Fibonacci Serisi f(1)=1 f(2)=1 olmak üzere "f(x)=f(x-1)+f(x-2)"

Kaynakça

İlgili Araştırma Makaleleri

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.

Vektör hesaplamada, divergence bir vektör alanının kaynak ya da batma noktasından uzaktaki bir noktada genliğini ölçen işleçtir; yani bir vektör alanının uzaksaması işaretli bir sayıdır. Örneğin ısındıkça genişleyen havanın hızını gösteren bir vektör alanının uzaksaması pozitif olacaktır, çünkü hava genişlemektedir. Eğer hava soğuyup daralıyorsa uzaksama negatif olacaktır. Bu özel örnekte uzaksama yoğunluğun değişiminin ölçüsü olarak düşünülebilir.

ile gösterilen bir vektör alanının rotasyoneli, nabla operatörü ile 'nin vektörel çarpımına eşittir.

<span class="mw-page-title-main">Kondansatör</span> Ani yük boşalması amacıyla kullanılan devre elemanı

Kondansatör ya da sığaç veya yoğunlaç, elektronların kutuplanıp elektriksel yükü elektrik alanın içerisinde depolayabilme özelliklerinden faydalanılarak bir yalıtkan malzemenin iki metal tabaka arasına yerleştirilmesiyle oluşturulan temel elektrik ve elektronik devre elemanı. Piyasada kapasite, kapasitör, sığaç gibi isimlerle anılan kondansatörler, 18. yüzyılda icat edilip geliştirilmeye başlanmış ve günümüzde teknolojinin ilerlemesinde büyük önemi olan elektrik-elektronik dallarının en vazgeçilmez unsurlarından biri olmuştur. Elektrik yükü depolama, reaktif güç kontrolü, bilgi kaybı engelleme, AC/DC arasında dönüşüm yapmada kullanılır ve tüm entegre elektronik devrelerin vazgeçilmez elemanıdır. Kondansatörlerin karakteristikleri olarak;

<span class="mw-page-title-main">Mutlak değer</span> matematikte bir gerçel sayının işaretsiz/pozitif işaretli karşılığı

Matematikte, mutlak değer bir gerçek sayının işaretsiz değerini verir. Örneğin, 3; hem 3'ün hem de -3'ün mutlak değeridir. Bilgisayarlarda ise, bu ifade etmek için kullanılan matematiksel fonksiyon genelde abs(...)'dir

<span class="mw-page-title-main">Küresel koordinat sistemi</span>

Küresel koordinat sistemi, üç boyutlu uzayda nokta belirtmenin bir yoludur.

<span class="mw-page-title-main">Normal dağılım</span> sürekli olasılık dağılım ailesi

Normal dağılım, aynı zamanda Gauss dağılımı veya Gauss tipi dağılım olarak isimlendirilen, birçok alanda pratik uygulaması olan, çok önemli bir sürekli olasılık dağılım ailesidir.

Otoregresif hareketli ortalamalar modelleri, istatistik biliminde George Box ve Gwilym Jenkins'e ithafen Box-Jenkins modelleri olarak da bilinen zaman serisi kestirimi ve öngörme yöntemi olup eşit zaman aralıklarında gözlenen zaman serisi verilerinde uygulanır.

<span class="mw-page-title-main">Öz empedans</span>

Öz direnç (Empedans), maddenin kimyasal özelliğinden dolayı direncinin artması ya da azalmasına neden olan her maddeye özgü ayırt edici bir özelliktir. Farklı maddelerin empedansları aynı olabilir ama öz dirençleri aynı olamaz. R= Lq/Q dur. (Rezistif Direnç= Uzunluk*öz direnç/kesit, Alternatif akım'a karşı koyan zorluk olarak adlandırılır. İçinde kondansatör ve endüktans gibi zamanla değişen değerlere sahip olan elemanlar olan devrelerde direnç yerine öz direnç kullanılmaktadır. Öz direnç gerilim ve akımın sadece görünür genliğini açıklamakla kalmaz, ayrıca görünür fazını da açıklar. DA devrelerinde öz direnç ile direnç arasında hiçbir fark yoktur. Direnç sıfır faz açısına sahip öz direnç olarak adlandırılabilir.

Matematikte karmaşık sayı, bir gerçel bir de sanal kısımdan oluşan bir nesnedir. a ve b sayıları gerçek olursa karmaşık sayılar şu biçimde gösterilirler:

Biricik, matematiksel mantıkta bir öğenin tek türlü, eşsiz olması anlamına gelen mantıksal bir işlemcidir. "belirlenen özelliği sağlayan en az iki öğenin birbirine eşit olma" durumunun kısaltması olarak tanımlanır. simgesi ile gösterilir. Matematiksel gösterimle

Cisim, halka ve grup gibi soyut bir cebirsel yapıdır. Kabaca, elemanları arasında toplama, çıkarma, çarpma ve bölme yapılabilen ve bu işlemlerde sayılardan alışık olduğumuz temel aritmetik kurallarının geçerli olduğu bir küme olarak tanımlanabilir.

Faz kelimesinin sözlük anlamı evredir.

Elektriksel gücün tanımı aşağıdaki gibidir.

Integral hesapla Eliptik integralin bağlantısı elipsin yay uzunluğu ile ilgilidir. Bunu ilk gösteren Leonhard Euler'in öğrencisi Giulio Fagnano olmuştur. Modern Matematikte eliptik integral'in en geniş şekilde bir f fonksiyonu olarak tanımlanmış formu:

şeklindedir.
<span class="mw-page-title-main">Ayar teorisi</span> Fizikte bir teori

Ayar teorisi veya ayar kuramı, kuramsal fizikte temel etileşmeleri açıklar. Türkçede bazen yerelleştirilmiş bakışım kuramı olarak da geçer.

Fizikte, Lorentz dönüşümü adını Hollandalı fizikçi Hendrik Lorentz'den almıştır. Lorentz ve diğerlerinin referans çerçevesinden bağımsız ışık hızının nasıl gözlemleneceğini açıklama ve elektromanyetizma yasalarının simetrisini anlama girişimlerinin sonucudur. Lorentz dönüşümü, özel görelilik ile uyum içerisindedir. Ancak özel görelilikten daha önce ortaya atılmıştır.

<span class="mw-page-title-main">Silindirik ve küresel koordinatlarda vektör alanı</span>

NOT: Bu sayfa küresel koordinatların fizik gösterimi içindir, z ekseni arasındaki açıdır.ve yarıçap vektörü söz konusu noktaya orijinden bağlantılıdır, bu açısı x-y düzlemi ve x ekseni ile vektör yarıçapının izdüşümü arası açıdır. Diğer bazı tanımları da kullanılıyor ve çok dikkatli farklı kaynaklardan karşılaştırarak alınmalıdır.

Benaloh kriptosistemi 1994 yılında Josh (Cohen) Benaloh tarafından oluşturulan Goldwasser-Micali şifreleme sisteminin bir genişletilmesidir. Goldwasser-Micali'de bitler tek tek şifrelenirken, Benaloh Kriptosisteminde veri blokları grup olarak şifrelenmektedir. Orijinal makaledeki küçük bir hata Laurent Fousse et al. 'da düzeltilmiştir.

Akışkanlar dinamiği alanında, basınç katsayısı bir boyutsuz sayı olup, bir akış alanındaki bağıl basınçları ifade eder. Basınç katsayısı, aerodinamik ve hidrodinamik çalışmalarında kullanılmaktadır. Her bir akış alanında, her konumsal noktanın kendine özgü bir basınç katsayısı, Cp değeri bulunmaktadır.