İçeriğe atla

Açık önerme

Açık önerme, doğruluk değeri değişkenlere bağlı olarak değişen önermelerdir.

Örnek olarak:

P(x) ≡ x < 3 (Önerme tek değişkenli bir açık önermedir, x in tanım kümesi Doğal Sayılar olması durumunda;

x = 0, x = 1 ve x = 2 değerleri icin P(0) ın, P(1) in ve P(2) nin değeri doğru diğer x değerleri için yanlıştır)

Q(x,y) ≡ x + 2 = y (İki değişkenli açık önerme, y lerin x ten farkı iki oldugu her x,y değeri için Q(x,y) doğru önermedir)

İlgili Araştırma Makaleleri

Matematikte cebirin temel teoremi karmaşık değişkenli polinomların köklerinin varlığıyla ilgili temel bir sonuçtur. D'Alembert-Gauss teoremi olarak da anılmaktadı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.

<span class="mw-page-title-main">Doğru (geometri)</span>

Doğru, matematikte mantıksal bir değerdir. Matematik'te ne olduğu belli olmayan (tanımsız) değerlerden biridir. Ayrıca geometride doğru ifadesi aynı doğrultuda olan ve her iki yönden de sonsuza kadar giden noktalar kümesi diye de tanımlanır. Bir doğru üzerinde en az 2 nokta, dışında da en az 1 nokta mevcuttur.

Regresyon analizi, iki ya da daha çok nicel değişken arasındaki ilişkiyi ölçmek için kullanılan analiz metodudur. Eğer tek bir değişken kullanılarak analiz yapılıyorsa buna tek değişkenli regresyon, birden çok değişken kullanılıyorsa çok değişkenli regresyon analizi olarak isimlendirilir. Regresyon analizi ile değişkenler arasındaki ilişkinin varlığı, eğer ilişki var ise bunun gücü hakkında bilgi edinilebilir. Regresyon terimi için öz Türkçe olarak bağlanım sözcüğü kullanılması teklif edilmiş ise de Türk ekonometriciler arasında bu kullanım yaygın değildir.

<span class="mw-page-title-main">Kartezyen koordinat sistemi</span>

Kartezyen çarpımındaki

<span class="mw-page-title-main">Doğrusal denklem</span>

Doğrusal ya da lineer denklem terimlerinin her biri ya birinci dereceden değişken ya da bir sabit olan denklemlerdir. Böyle denklemlere "doğrusal" denmesinin nedeni içerdikleri terim ve değişkenlerin sayısına bağlı olarak (n) düzlemde ya da uzayda bir doğru belirtmesindendir. Doğrusal denklemlerin en yaygını bir ve değişkeni içeren aşağıdaki formdur:

<span class="mw-page-title-main">Üstel fonksiyon</span>

Üstel işlev veya üstel fonksiyon, matematikte kullanılan işlevlerden biridir. Genel tanımı ax şeklindedir, burada taban a artı değere sahip bir sabittir ve üst x değişkendir. Çoğunlukla

sembolüyle gösterilir. Kimi kitaplarda ise;
sembolü kullanılır.

Matematikte sonuşmaz veya asimptot, belirli bir A eğrisine istenildiği kadar yaklaşabilen ikinci bir B eğrisine verilen addır. Bir başka deyişle, A üzerinde ilerledikçe, A ve B arasındaki mesafe azalır ve sıfıra yaklaşır. Asimptot kelimesi, Yunanca "beraber düşmek" anlamındaki simpiptein fiilinin olumsuz halinden türemiştir.

Rassal değişken kavramının geliştirilmesi ile, sezgi yoluyla anlaşılan şans kavramı, soyutlaştırarak teorik matematik analiz alanına sokulmuş ve bu geliştirilen matematik kavram ile olasılık kuramı ve matematiksel istatistiğin temeli kurulmuştur.

Bernoulli dağılımı olasılık kuramı ve istatistik bilim dallarında, p olasılıkla başarı ile 1 değeri alan ve olasılıkla başarısızlık ile 0 değeri alan bir ayrık olasılık dağılımıdır. İsmi ilk açıklamayı yapan İsviçreli bilim insanı Jakob Bernoulli anısına verilmiştir.

