şekilde de gösterilir.

Mantıkta önermeler doğru ya da yanlış olabilir, fakat hem doğru hem yanlış olamaz. Bir önermeye yüklenen bu "doğru" ve "yanlış" yüklemlerine onun doğruluk değeri denir.
formula_6, formula_7, formula_8, formula_9, formula_10
“Değil” sözcüğünün anlamından hareketle, eğer bir P önermesi doğru ise onun değillemesi, yani formula_6 yanlıştır, ve bunun tersi. Mesela, P önermesi “Ay dünyanın uydusudur” cümlesi yerine geçiyorsa, bunun değillemesi olan formula_6 yanlıştır.
Genel, kural olarak iki veya daha fazla önermenin birleşimi, ancak birleşen bütün önermelerin doğru olması halinde doğrudur. Mesela, “3 asal sayıdır ve 2+2=5'tir” yanlış bir bileşik önermedir. 
Yine kural olarak, ayrık önermelerin doğru olabilmesi için bileşenlerden birinin doğru olması yeterlidir. Ayrık önermeler ancak bunları meydana getiren bileşenlerin hepsinin birden yanlış oldugu halde yanlış sayılır. 
Bileşik önermeler için doğruluk tabloları şu şekilde verilebilir:

"D: doğru, Y: yanlış"

formula_19
formula_20
formula_21
formula_22


formula_23
formula_24
formula_25
formula_26






A, A, ..., A |= B.

Önermeler mantığının türetim kuralları matematik için yeterli olmadığı gibi gündelik dil için de yeterli değildir. Mesela, klasik mantıkta "Her asal sayı bir doğal sayıdır" ve "3 asal sayıdır" öncüllerinden, "3 doğal sayıdır" sonucunu çıkarabiliyoruz. Fakat bu akıl yürütmenin doğruluğu, önermeler mantığının kuralları çerçevesi içinde kanıtlanamaz. Bunun nedeni de şudur: Önermeler mantığı bileşik önermeler içindeki basit önermeler arasındaki mantıksal bağlaçlara ve basit önermelerin doğruluk değerlerine göre bileşik önermelerin doğruluklarını inceler. Diğer bir deyişle, önermeler mantığı bir önermeyi birçok maksat için yeterli ayrıntıda analiz etmez.
İşte, terimler, yüklemler ve niceleyiciler diye isimlendireceğimiz mantıksal kavramlar yardımıyla gündelik dili ve matematiğin dilini büyük ölçüde sembolize edebiliriz.
Yüklemler mantığında da aynı matematikte olduğu gibi, sabitler ve değişkenler kullanılır. Biraz önce bahsedilen "terimleri" iki sınıfa ayırabiliriz: Bireysel değişkenler, bireysel sabitler. Bireysel sabitlere örnek olarak birey olduğunu bildiğimiz varlıkları sayabiliriz: “Gökhan”, “Tekir”, “gül” gibi. Bunlar yerine de “insan”, “hayvan”, “bitki” kavramlarının çerçeveleri içinde olmak üzere x, y, z, değişken sembollerini kullanabiliyoruz.
Matematikte değişkenler genellikle sayılar veya fonksiyonlar olabilir. Yüklemler mantığında ise bireysel terimler değişken olabildiği gibi, yüklemler de sabit veya değişken olabilir. Yüklemsel sabitlere örnek olarak önermeler içinde yer alan yüklemleri gösterebiliriz: “sayı”, “meyve”, “uydu”, “sert” gibi. Buna göre,

"7 bir asal sayıdır."
"Elma bir tür meyvedir."
"Miranda, Neptün'ün uydusudur."
"Demir sert bir metaldir."

...cümleleri içinde "7", "Elma", "Miranda", "Neptün" ve "demir" bireysel sabitler, “asal sayı, “meyve”, “uydu” ve “sert metal” de yüklemsel sabitlerdir.

Yüklemsel ifadelerde yüklemler yukarıdaki örneklerde görüldüğü gibi bir veya iki terimli (veya argümanlı) olabildiği gibi, daha fazla sayıda argüman da içerebilirler. Mesela: “Beril, Akın ve Şebnem'nin önünde oturuyor” dediğimiz zaman, burada “önünde oturuyor” ifadesini yüklem olarak; Beril, Akın ve Şebnem isimlerini de bireysel sabitler olarak almış oluyoruz.
Yüklemsel ifadeler yüklemin aldığı terim sayısına göre şu genel biçimlerde gösterilebilirler:
P(a), Q(b,c), R(d,e,f), ...
Bu ifadelerde, hemen görülebileceği gibi, bireysel sabitler yerine x, y, z gibi değişkenler koyarsak,
P(x), Q(b,y), R(z,e,f)
...gibi değişken terimli yüklemsel ifadeler elde ederiz.

