Selasa, 22 November 2011

Apa itu Header.

Pertama mendengar kata "header" pada saat belajar bahasa pemerograman c++, pada versi lama file header biasanya diakhiri dengan ekstensi ".h", dikampus disebutkan bahwa file yang seperti itu adalah header, tapi tidak di jelaskan apa header itu sendiri, karena rasa penasaran akhirnya eyang google memberikan pencerahan seperti ini.. :D

Di bidang jaringan komputer dan TI (teknologi informasi), header didefinisikan sebagai bagian dari data yang masuk di depan sesuatu yang lain. Hal ini biasanya diulang sebagai bagian standar dari proses lain. Sebuah header yang dapat dibuat dari berbagai bidang, masing-masing terdiri dari nilai itu sendiri. Empat umum menggunakan untuk header: 

1. Untuk dokumen - header adalah kombinasi dari teks dan gambar yang dapat dirancang untuk muncul di bagian atas halaman ketika ditampilkan atau dicetak

2. Untuk email - header adalah bagian dari pesan yang menggambarkan pengirim, penerima, tingkat pentingnya dan sebagainya 

3. Untuk file komputer - header dapat menjadi bidang yang datang sebelum isi dari file utama. Dalam skenario ini mungkin menggambarkan panjang konten dan karakteristik lainnya 

4. Untuk jaringan transmisi - header mendahului sepotong data atau sinyal kontrol. Ini berisi rincian tentang unit file atau transmisi seperti panjang dan apakah atau tidak file lain secara fisik atau logis terkait dengan itu.

Semoga bermanfaat.

Senin, 21 November 2011

Ubuntu 11.10 dengan tampilan yang lebih mewah..

Sebuah perubahan yang dihadirkan dalam ubuntu 11.10 terutama yang terasa bagi saya adalah tampilan yang begitu indah dan memukau, dengan panel dekstop sebelah kiri yang elegan, memberikan kesempurnaan dalam menarik perhatian mata, terutama yang sudah terkunci di lingkungan windows,  rekan rekan yang susah buat diajak pakai ubuntu, sehingga kalo ada tugas coding di kuliah gak bisa copas haha... karna kan dari file headernya juga berbeda, berikut sedikit review saya yang di dapat dari berbagai sumber, tentang fitur baru ubuntu 11.10, bagi yang akan menambahkan, monggo di tunggu.


Fitur-fitur menarik lainnya pada Ubuntu 11.10:

    * Peningkatan keindahan desktop; Ditenagai oleh Unity panel dan peluncurnya yang kini telah diporting ke GTK3.
    * Dua metode login; Anda dapat memilih menggunakan antar muka 3D atau 2D.
    * Layar login baru; Ubuntu 11.10 kini telah menggunakan LighDM, sebuah login manager yang ringan dan indah.
    * Fungsi kombinasi tombol Alt+Tab baru.
    * Empat belas wallpaper baru.
    * Ubuntu Software Center baru; Telah didesain ulang dengan antar muka yang lebih profesional.
    * Mozailla Firefox 7; Versi terbaru dari web browser populer dari Mozilla.
    * Mozailla Thunderbird 7; Pengelola email dari Mozilla yang kini telah menjadi default email client untuk Ubuntu 11.10.
    * Deja Dup; Perangkat pencadangan baru.
    * Dukungan Multiarch; Kompatibilitas yang lebih baik untuk arsitektur 32-bit pada sistem 64-bit.
    * Mendukung arsitektur ARM; Hanya untuk versi Server.
    * Dan berbagai fitur menarik lainnya.


salam..

apa itu Telnet.

Sebuah kata yang terlontar dari salah satu taman di satu fakultas ilmu komputer universitas singaperbangsa karawang, yang entah apa arti yang tepat untuk menerjemahkan kata kata dia itu, tantangan ataukah hanya gurauan semata, hmmm, jadi sedikit curhat... :D

tapi pasti selalu ada hikmah dari setiap kejadian, tantangan yang mengarah dan memojokan itu yang membuat penasaran saya, dari namanya saja "telnet" benar-benar asing (maklumlah saya masih ingusan di dunia IT :D), setelah mencari di buku besar programer dan akhirnya tahu apa itu telnet, oke langsung aja, saya mengutip dari beberapa sumber di google.



