Bilişim, bilişim bilimi ya da bilgisayar bilimi, bilgi ve hesaplamanın kuramsal temellerini ve bunların bilgisayar sistemlerinde uygulanabilmeleri sağlayan pratik teknikleri araştıran bir yapısal bilim dalıdır. Bilişimciler ya da bilgisayar bilimcileri bilgi oluşturan, tanımlayan ve dönüştüren algoritmik süreçler icat edip, kompleks sistemleri tasarlamak ve modellemek için uygun soyutlamalar formüle ederler. Bilişim Dünya'da hızla gelişmeye devam eden önemli bir teknolojidir.

Charles Babbage, İngiliz matematikçi, analitik filozof, makine mühendisi ve programlanabilir bilgisayar fikrini ortaya atan (proto-)bilgisayar bilimcisi mucit.
Rap, "kafiyeli ve ritmik bir şekilde sokak dili konuşmayı" içerir ve müzikal benzeri tarzlarda yapılabilmektedir. Rap'in bileşenleri "içerik", "akış" ve "sunum"dan oluşmaktadır. Rap, spoken word'den farklıdır çünkü genellikle müzik eşliğinde icra edilir. Rap, hip hop müziğinin temel bileşenlerinden biridir ve özellikle bu türle ilişkilendirilir ancak rap'in kökenleri hip hop kültüründen öncesine dayanmaktadır. Modern rap'in en eski örnekleri, Batı Afrika griot geleneğine dayanmaktadır. Rap'in "Rhytm And Poem" veya "Rhytmic African Poetry" sözcüklerinin kısaltması olduğu görüşü yaygın olsa da aslında rap kelimesi, İngilizce sözlük anlamı olarak "ağır eleştiri" anlamına gelmektedir.

Hip hop, 1970'li yılların sonunda Amerika'da kötü koşullarda ve azınlık olarak yaşayan siyahilerin gündemden uzaklaşmak ve eğlenmek için oluşturduğu bir kültür, yaşam tarzı ve sanat akımıdır. Bu kültür Rap müziği, Graffiti sanatı, Breakdance'ı ve DJ'liği içerir. Hip hop kültürünün doğmasında Blues, Funk, Soul ve Caz müziğinin etkisi büyüktür.

Sir Roger Penrose OM FRS, İngiliz matematiksel fizikçi, matematikçi ve bilim felsefecisidir. Oxford Üniversitesi Matematik Enstitüsü'nde Matematik Fahri Profesörüdür ve aynı zamanda Wadham Koleji'nde Fahri Akademi Üyesidir.
Özgür irade veya erkin irade, kişinin eylemlerini, arzu, niyet ve amaçlarına göre kontrol altında tutabilme ve belirleme gücüdür. Kişinin belli eylem ya da eylemleri gerçekleştirmede sergilediği kararlılık; belli bir durum karşısında, gerçekleştirilecek olan eylemi, herhangi bir dış zorlama ya da zorunluluk olmaksızın, kararlaştırma ve uygulama gücü; eyleme neden olan eylemi başlatabilen yetidir. İnsanın liberteryen mânâda bir erkin iradeye sahip olup olmadığı hâlen bir tartışma konusudur.

The Guardian, İngiliz günlük gazetesi. 1821'de The Manchester Guardian adıyla Scott Trust tarafından kurulmuş ve 1959'da adı değiştirilerek bugünkü hâlini almıştır. Kardeş gazeteleri The Observer ve The Guardian Weekly ile birlikte Scott Trust Limited'in sahibi olduğu Guardian Media Group'un bir parçasıdır. Bu şirket "The Guardian'ın mali ve editöryel bağımsızlığını kalıcı olarak güvence altına almak ve The Guardian'ın gazetecilik özgürlüğünü ve liberal değerlerini ticari veya siyasi müdahalelerden uzak tutmak" amacıyla kurulmuştur ve kâr amacı gütmemektedir.

Kodak, 1888 yılında George Eastman tarafından elde taşınabilen fotoğraf makinesi ile tanınan ABD merkezli bir firmadır. Ayrıca Dijital fotoğraf makinesi, Fotoğraf Filmi, Yazıcı gibi donanımlar ile sarf malzemeleri'de üretmektedir.

