İçeriğe atla

Terimi yeniden yazma

Terimi yeniden yazma, Matematik, bilişim biliminin bir dalı olan evrensel cebir de iki terimin eşit olduğunu ya da olmadığını ispat etmek için kullanılan bir hesap tekniği.

Örnek: Grup teorisinin aksiyomlarını tekrar edelim:

(X · Y) · Z = X · (Y · Z)
X · e = X
X · X-1 = e
X-1 · X = e

Şimdi "e · X = X" eşitliğin doğru olup olmadığını terimleri (aksiyomları uygulayıp) yeniden yazarak ispatlayabiliriz.

Kanıt:

e · X
= (X · X-1) · X
= X · (X-1 · X)
= X · e
= X

Kaynakça

Franz Baader, Tobias Nipkow. "Term rewriting and all that". Cambridge University Press.

İlgili Araştırma Makaleleri

Topolojik uzaylar, matematiğin Topoloji dalının başlıca uğraş konularıdır. Bir X kümesi ve bu kümenin alt kümelerinin bir kısmını içeren ve aşağıdaki varsayımları sağlayan S kümesinden oluşurlar:

<span class="mw-page-title-main">Türev</span> Fonksiyonun grafiğine çizilen teğetin eğimini hesaplama tekniğidir.

Matematikte türev, bir fonksiyonun tanımlı olduğu herhangi bir noktada değişim yönünü veya hızını veren temel bir kavramdır. Tek değişkenli bir fonksiyonun tanım kümesinin belli bir noktasında türevi, fonksiyonun grafiğine bu noktada karşılık gelen değerde çizilen teğet doğrunun eğimidir. Teğet doğru, tanım kümesinin bu noktasında fonksiyonun en iyi doğrusal yaklaşımıdır. Bu nedenle türev genellikle anlık değişim oranı ya da daha açık bir ifadeyle, bağımlı değişkendeki anlık değişimin bağımsız değişkendeki anlık değişime oranı olarak tanımlanır. Bir fonksiyonun türevini teorik olarak bulmaya türev alma denilir. Eğer bir fonksiyonun tanım kümesindeki her değerinde hesaplanan türev değerlerini veren başka bir fonksiyon varsa, bu fonksiyona eldeki fonksiyonun türevi denir.

<span class="mw-page-title-main">Özel görelilik</span> izafiyet teorisi, uzay ve zaman arasındaki ilişkiyi açıklayan bir bilimsel teoridir

Fizikte, özel görelilik teorisi veya izafiyet teorisi, uzay ve zaman arasındaki ilişkiyi açıklayan bir bilimsel teoridir. Albert Einstein'ın orijinal çalışmalarında teori, iki varsayıma dayanmaktadır:

  1. Fizik yasaları, tüm süredurum referans çerçevelerinde değişmezdir.
  2. Işık kaynağının veya gözlemcinin hareketinden bağımsız olarak vakumdaki ışığın hızı, tüm gözlemciler için aynıdır.
<span class="mw-page-title-main">Soyut cebir</span> Matematiğin bir alanı

Soyut cebir veya soyut matematik, matematiğin bir alanı olup, cebirsel yapılar üzerinde çalışır. Cebirsel yapılar, elemanları üzerinde belirli işlemlerin uygulandığı kümelerdir ve gruplar, halkalar, alanlar, modüller, vektör uzayları, kafesler ve alan üzerindeki cebirler içerir. Soyut cebir terimi, 20. yüzyılın başlarında temel cebirden ayırmak amacıyla türetilmiştir. Soyut cebir ileri matematik için temel hale geldikçe basitçe "cebir" olarak adlandırılırken, "soyut cebir" terimi pedagoji dışında nadiren kullanılır.

Evrensel cebir, matematiğin bir dalı olup bütün cebirsel yapılara ortak olan özellikleri inceleyen bilimin adıdır.

<span class="mw-page-title-main">Analitik geometri</span>

Analitik geometri, geometrik çalışmaya cebrik analizi uygulayan ve cebrik problemlerin çözümünde geometrik kavramları kullanan bir matematik dalı. Bütün bunlar kartezyen sistem denilen bir koordinat sisteminin kullanılmasıyla mümkündür. Kartezyen kelimesi, batıda analitik geometride ilk bilimsel çalışmayı yapan René Descartes'tan gelmektedir.

<span class="mw-page-title-main">Açısal momentum</span> Fiziksel nicelik

Açısal momentum, herhangi bir cismin dönüş hareketine devam etme isteğinin bir göstergesidir ve bu nicelik cismin kütlesine, şekline ve hızına bağlıdır. Açısal momentum bir vektör birimidir ve cismin belirli eksenler üzerinde sahip olduğu dönüş eylemsizliği ile dönüş hızını ifade eder.

<span class="mw-page-title-main">Dirac delta fonksiyonu</span>

Adını Paul Dirac' tan alan Dirac delta fonksiyonu tek boyutta