PENGERTIAN TELNET
Telnet (Telecommunication network) adalah sebuah protokol jaringan yang digunakan di
koneksi Internet atau Local Area Network. TELNET dikembangkan pada 1969 dan
distandarisasi sebagai IETF STD 8, salah satu standar Internet pertama. TELNET
memiliki beberapa keterbatasan yang dianggap sebagai risiko keamanan.
Apa itu telnet
Telnet adalah aplikasi remote login Internet. Telnet digunakan untuk login
ke komputer lain di Internet dan mengakses berbagai macam pelayanan umum,
termasuk katalog perpustakaan dan berbagai macam database. Telnet
memungkinkan pengguna untuk duduk didepan
komputer yang terkoneksi ke internet dan mengakses komputer lain yang juga
terkoneksi ke internet. Dengan kata lain koneksi dapat terjadi ke mesin lain
di satu ruangan, satu kampus, bahkan setiap komputer di seluruh dunia.
Setelah terkoneksi, input yang diberikan pada keyboard akan mengontrol
langsung ke remote computer tadi. Akan dapat diakses pelayanan apapun yang
disediakan oleh remote machine dan hasilnya ditampilkan pada terminal lokal.
Dapat dijalankan session interaktif normal (login, eksekusi command), atau
dapat diakses berbagai service seperti: melihat catalog dari sebuah
perpustakaan, akses ke teks dari USA today, dan masih banyak lagi service
yang disediakan oleh masing-masing host pada di network.
TELNET menggunakan 2 program, yang satu adalah client (telnet) dan server
(telnetd). Yang terjadi adalah ada dua program yang berjalan, yaitu software client yang
dijalankan pada komputer yang meminta pelayanan tersebut dan software server yang dijalankan
oleh komputer yang menghasilkan pelayanan tadi
Tugas dari client adalah:
. Membuat koneksi network TCP (Transfer Control Protocol) dengan server.
. Menerima inputan dari user
. Menformat kembali inputan dari user kemudian mengubah dalam bentuk format
standard dan dikirim ke server.
. Menerima output dari server dalam format standard.
. Mengubah format output tadi untuk ditampilkan pada layar.
- Menginformasikan software jaringan bahwa komputer itu siap menerima
koneksi.
- Menunggu permintaan dalam bentuk format standard.
- Melaksanakan permintaan tersebut.
- Mengirim kembali hasil ke client dalam bentuk format standard.
- Menunggu permintaan selanjutnya..
Telnet menggunakan koneksi pada Port Destination=23. Untuk interaksi banyak
mesin maka dpat diganbarkan sebagai berikut :
Telnet adalah program yang memungkinkan komputer host Internet anda menjadi
terminal dari komputer host lain di Internet. Dengan ftp anda dapat membuka
koneksi hanya untuk mentransfer file. Telnet memungkinkan anda untuk login
sebagai pemakai pada komputer jarak jauh dan menjalankan program layanan Internet yang disediakan oleh komputer tersebut. Telnet menyediakan akses langsung ke beragam layanan di Internet.
Komputer host anda memang menyediakan beragam layanan, namun jika layanan
tersebut tidak ada, anda bisa menggunakannya melalui Telnet. Misalnya ketika masyarakat Internet
menulis interface untuk membantu pengguna lain, Telnet memungkinkan anda
mengakses host mereka dan menggunakan interface yang mereka buat. Demikian
juga ketika seorang membuat layanan yang bermanfaat, Telnet memungkinkan
anda mengakses sumber daya informasi yang berharga ini.
Cara pengunaan Telnet Cara penggunaan Telnet ini sangat mudah, anda ketik telnet diikuti dengan
alamat yang ingin anda hubungi bila menggunakan UNIX atau klik icon Telnet
di Windows kemudian pilih menu connect kemudian remote system.
Contoh :
1. Menggunakan UNIX
% telnet well.sf.ca.us
Trying 198.93.4.0...
Connected to well.sf.ca.us.
Escape character is '^]'.
Unix(r) System V Release 4.0 (well)
This is the WELL
Type newuser to sign up.
Type trouble if you are having trouble logging in.
Type guest to learn about the WELL.
If you already have a WELL account, type your username.
Login: |
Jika sudah tersambung berarti sudah berada di terminal pada komputer jarak
jauh tersebut dan bisa berinteraksi dengan program yang tersedia. Telnet
secara diam-diam ada di belakang layar saat anda berinteraksi dengan
komputer jarak jauh tersebut. Dalam kebanyakan kasus, perintah yang perlu
diketahui adalah perintah yang digunakan pada host jarak jauh. Host
kemungkinan menjalankan Unix, meskipun anda juga dapat menjumpai sistem
operasi lain pada server host seperti UMS atau Windows NT. Sebagian besar
sistem, terutama database, menawarkan menu. Apabila menu tidak tersedia,
maka lebih baik amati file bantu (help) yang tersedia. Dapat diketikan ?
atau help atau cukup h untuk mengamati apakah file bantu tersedia. Untuk
mengakhiri sesi Telnet ketik quit atau exit, pada beberapa sistem
menggunakan bye atau off. Bila menggunakan Windows tergantung program yang
digunakan misal WinTel, tinggal click pada Icon program yang bersangkutan
Contoh lain (dengan putty)
bisa menggunakan putty untuk telnet client yang bisa kamu download di
download.com
dan yara penggunaannya mudah
1. tinggal jalankan putty
2. masukan alamat server host
3. pilih telnet dengan default port 32
4. dan klik open
5. kemudian akan muncul halaman hitam dengan 1 cursor dan menu
bertuliskan login :
6. silahkan login dan anda akan masuk ke host yang di tuju
Contoh lain (command windows)
untuk contoh putty di windows command juga cukup mudah
1. masuk ke command windows (pilih start -> run -> ketikan cmd
kemudian enter)
2. di command window ketikan c:\telnet host_tujuan kemudian enter ,
contoh "c:\telnet 192.168.0.1"
3. kemudian ada tulisan : Welcome to Microsoft Telnet Client
Escape Character is 'CTRL+]'
You are about to send your password information to a remote computer
in Internet zone. This might not be safe. Do you want to send anyway(y/n):
4. pilih saja "n" dan tekan enter
5. setelah itu akan muncul menu login "loginlah dengan acount anda"
6. selesai

