Pada pembahasan kali ini saya akan menilai sebuah desain grafis. Pada pembuatan desain grafis terdapat prinsip-prinsip yang harus di perhatikan, saya akan menilai contoh desain grafis logo Volkswagon atau biasa kita lihat VW. Berikut penilain saya menurut prinsip pembuatan desain grafis.

Header adalah salah satu bagian dari web yang terdapat dipaling atas pada website, dibagian header kita bisa membuat sub menu. Di karenakan header merupakan bagian pertama yang dilihat oleh pengunjung web maka header salah satu bagian penting dari web. Bila diibaratkan sebuah surat, header adalah bagian kop surat tersebut maka pada bagian header bisa dimasukan logo atau ikon yang kita inginkan.

Karena bagian header merupakan hal pertama yang dilihat oleh pengunjung web, maka di bagian header sebaiknya kita buat semenarik mungkin sehingga web yang kita buat beda dari yang lain.

Bagian header sama halnya seperti iklan, di bagian tersebut kita bisa mengambil perhatian atau simpati dari pengunjung. Maka gunakalan lah gambar, tulisan dan logo yang belum pernah di lihat orang dan membuat pengunjung terkesan.

Sama seperti sebuah buka, header bisa dianggap sebagi cover dari buku jadi pada bagian header mewakili semua isi dari seluruh website. Contoh nya apabila website berisi tentang sebuah kampus dan info tentang perkuliahan maka header berisi tentang gambar, logo, dan menubar mengenai kampus dan perkuliahan.

Pada artikel ini saya akan sedikit mencerita kan pengalaman pertama saya menggunakan internet. Dimana telah kita ketahui pada saat ini internet adalah salah satu hal penting dan kebutuhan kita sehari-hari, hal tersebut bisa kita lihat dengan kegiatan kita dengan menggunakan internet contoh mudahnya adalah social media, search engine seperti google, dan email. Pada saat sekarang juga akses internet bisa dilakukan kapan saja dan dimana saja dengan teknologi-teknologi yang terus berkembang.

Keganjilan teknologi didasarkan pada konsep dimana oada suatu titik tertentu computer menjadi lebih pintar dari manusia. Di tahun 2000, ‘The Singularity Institute for Artificial Intelligence’ (SIAI) di dirikan sebagai organisasi yang tidak mengambil keuntungan untuk mengembangkan software kecerdasan  buatan yang aman. Institusi itu mengatakan bahwa kunci penting misi ini adalah untuk meningkatkan kesadaran kepada bahaya dan keuntungan potensial yang diberikan oleh AI. SIAI mencatat:

Ada beberapa teknologi yang sering disebut menuju arah ini. Yang sering disebut bisa jadi adalah kepintaran buatan, tapi ada juga yang lain: hubungan langsung Antara otak dan computer,  penambahan biologis otak kita, rekayasa genetika, resolisu ultra-tinggi scan otak diikuti oleh emulasi komputer.

                                                                                                                        (SIAI 2008)

Bahasa Pemrograman Fungsional :

-   Suatu set fungsi primitif

-   Suatu set format fungsional

-   Aplikasi operasi

-   Suatu set objek data dan fungsi asosiasi

-   Suatu mekanisme untuk memberikan rujukan sebuah nama terhadap suatu fungsi

3 Komponen Primer Bahasa Fungsional :

Menggunakan mekanisme struktur data tingkat tinggi.

Contoh : Array atau List

Untuk memanipulasi objek data dasar yang menyediakan sejumlah fungsi untuk membuat dan mengakses list.

Contoh :

LISP →

- bahasa unuk komputasi simbolik, nilai direpresentasikan dengan ekspresi simbolik.

- banyak digunakan di wilayah kecerdasan buatan (robotika, sistem cerdas).

- biasa dieksekusi di bawah kendali interpreter

Ekspresi terdiri dari atom atau list.

Atom → string dan karakter (huruf, angka)

                 Contoh : A68000

List → urutan dari atom atau list, dipisahkan dengan spasi, ditutup dengan tanda kurung.

                   Contoh : (PLUS AB)

                   ((daging ayam) (sawi kangkung bayam) air))

                ML (Meta Language) →

-        Merupakan bahasa aplikatif dengan program-program yang ditulis menggunakan gaya C atau Pascal dan dengan konsep yang lebih advance tentang tipe data

-        Mendukung polimorfisme dan abstraksi data

-        Berjalan dengan interpreter

§  Kumpulan fungsional forms

Untuk membuat fungsi baru, yang mengizinkan programmer mendefinisikan operasi baru dari kombinasi fungsi yang ada.

Lambda Calculus

Adalah :

Contoh :

-   Dengan ekspresi polynomial X² + 3X – 5

-   Dengan fungsi lebih dari 1 variabel