Korelasyon, olasılık kuramı ve istatistikte iki rassal değişken arasındaki doğrusal ilişkinin yönünü ve gücünü belirtir. Genel istatistiksel kullanımda korelasyon, bağımsızlık durumundan ne kadar uzaklaşıldığını gösterir.

<span class="mw-page-title-main">Navier-Stokes denklemleri</span> Akışkanların hareketini tanımlamaya yarayan denklemler dizisi

Navier-Stokes denklemleri, ismini Claude-Louis Navier ve George Gabriel Stokes'tan almış olan, sıvılar ve gazlar gibi akışkanların hareketini tanımlamaya yarayan bir dizi denklemden oluşmaktadır.

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:

<span class="mw-page-title-main">Hiperbolik sayılar</span>

Gerçel sayılarda olmayan ve karesi 1 olan bir sayının kümeye katılmasıyla üretilen kümeye hiperbolik sayılar kümesi denir. Tıpkı karmaşık sayılarda olduğu gibi, hiperbolik sayılar şeklinde yazılabilen sayılardır, ancak karmaşık sayılardan tek farkı hiperbolik birim denilen sayının

Fizikte ve matematikte, matematikçi Hermann Minkowski anısına adlandırılan Minkowski uzayı veya Minkowski uzayzamanı, Einstein'ın özel görelilik kuramının en uygun biçimde gösterimlendiği matematiksel yapıdır. Bu yapıda, bilinen üç uzay boyutu tek bir zaman boyutuyla birleştirilerek, uzay zamanını betimlemek için dört boyutlu bir çokkatlı oluşturulmuştur.

Olasılık kuramında iki olayın bağımsız olması bu olaylardan birinin gerçekleşme olasılığının diğer olayın gerçekleşip gerçekleşmediğine bağlı olmaması anlamına gelmektedir. Örneğin;

<span class="mw-page-title-main">Fresnel kırınımı</span>

Fresnel kırınımı ya da yakın-alan kırınımı dalganın yarıktan geçerken, yarık ve projeksiyon arasındaki uzaklığa bağlı olarak büyüklüğünde ve şeklinde değişkenlik gösteren kırınım desenlerine sahip olacak şekilde yakın alanda oluşan kırınım sürecidir. Fresnel sayısının 1'den büyük olduğu durumlarda kırınan dalgaların yayıldığı kısa mesafeden dolayı oluşur. Mesafe arttıkça, ilerleyen kırınım dalgaları düzlem ve Fraunhofer kırınımı oluşturur. Birçok Fresnel kırınımının periyodik bombeler yakınında konumlanması yansımanın aynadan yansımış gibi olmasına neden olur; bu sonuç atomik aynalar için kullanılabilir.

 : yarığın karakteristik genişliği
 : gözlemlenen noktanın yarığa olan uzaklığı
 : dalga boyu.
<span class="mw-page-title-main">Almanya'daki şehirler listesi</span> Vikimedya liste maddesi

Almanya'daki şehirler listesi, 1 Ocak 2017 itibarıyla Almanya'da bulunan 2060 şehir ve ilçenin alfabetik olarak sıralanmış bir listesidir.

<span class="mw-page-title-main">Hilbert uzayı</span>

Matematikte Hilbert uzayı, sonlu boyutlu Öklit uzayında uygulanabilen lineer cebir yöntemlerinin genelleştirilebildiği ve sonsuz boyutlu da olabilen bir vektör uzayıdır. Daha kesin olarak, bir Hilbert uzayı, uzayın tam metrik uzay olmasını sağlayan bir uzaklık fonksiyonu üreten bir iç çarpımla donatılmış bir vektör uzayıdır. Bir Hilbert uzayı, bir Banach uzayının özel bir durumudur. Matematik, fizik ve mühendislikte sıkça kullanılmaktadır. Kuantum mekaniğiyle uyumludur. Adını David Hilbert'ten almaktadır.

Muhtelif Budist terim ve kavramların asıl terimin bütün derinliğiyle kapsayacak Türkçe tercümeleri yoktur. Aşağıda birçok mühim Budist terim, kısa tanımlar ve hangi dilde kullandıkları sıralanmıştır. Bu listede terimleri asıl şekline göre düzenlemek ve başka dillerdeki tercüme ve eş anlamlı kelimeleri vermeye çalıştık.

<span class="mw-page-title-main">Temel cebir</span>

Basit cebir, matematik dersinde öğretilen cebirin en temel kısmıdır. Normalde liselerde öğretilir ve öğrencilerin işlem ve belirli sayılar üzerine kurulu olan aritmetiği anlamalarını sağlar. Cebir, değişken olarak bilinen sabit olmayan değerlerin büyüklüklerini açıklar. Soyut cebir aksine temel cebir, cebirsel yapı ile ilgilenmez, reel sayı ve karmaşık sayılarla ilgilenir.

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.