semoga bermanfaat, (terutama bagi orang yang seperti saya :D)









Minggu, 20 November 2011

tes tes tes...

ARGUMEN DAN METODE PENARIKAN KESIMPULAN

=> salah jika p benar q salah
<=> benar jika q ^ p bernilai sama

metode penarikan kesimpulan

Jika pintu kereta api ditutup, lalu lintas akan berhenti.
Jika lalu lintas berhenti, akan terjadi kemacetan lalu lintas.
Pintu kereta api ditutup.
Jadi, terdapat kemacetan lalu lintas.

Misal:
p : pintu kereta api ditutup
q : lalu lintas akan berhenti
r : terjadi kemacetan lalu lintas
Simbol untuk argument diatas adalah:
p⇒q
q⇒r
p
∴r
Proses pembuktian validitas argument diatas adalah sebagai berikut:
1. p ⇒ q Pr
2. q ⇒ r Pr
3. p Pr / ∴r
4. q 1,3 MP
5. r 2,4 MP


aturan penukaran

Susunlah bukti formal validitas argument berikut
( p ∨ q) ⇒ ( r ∧ s)
~r
∴~ q
Proses pembuktian validitas argument diatas adalah sebagai berikut:
1. ( p ∨ q) ⇒ ( r ∧ s) Pr
2. ~ r                          Pr / ∴~ q
3. ~ r ∨ ~ s                2, Add
4. ~ (r ∧ s)               3, de M
5. ~ (p ∨ q)                 1,4 MT
6. ~ p ∧ ~ q                  5, de M
7. ~ q ∧ ~ p                   6, Kom
8. ~ q  7, Simp


TURAN PEMBUKTIAN KONDISIONAL (Rule of Conditional Proof).