(+ x y) ditulis ((+ x)y) dimana fungsi (+ x) adalah fungsi yang menambahkan sesuatu ke x

Lambda Calculus murni mempunyai 3 buah elemen :

Ø  Lambang primitif

Ø  Aplikasi fungsi

Ø  Fungsi ciptaan

Lambda calculus murni tidak mempunyai fungsi tetap atau konstanta

Kalkulasi dalam lambda calculus adalah :

Menulis ulang(mengurangi) suatu lambda-expression menjadi suatu format formal.

Ilmu Semantik Operasional

Inti denotasional Ilmu Semantik adalah : terjemahan dari program konvensional ke dalam persamaan fungsional.

Tujuan denotasional semantik dari suatu bahasa adalah : menugaskan suatu nilai kepada setiap ekspresi dalam bahasa.

Ilmu semantik dapat dinyatakan dalam lambda calculus sebagai fungsi mathematical, Eval, dari ekspresi ke nilai.

Contoh : Eval[+ 3 4] = 7 menggambarkan bahwa nilai ekspresi (+ 3 4) untuk menjadi 7

Fungsi Rekursif

Perluasan syntax Lambda-calculus yang mencakup ekspresi yang telah dinamai (named expressions).

L :: ...│x : L│...

X = nama dari Ekspresi Lambda L

                FAC : \n.(if (= n 0) 1 (* n (FAC (- n 1))))

                                dengan syntactic sugaring :

    FAC : \n.if (n = 0) then 1 else (n * FAC (n – 1))

FAC : (\fac.(\n. (if (= n 0) (* n (fac (- n 1))))) FAC)

                H : \fac.(\n. (if (= n 0) 1 (* n (fac (- n 1)))))

                                FAC : (H FAC)

Aturan Lingkup Leksikal

                let n : E in B

adalah penyingkatan untuk (\n.B) E

                let x : 3 in (* x x)

\y. let x : 3 in (* y x) Ekuivalen \y. (* y 3)

                letrec n : E in B

adalah peyingkatan untuk let n : Y (\n.E) in B

let n : E in B                         = (\n.B) E

letrec n : E in B                   = let n : Y (\n.E ) in B

Semantic Translasi dan Kombinator

Kombinator :

S = \f.(\g.(\x. f x (g x)))

K = \x. \y. x

I = \x.x

Y = \f. \x. (f (x x)) \x. (f (x x))

Aturan reduksi untuk kalkulus SKI adalah :

S f g x à f x (g x)

K c x   à c

I x             à x

Y e            à e (Y e)

(A B)        à A B

(A B C) à A B C

Ø  Aturan Reduksi dijalankan dari kanan ke kiri

Ø  Jika tidak ada reduksi S,K,I,Y maka tanda kurung akan dibuang, dan proses reduksi diteruskan

Semantik Translasi untuk Lambda Calculus :

Compile [s]                                         à s

Compile [(E1 E2)]                             à (Compile [E1] Compile [E2])

Compile [\x.E]                   à Abstract [(x, Compile [E])]

Abstract [(x, s)]                 à if (s = x) then I else (K s)

Abstract [(x, (E1 E2))] à ((S Abstract [(x, E1)]) Abstract [(x, E2)])

dimana s adalah symbol

Scheme

-   Atoms : Untaian Karakter yang bukan blank

-   List : Rangkaian Atom atau List dipisahkan oleh blank dan berada dalam tanda

Dari Sisi Sejarah

Alternatif teori dasar matematika

§  Alonso Church, lambda-calculus, 1930-an

§  Haskell B. Curry, logika kombinatorial

1958, LISP (LISt Processing), pemrosesan list berdasarkan fungsi rekursif.

- Recursion

- First class function

- Garbage collection

1960an, penggunaan lambda-calculus di dalam ilmu computer à Semantik Denotasional

Teori Semantik Formal untuk bahasa pemrograman (Peter Landin, Christopher Strachy, dll)

1969, Model Matematika pertama untuk lambda-calculus bertipe bebas (Dana Scott)

Haskell

§  Bahasa modern yang dinamai sama dengan Haskell B. Curry

§  Didesain oleh 15 orang anggota komite internasional

§  Pembentukan bahasa fungsional yang memasukkan :

-   ide-ide baik yang sebelumnya ada dalam riset bahasa fungsional

-   yang sesuai untuk pengajaran, riset dan aplikasi

-   Fasilitas Overloading, yang dipadukan dengan sistem bertipe polimorfis, i/o fungsional, abstraksi data dan penyembunyian informasi

Functional Programming urutan mesin virtual.

-   Bahasa pemrograman fungsional à lambda calculus

-   Lambda calculus à logika kombinatorial

-   Logika kombinatorial à kode mesin reduksi graf

Kesemuanya adalah mesin virtual