Hasil Pencarian  ::  Simpan CSV :: Kembali

"Tesis ini merupakan penelitian atas pemikiran Gottlob Frege yang mencoba untuk memanifestasikan prinsip-prinsip logika ke dalam tataran bahasa. Penelitian ini pada dasarnya lebih mengacu kepada problem yang krusial dalam logika mau pun bahasa, yaitu kebermaknaan. Kebermaknaan menjadi sebuah isu dalam logika yang menjadi ruang ontologis penyebab dari kesesatan dan ambiguitas. Problem kebermaknaan ini dimodifikasi sedemikian rupa oleh Frege agar mendapatkan definisi, posisi, serta pengertiannya yang tepat dalam tataran logika mau pun bahasa. Hanya dengan memahami isu-isu mengenai problem kebermaknaan lah, kita baru bisa memulai serta memfondasikan aktivitas berpikir kita, khususnya berfilsafat, di atas fondasi logika serta epistemologi yang aman dan dapat dipertanggungjawabkan secara filosofis.

---

This thesis is a study of the thought of Gottlob Frege that endeavors the manifestation of logical principles on language. This study is concern with the pivotal problem of logic and language, that is Meaning. Meaning is an issue of logic that has become an ontological space that enables fallacies and ambiguities. This problem of meaning is modified by Frege in order to have its proper definition, position, and concept in logic and language. Only with the understanding of the problem of meaning, we can be able to start and lay our thinking activity, especially philosophizing, on a secure foundation of logic and epistemology that is also philsophically-responsible."

"Model PARADIGM untuk Anjungan Tunai Mandiri (ATM) adalah model dari suatu rancangan sistem untuk ATM yang direpresentasikan menjadi himpunan State Transition Diagram (STD). Sebelum diimplementasikan pada komputer, sebuah model dari suatu rancangan sistem sebaiknya terlebih dahulu diterjemahkan menjadi pseudocode agar lebih mudah dibuat koding programnya. Tugas akhir ini membahas bagaimana model PARADIGM untuk ATM diterjemahkan menjadi pseudocode dalam bahasa Propositional Linear Temporal Logic (PLTL) dengan bantuan algoritma penerjemah. "

"Mathematical logic for computer science is a mathematics textbook with theorems and proofs. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student has learned from elementary systems.The logical systems presented are propositional logic, first-order logic, resolution and its application to logic programming, Hoare logic for the verification of sequential programs, and linear temporal logic for the verification of concurrent programs."