Penerapan aturan pembuktian kondisional, akan diperoleh argument
A ⇒ (B ⇒ C)
C ⇒ (D ∧ E)
A
B
/ ∴D
Proses pembuktian validitas argument diatas adalah sebagai berikut:
1. A ⇒ (B ⇒ C)                         Pr
2. C ⇒ (D ∧ E)                         Pr / ∴A ⇒(B ⇒D)
3. A   Pr / ∴ B ⇒D (CP)
4. B   Pr / ∴ D  (CP)
5. B ⇒ C  1,3 MP
6. C   4,5 MP
7. D ∧ E
8. D  7, Simp


ATURAN PEMBUKTIAN TIDAK LANGSUNG

Susunan pembuktian tidak langsung untuk memperlihatkan validitas argument berikut
P⇒Q  P
Q⇒R  ∴R

Jawab:
1. P ⇒ Q Pr
2. Q ⇒ R
3. P  Pr / ∴R
4. ~ R  IP
5. ~ Q  2,4 MT
6. ~P  1,5 MT
7. P ∧ ~P  3,6 Konj
Baris (7) adalah suatu kontradiksi



PEMBUKTIAN INVALIDITAS ARGUMEN (METODE PENETAPAN
NILAI KEBENARAN)


Contoh:
Buktikan bahwa argument berikut tidak valid.
P∨Q
Q∨R
∴P∨R
Jawab:
Langkah 1: Ubah argument diatas menjadi pernyataan kondisional yang
berkoresponden dengan argument diatas.
[ (P ∨ Q) ∧ (Q ∨ R) ] ⇒ (P ∨ R)
Langkah 2 : Beri nilai T pada premis-premis dan F pada konklusi
Bahan kuliah logika matematika
6
[ (P ∨ Q) ∧ (Q ∨ R) ] ⇒ (P ∨ R)
T
T
F
F
Langkah 3 : Turunkan nilai kebenaran dari setiap variabel yang ada pada argument
tersebut (pilih pernyataan yang hanya mempunyai satu kemungkinan). Dalam contoh
diatas kita bisa langsung memberi nilai pada variabel P dan R karena (P ∨ R) akan
bernilai salah hanya jika P salah dan R salah.
[ (P ∨ Q) ∧ (Q ∨ R) ] ⇒ (P ∨ R)
FT
TF
FFF
Langkah 4 : Dari hasil dari langkah (3), kita dapat menurunkan nilai kebenaran
untuk Q yaitu benar.
[ (P ∨ Q) ∧ (Q ∨ R) ] ⇒ (P ∨ R)
FT T            TTF              FFF
Langkah diatas menunjukan bahwa argument tersebut tidak valid.
Disisi lain metode ini juga dapat digunakan untuk menujukan argument yang valid.
Artinya, jika kita mengikuti langkah diatas ternyata pada akhirnya menimbulkan hal
yang bersifat kontradiksi, maka argument yang akan diselidiki tersebut valid.
Contoh:
P∨Q
~P
∴Q
Jawab:
Langkah 1:
Langkah 2:
[(P ∨ Q) ∧ ~ P ] ⇒ Q
T
T
F
[(P ∨ Q) ∧ ~ P ] ⇒ Q
T F T
F
Langkah 3:
[(P ∨ Q) ∧ ~ P ] ⇒ Q
T F TF
F
Langkah 4:
[(P ∨ Q) ∧ ~ P ] ⇒ Q
FTF TF
F
Timbul kontradiksi karena (P ∨ Q) yang bernilai benar tidak mungkin terjadi jika P
salah dan Q salah. Akibatnya, argument diatas valid.


KALIMAT BERKUANTOR


Contoh 2.8 :
1. ”Semua tanaman hijau membutuhkan air untuk tumbuh ”.
• Jika x adalah tanaman hijau, maka x membutuhkan air untuk
tumbuh
Tanaman hijau(x) ⇒ membutuhkan air untuk tumbuh(x)
• (∀x) (Tanaman hijau(x) ⇒ membutuhkan air untuk tumbuh(x))
• (∀x)(T(x) ⇒ A(x))