Sonlu durum makinası ; sınırlı sayıda durumdan, durumlar arası geçişlerden ve eylemlerin birleşmesiyle oluşan davranışların bir modelidir.
Dizi eşleme algoritmaları olarak da adlandırılan dizi arama algoritmaları, bir ya da birkaç dizinin (örüntü) daha büyük bir dizi ya da metin içindeki yerinin bulunmasını konu edinen önemli bir dizi algoritması sınıfıdır.
Berim, bilgi işlemlemesi ile ilgili genel bir terimdir. Çoğunlukla sayısal veri işlemlemesi için kullanılsa da, en dar anlamıyla hesaplama ile, insan düşünmesine (bilişim) kadar uzanan olgular için kullanılan bir kavramdır. Berim, iyi tanımlanmış bir modeldir ve bir algoritma, protokol, ağ topolojisi, vb. şekilde ifade edilebilir. Berim, ayrıca bilgisayar biliminin bir ana konusudur; berimsel yolla neyin yapılabileceğini veya yapılamayacağını araştırır.
Matematiksel model, bir sistemin matematiksel kavramlar ve dil kullanılarak tanımlanmasıdır. Matematiksel model geliştirme süreci, matematiksel modelleme olarak adlandırılır. Matematiksel modeller, doğa bilimlerinde ve mühendislik disiplinlerinde bunun yanı sıra sosyal bilimlerde kullanılır. Matematiksel modelleri daha çok fizikçiler, mühendisler, istatistikçiler, operasyon araştırma analistleri ve ekonomistler kullanır. Model, bir sistemi açıklamaya, farklı bileşenlerin etkilerini incelemeye ve bir davranış hakkında öngörüde bulunmak için yardımcı olabilir.

Algorithmic durum makinesi (ADM) sonlu durumlu makineler yaratmak için bir yöntemdir. Sayısal tümdevrelerin diyagramlarını temsil etmek için kullanılır. ADM, durum diyagramı gibidir ancak daha az biçimseldir ve anlaması daha kolaydır.

Otomat teorisi, teorik bilgisayar biliminde soyut makineleri ve bu makineleri kullanarak hesaplama problemlerinin çözülebilmesini araştıran daldır. Bu soyut makinelere otomat denir. Otomat kelimesinin kökeni Yunanca "Grekçe: αὐτόματα" kelimesi olup "kendi kendine hareket eden" demektir.

Deterministik sonlu durum makinesi, non-determinisitik sonlu durum makinesinin (NFA) özel bir şeklidir.
Deterministik sistem matematik ve fizikte, deterministik bir sistem, sistemin gelecekteki durumlarının gelişmesinde rastgelelik bulunmayan bir sistemdir.
Belirli bir model bu nedenle her zaman belirli bir başlangıç koşulundan veya başlangıç durumundan aynı çıktı üretir.

Ayrıştırıcı, girdi verilerini alır ve girdinin yapısal bir temsilini vererek, süreçte doğru sözdizimini kontrol eden bir veri yapısı oluşturan bir yazılım bileşenidir. Ayrıştırma öncesinde veya sonrasında başka adımlar izlenebilir veya bunlar tek bir adımda birleştirilebilir. Ayrıştırıcı, genelde girilen karakter dizisinden belirteçler oluşturan ayrı bir sözcük tabanlı analiz motorunu takip eder. Ayrıştırıcılar elle programlanabilir veya bir ayrıştırıcı üreteci tarafından otomatik olarak veya yarı otomatik olarak oluşturulabilir. Ayrıştırma, biçimlendirilmiş çıktı üretimlerini tek bir şablonda tamamlama görevi görür. Bunlar, farklı etki alanlarına uygulanabilir, ancak bir derleyicinin girdi ve çıktı aşamaları gibi genellikle bir arada sunulur.

Michael Oser Rabin, İsrailli bilgisayar bilimcisi. Dana Scott'la birlikte hazırladığı 1959 tarihli makale ile deterministik olmayan sonlu durum makinelerinin temelini atmış ve 1976'da Turing Ödülü'ne değer görülmüştür. Rabin, verili bir metin üzerinde herhangi bir dizeyi bulmaya yarayan algoritmayı da geliştirmiştir.

Yapı, maddi bir nesne veya sistemdeki birbiriyle ilişkili unsurların düzenlenmesi ve organizasyonu veya bu şekilde organize edilmiş nesne veya sistemdir. Maddi yapılar, binalar ve makineler gibi insan yapımı nesneleri ve biyolojik organizmalar, mineraller ve kimyasallar gibi doğal nesneleri içerir. Soyut yapılar bilgisayar bilimlerindeki veri yapılarını ve müzik formunu içerir. Yapı türleri arasında bir hiyerarşi, çoktan çoğa bağlantılar içeren bir bağlantı veya uzayda komşu olan bileşenler arasındaki bağlantıları içeren bir kafes bulunur.
Bilgi teknolojisi ve bilgisayar biliminde eğer önceki olayları veya kullanıcı etkileşimlerini hatırlamak için tasarlandıysa biliminde bir sistem durumsal olarak ifade edilmiştir, hatırlanan bilgiye ise sistemin durumu denir.