A(x) yüklemsel bir formül olsun. Şu ifadeleri gözönüne alalım:

a) formula_27
b) formula_28
c) formula_29
d) formula_30

Bunları doğal dile çevirirsek:
a) Her şey A yüklemine (özelliğine) sahiptir.
b) Bazı şeyler A yüklemine (özelliğine) sahiptir.
c) Hiçbir şey A yüklemine (özelliğine) sahip değildir.
d) Bazı şeyler A yüklemine (özelliğine) sahip değildir.
Burada görüldüğü gibi, d, a'nın karşıtı (değillemesi), c de b'nin karşıtıdır. Şu halde, formula_28 yerine formula_32 kullanabiliriz, çünkü bunlar mantıksal olarak özdeştir, aynı şekilde formula_27 yerine formula_34 ifadesini kullanabiliriz.
Yüklemsel ifadelerde değilleme ve niceleyicilerin yeri, anlam bakımından önemlidir. Örneğin:
formula_35, “her sayı asal değildir” anlamına gelirken,
formula_36 ise “hiçbir sayı asal değildir” anlamına gelir.

formula_37
formula_38
formula_39
formula_40
formula_41
formula_42
formula_43
formula_44

Çözülüm teorem ispatlama, mantık teoremlerinin ispatlanması için A. Robinson tarafından geliştirilmiş bir tekniktir. Bu tekniğin esası şudur:
Eğer “veya” bağı ile bağlı P, ..., P önermelerinden bir Q önermesi dedüktif olarak çıkarılabiliyorsa, o zaman Q'nun değillemesini bu önermelere “ve” bağı ile kattığımız zaman bir çelişki elde ederiz. Sembollerle gösterecek olursak:
formula_45

...çıkarımı geçerli ise,
formula_46

...bir çelişkidir.
Bu yöntemin kullanılabilmesi için, P, ..., P önermelerinin, eşdeğerlik dönüşümleri kullanılarak “birleşimli normal biçim” denilen bir biçime getirilmesi gerekir. Bu biçim sadece “değil”, “ve” ve “veya” mantıksal bağlaçlarını içerir.
"Örnek 1":
Bu örnekte formula_9 şartlı önermesi yerine, eşdeğeri formula_48 konulmuştur ki bu, formula_9 önermesinin normal biçimidir.

"Örnek 2":

Çözülüm teorem ispatlama yöntemi, yüklemler mantığının teorem ispatlama problemlerinde de uygulanmaktadır. Yüklemler mantığında teorem ispatı sırasında bireysel sabitlerin değişkenlerin yerine konulmasına “birleştirme” denilir.

"Örnek 3":

Bulanık mantık 1960’ların ortalarında Lotfi Zadeh tarafından iki değerli mantık ve olasılık teorisine alternatif olarak geliştirilmiştir. Bulanık mantıkçılara göre iki değerli mantık ve kümeler teorisi daha genel çok değerli bir teorinin özel halidir. Zadeh (1965) bulanık kümeleri ve bulanık mantığı şu şekilde tanımlamaktadır: "Bulanık sistemlerde temel düşünce bulanık mantıkta doğruluk değerleri (veya bulanık kümelerde üyelik değerleri) 0 ile 1 arasında değişen değerlerdir ki burada 0 mutlak yanlış, 1 de mutlak doğru olmaktadır."

Doğal dilde kullandığımız birçok cümlede “az”, “çok”, “orta” gibi kalitatif niceleyiciler kullanıyoruz. Bu tür cümleleri bulanık mantığın gösterimi ile ifadelendirmek daha kolay olmaktadır. Bulanık mantıkta “Ahmet yaşlıdır” ve “Bugün hava sıcaktır” cümlelerindeki “yaşlı” ve “sıcak” ifadelerine iki değerli mantıktaki gibi “doğru” veya” yanlış” yerine 0 ile 1 arasında değer verilebilmektedir.