KALIMAT BERKUANTOR

(a). Semua pria mencintai wanita
Kalimat diatas sama artinya dengan
Untuk semua x, y , jika x adalah pria dan y adalah wanita, maka x mencintai y.
Misal: p(x) : x adalah pria
w(y) : y adalah wanita
r(x,y) : x mencintai y
maka simbol untuk pernyataan diatas adalah:
(∀x) (∀y) [( p(x) ∧ w(y) ) ⇒ r(x,y)]
(b). Semua wanita mencintai semua pria.
(∀x) (∀y) [( p(x) ∧ w(y) ) ⇒ r(y,x)]
(c). Beberapa pria mencintai beberapa wanita.
Kalimat diatas sama artinya dengan
Terdapatlah x dan y sedemikian sehingga x adalah pria dan y adalah wanita dan x
mencintai y.
Simbol pernyataan diatas adalah:
(∃x) (∃y) [ p(x) ∧ w(y) ∧ r(x,y)]
Bahan Kuliah Logika Matematika
Kun Siwi Trilestari, S.Kom
3
(d). Semua pria mencintai beberapa wanita
Kalimat diatas sama artinya dengan
Untuk setiap x, jika x adalah pria, maka terdapat y sedemikian sehingga y adalah
wanita dan x mencintai y.
Simbol pernyataan diatas adalah
(∀x) [ p(x) ⇒ (∃y) (w(y) ∧ r(x,y))]
(e). Beberapa pria mencintai semua wanita
Kalimat diatas sama artinya dengan
Terdapatlah x sedemikian sehingga x adalah pria dan untuk setiap y, jika y adalah
wanita, maka x mencintai y.
Simbol pernyataan diatas adalah
(∃x) [ p(x) ∧ (∀y) ( w(y) ⇒ r(x,y))]
Kalimat diatas juga mempunyai arti yang sama dengan kalimat
Untuk semua x, jika x adalah wanita, maka terdapatlah y sedemikian sehingga y
adalah pria dan y mencintai x.
yang mempunyai simbol
(∀x) [ w(x) ⇒ (∃y) (p(y) ∧ r(y,x))]

PEMBUKTIAN VALIDITAS ARGUMENT BERKUANTOR
Untuk menyusun bukti langsung validitas sebuah argument yang mengandung
kuantor dan fungsi proposisi, kita memerlukan aturan tambahan baru. Ada empat
aturan tambahan, yaitu:
1. Universal Instantion (UI)
(∀x) M(x)
∴M(a)
(a adalah lambang individual)
2. Universal Generalization (UG)
M(a)
∴(∀x) M(x)
3. Existential Generalization (EG)
M(a)
∴(∃x) M(x)
4. Existential Instantiation (EI)
(∃x) M(x)
∴M(y)
(y adalah konstanta individual selain ‘a’ yang tidak pernah
muncul dalam pembuktian)
Contoh 1:
Semua kucing adalah hewan menyusui.
Puppy adalah seekor kucing.
Jadi, Puppy adalah hewan menyusui.
Pembuktian dapat dilakukan dengan langkah berikut:
1. (∀x) (K(x) ⇒ H(x))
Pr
2. K(p) Pr / ∴H(p)
3. K(p) ⇒ H(p) 1, UI
4. H(p) 2,3 MP
Bahan Kuliah Logika Matematika
Kun Siwi Trilestari, S.Kom
2
Contoh 2:
Semua bilangan cacah adalah bilangan real.
Tak ada bilangan real yang habis dibagi nol.
Jadi, tak ada bilangan cacah yang habis dibagi nol.
Langkah pembuktian argument diatas adalah:
1. (∀x) (A(x) ⇒ B(x)) Pr
2. (∀x) (B(x) ⇒ ~ C(x)) Pr / ∴(∀x) (A(x) ⇒ ~C(x))
3. A(a) ⇒ B(a) UI
4. B(a) ⇒ ~ C(a) UI
5. A(a) ⇒ ~ C(a) 3,4 HS
6. (∀x) (A(x) ⇒ ~C(x)) 5 UG