<span class="mw-page-title-main">Geometrik dağılım</span>

Olasılık kuramı ve istatistik bilim dallarında geometrik dağılım şu iki şekilde ifade edilebilen ayrık olasılık dağılımıdır:

ElGamal şifrelemesi, Diffie-Hellman anahtar alış-verişi'ne dayanan bir asimetrik şifreleme algoritması olup Taher Elgamal tarafından 1984 yılında önerilmiştir.

<span class="mw-page-title-main">Karmaşık analiz</span>

Karmaşık analiz ya da başka bir deyişle kompleks analiz, bir karmaşık değişkenli fonksiyonları araştıran bir matematik dalıdır. Bir değişkenli karmaşık analize ya da çok değişkenli karmaşık analizle beraber tümüne karmaşık değişkenli fonksiyonlar teorisi de denilir.

Matematikte, Descartes'ın İşaret Kuralı, ilk olarak René Descartes tarafından La Géométrie adlı çalışmasında tanımlanmıştır. Bu teknik ile tek değişkenli bir polinonum, maksimum pozitif ve maksimum negatif köklerinin sayısı, ilave olarak karmaşık ve reel köklerinin sayısı, denklemin kökleri bulunmadan, işaret kuralı ile tespit edilebilir.

Doğruluk tablosu, mantıkta, özellikle Boole cebiri ve Boole fonksiyonları ile ilişkili olarak, fonksiyon değişkenlerinin bütün kombinasyonları için mantıksal ifadenin değerini hesaplamakta kullanılan bir matematiksel tablo.

<span class="mw-page-title-main">Dijital İmza Algoritması</span>

Dijital İmza Algoritması dijital imza için bir FIPS standardıdır. Ağustos 1991'de National Institute of Standards and Technology (NIST) tarafından tasarlanmıştır. Dijital imza algoritması, ElGamal İmza Algoritması'nın bir varyantıdır.

Granger nedensellik sınaması, bir zaman serisinin başka bir zaman serisini tahmininde kullanışlı olup olmadığının bir istatistiksel hipotez sınamasıdır. Normalde, bağlanımlar, "sadece" ilintileri yansıtırlar, ancak Ekonomi Nobel Ödülünü kazanan Clive Granger, belli bir sınamalar kümesinin nedensellikle ilgili bir şeyler ortaya çıkardığını savunmuştur.

Goldwasser–Micali (GM) kriptosistemi 1982 yılında Shafi Goldwasser ve Silvio Micali tarafından geliştirilmiş bir asimetrik anahtar şifreleme algoritmasıdır. GM standart kriptografik varsayımlar altında güvenliği kanıtlanmış ilk probabilistik açık anahtar şifreleme yöntemidir. Bununla birlikte başlangıç düz metinden yüzlerce kez daha geniş olan şifreli metinler olduğundan verimli bir kriptosistem değildir. Kriptosistemin güvenlik özelliğini kanıtlamak için Shafi Goldwasser ve Silvio Micali anlamsal güvenliğin geniş alanda kullanılan bir tanımını önerdiler.

<span class="mw-page-title-main">Çok değişkenli kalkülüs</span>

Çok değişkenli kalkülüs veya Çok değişkenli hesaplama, matematik biliminin bir alt alanıdır. Bir değişkenli hesapların, birden fazla değişkenli fonksiyonlarla hesaplara yayılması ve tek değişken yerine çoklu değişken içeren fonksiyonların entegrasyonu olarak görülür. Matris, tensör, kısmi türev, çokkatlı integral, çizgi integrali, yüzey integrali, hacim integrali, Jacobi, Hesse, Gradyan gibi inceleme alanları vardır.

Matematikte Stolarsky ortalaması, logaritmik ortalamanın bir genelleştirmesidir. 1975 yılında Kenneth B. Stolarsky tarafından ortaya atılmıştır.