X, elemanları x’ler olan bir nesneler kümesi olsun, yani X = ( x ). X’in içinde bir A bulanık kümesi bir üyelik fonksiyonu mA(x) ile karakterize edilir. Bu fonksiyon X içindeki her nesneyi, 0 ile 1 arasındaki bir reel sayıya [0,1] tekabül ettirir. Yukarıdaki örnekte A, yaşlı insanlar kümesi olabilir. Ahmet de X insanlar genel kümesinin bir üyesi olarak yaşlı insanlardan biri olabilir, ki A’daki üyelik derecesine göre üyelik değeri [0,1] reel sayılar aralığında yer alır.

mA(x) değeri 1’e yaklaştığında x’in A içindeki “üyelik derecesi” artar. Bütün x’ler için mA(x) = 0 ise, A boş bir küme olur ve bütün x’ler için mA(x) = mB(x) olduğunda da A=B olur. Bulanık kümelerle ilgili tarifler de şöyledir:

Eğer X’in bütün x’leri için mC(x) = MAX[mA(x), mB(x)] ise, C, A ve B’nin birleşimidir.

Eğer X’in bütün x’leri için mC(x) = MIN[mA(x), mB(x)] ise, C, A ve B’nin arakesitidir.




Novell

Novell merkezi Waltham, Massachusetts'de bulunan bir yazılım şirketidir. Özellikle sunucu sistemleri ve Linux alanında faaliyet gösterir. Novell mali bakımdan dünyanın 22'ci en büyük bilgisayar şirketidir.

Novell, 1969 yılında Novell Data Systems Inc. olarak Provo, Utah'da kuruldu. Kurucuları George Canova, Darin Field ve Jack Davis'tir. Novell ismi, Fransızca yeni demek olan "nouvelle"den gelmektedir.

Şirket sunucu işletim sistemi konusuna odaklanmıştır. Netware adlı bu ürün 80'li yıllardan itibaren yaygın kullanıma kavuşmuştur. Netware IPX/SPX teknolojisi ile yerel ağda bilgisayarların birbirleri ile haberleşebilmesi sağlamış, Remote Boot teknolojisi ile sabit disk olmaksızın işletim sistemi çalıştırabilmiş, Netware Directory Service ile kullanıcı hakları ve yetkilerini düzenleyebilen bir mimariyi ortaya çıkarmıştır. Bilişim alanında pek çok ilke imza atan Novell, istemci işletim sistemleri geliştirmemesi nedeniyle, 1990'lı yılların artan masaüstü bilgisayar kullanımından olumsuz etkilenmiştir.

2006 yılında OES (Open Enterprise Server) ile açık kaynak kodlu işletim sistemi üretimine başlamıştır.





Bilgisayar virüsü

Bilgisayar virüsü, kullanıcının izni ya da bilgisi dahilinde olmadan bilgisayarın çalışma şeklini değiştiren ve kendini diğer dosyaların içerisinde gizlemeye çalışan aslında bir tür bilgisayar programıdır.

Terim genelde kötücül yazılım (malware) denilen geniş bir alanı ifade etmek için kullanılsa da, gerçek bir virüs aşağıda belirtilen iki görevi gerçekleştirmek durumundadır.


Virüsler nasıl çalışır?
Bilgisayar virüsleri, biyolojik virüslerin insandan insana bulaşması gibi bir bilgisayardan diğerine bulaşabilirler. Örneğin, uzmanların tahminine göre, Mydoom adlı solucan Haziran 2004 tarihinde bir gün içerisinde çeyrek milyon bilgisayara bulaştı. 2000 yılındaki bir diğer vakada ise I Love You virüsü, benzer etkileri yarattı. An itibarıyla bilişim dünyasında on binlerce virüs bulunmakta ve her gün yenileri tespit edilmekte. Bulaşma ya da yayılım şekillerindeki çeşitlilikten ötürü virüslerin nasıl çalıştıklarını tümü için geçerli olacak şekilde özetlemek zordur. Ancak, genelde çeşitli virüs tiplerini belirtmek için kullanılan geniş kategoriler bulunmaktadır. Ayrıca en güzel örnek spam virüsüdür.

Bir disketteki bilgi için, bilgisayar, tıpkı DNA’yı kopyalamak isteğiyle vızıldayan hücre çekirdeği gibi, vızıldayan bir cennettir. Bilgisayarlar ve bunlara bağlı olan disket ve teyp sürücüleri, yüksek kopyalama doğrulukları amaçlanarak oluşturulmuştur. DNA moleküllerinde olduğu gibi, manyetize baytlar kopyalanmayı ‘dilemezler’.