Kode MK Nama MK SKS Prasyarat Deskripsi Topik Buku Acuan Tujuan Pemelajaran

CSIM603124 Sistem Interaksi 3 Perancangan & Pemrograman Web Capaian pembelajaran mata kuliah ini adalah mahasiswa Pengantar Sistem Interaksi (Human-Computer Interaction); Sharp, H., Rogers, Y, and Preece, J. (2015). Interaction design: Mahasiswa mampu menjelaskan hubungan antara
mampu menerapkan prinsip-prinsip sistem interaksi dalam Prinsip-prinsip dasar psikologi (cognition); Beyond human computer interaction 4th edition. West Sussex, Interaction Design dan Human-Computer Interaction.
mengembangkan sebuah aplikasi atau menawarkan sebuah Interaksi Sosial; England: J ohn-Wiley & Sons. Mahasiswa mampu menjelaskan prinsip-prinsip dasar
alternatif disain interaksi yang lebih baik. Mata kuliah Interfaces; psikologi (cognition).
disampaikan melalui metode pembelajaran aktif melalui Proses Interaction Design; Mahasiswa mampu menjelaskan interaksi sosial.
diskusi kelompok kecil (small group discussion), Pengumpulan Data (Data Gathering); Mahasiswa mampu menjelaskan jenis-jenis Interfaces.
pembelajaran berbasis proyek (Project-based Learning), dan Analisis Data; Mahasiswa mampu menjelaskan proses Interaction Design.
penggunaan Learning Management System SCELE. Ruang Menentukan Requirements; Mahasiswa mampu melakukan pengumpulan data.
lingkup yang dibahas mencakup konteks historis dari human- Prototyping dan Konstruksi Sistem; Mahasiswa mampu melakukan analisis data.
computer interaction (HCI), interaction design, cognition, Evaluasi Sistem Mahasiswa mampu menentukan requirements.
teknik-teknik dalam HCI, aspek sosial dalam HCI, Mahasiswa mampu mengevaluasi produk dengan
pengumpulan dan analisis data, proses desain interaksi, menggunakan metode Usability Testing.
prototyping, dan evaluasi. Bahasa Indonesia merupakan Mahasiswa mampu membuat wireframes (mockups) atau
bahasa pengantar yang digunakan dalam mata kuliah ini. low-fidelity prototype.

CSCE604174 Basis Data Lanjut 3 Basis Data Mata kuliah ini merupakan kelanjutan dari mata kuliah Basis Overview + Review; Indexing, Physical data organization; Monitoring and Tuning the Operational System; Transaction (1) Elmasri and Navathe, Fundamental of Database Systems (1) Mahasiswa dapat merancang dan mengimplementasikan
Data. Mata kuliah ini akan mencakup topik-topik lanjutan Processing Concept and Theory; Concurrency Control Techniques; Database Recovery; Database Security; Query 7th Edition, Addison-Wesley, 2004 (2) Silberschatz, Korth and basisdata dalam skala besar, dengan mempertimbangkan
terkait dengan implementasi atau pengembangan Sistem Processing; Query Optimization; Data Warehouse; Data mining; Distributed database; Data Management Sudarshan, Database System Concepts, 5th Edition, Mc Graw kinerja dan aspek multi user. (2) Mahasiswa mampu
Manajemen Basis data (DBMS), antara lain pengorganisasian Hill, International Edition, 2006 (3) Connoly, Thomas and Begg, menjelaskan mekanisme untuk meningkatkan keamanan
data secara fisik, monitoring dan tuning kinerja operasional, Carolyn: Database 106 Sytems 4th edition, Prentice Hall, 2005 basisdata. (3) Mahasiswa mampu menerapkan beberapa
pemrosesan transaksi, kendali konkurensi, database recovery, (4) Data Management Body of Knowledge teknik sederhana data warehouse dan data mining untuk
pemrosesan dan optimisasi kueri, dan pengetahuan masalah kehidupan nyata. (4) Mahasiswa mengetahui
mengenai teknologi dalam menangani data. langkah-langkah yang perlu dilakukan dalam manajemen
data.

CSCE604228 Teknik Kompilator 4 Struktur Data & Algoritma, Teori Bahasa & Automata Mata kuliah ini membahas beberapa teknik pembuatan
kompilator untuk sebuah bahasa pemrograman yang
didefinisikan oleh tata bahasa tertentu. Teknik-teknik ini akan variable declaration; Atribute operation – type checking; Example of Semantic analyser – Context Checker; Run-Time Suhartanto, Model Pemroses Bahasa Pemrograman Dengan
dibahas sesuai dengan tahapan pemrosesan sebuah
kompilator, yaitu pembacaan kode sumber, analisis tata
bahasa, serta pembentukan kode. Topik-topik yang dibahas
antara lain analisis leksikal, tabel simbol, parsing, syntax-
directed translation, type checking, target code generation,
optimasi kode, dst. Mahasiswa akan dilatih dengan tugas
perancangan kompilator sederhana
Function and the use of compilator techniques; Leksikon analyser; Introduction to Grammar; Parsing Tree and (1) Compilers: Principles, Tehchniques, and Tools. Aho, A. V., (1) Jika diberikan sebuah token, mahasiswa dapat membuat
derivation, Parsing Shift and reduction; Parsing SLR and LALR; Linear table and Hash; Operation of symbol table; Name/ Sethi, R., Ullman, J. D. Addison Wesley 1986 (2) Heru sebuah ekspresi reguler serta program efisien yang dapat
mengenali token tersebut (2) Mahasiswa memahami tata
Environtment; Storage Alocation technique; Code Generating; Optimization, review on current compiler developments. tools berbasis Java, 2006 bahasa dan mampu membuat tata bahasa serta tabel
penguraiannya, dan dapat membuat sebuah pengurai yang
efisien dan tidak rancu (3) Mahasiswa dapat membangun
komponen analisis semantik dan menggabungkannya dengan
parser untuk menghasilkan kompilator lengkap (4)
Mahasiswa memahami alokasi penyimpanan pada
kompilator dan cara mengimplementasikannya (5)
Mahasiswa memahami bahasa rakitan sebagai tujuan akhir
dari kompilator (6) Mahasiswa dapat menciptakan kompilator
yang dapat berjalan

CSCE604241 Grafika Komputer 3 Aljabar Linier, Struktur Data & Algoritma Mata kuliah ini meliputi penjelasan sistem grafika, algoritma Introduction to graphical systems: History of computer graphics, graphical systems: raster, vector, display, interaction (1) Interactive Computer Graphics: A Top-Down Approach Setelah mengikuti kuliah ini, mahasiswa mampu memahami
penanganan elemen-elemen dasar grafika, sistem 2D dan 3D, devices, applications; OpenGL: Introduction; OpenGL Tutorial: building simple interactive computer graphics program Using Open-GL 6th Ed. Edward Angel, Addison Wesley, 2012 dasar-dasar pembentukan primitif grafika, konsep dan
model iluminasi, model obyek, kurva dan permukaan. using OpenGL; Graphical primitives: algorithm for lines, circle, ellips, poligon filling; 2D Transformation & clipping: 2D (2) Comptuer Graphics with OpenGL 3rd Ed., Donald Hearn & penerapan sistem koordinat baik 2 dimensi maupun 3
Peserta kuliah melatih pemrograman melalui tugas coordinate systems, line and poligon clipping algorithms, 2D transformations; 3D concepts and transformations and Pauline Baker, Prentice Hall, 2004 (3) Computer Graphics: dimensi beserta transformasi dan proyeksinya, pembentukan
menggunaka bahasa OpenGL, baik secara perorangan viewing: 3D coordinate systems and transformations; 3D viewing: 3D viewing, Hidden surface elimination; Hierarchical Principles and Practice 2nd Ed. In C, Foley, vanDam, Feiner, objek 2 dimensi dan 3 dimensi dengan sistem
maupun secara kelompok Modelling: 3D object models and modelling, case study: robot model; Hierarchical Modelling: 3D object models and Hughes, Addison Wesley, 1997 pencahayaan,pembentukan kurva dan permukaan dengan
modelling, case study: robot model; Illumination models: Color systems: illumination models; Shading: Flat, smooth aproksimasi dan interpolasi, berbekal penguasaan
and phong shading, shadow construction; Rendering using images: Texture mapping; Curves and surfaces: pemrograman grafika komputer dengan menggunakan
Interpolation and approximation curves: Hermit, Bezier and Spline curves and surfaces, NURBS; OpenGL dalam bahasa C

CSCE604243 Kriptografi & Keamanan Informasi 4 Jaringan Komputer, Statistika & Probabilitas, Matematika Matakuliah ini mengajarkan kriptografi dan keamanan Classical encryption techniques; Block ciphers; Data Encyption Standard (DES ); Number theory; Finite fields; Advanced (1) William Stallings. Cryptography and Network Security: Matakuliah ini bertujuan mengajarkan dasar-dasar dan teknik
Diskret 1, Matematika Diskret 2 informasi yang meliputi dasar-dasar matematik, algoritma, Encryption Standard (AES); Block cipher modes of operations; Pseudorandom number generation; Stream ciphers; Principles and Practice. 7th Edition. Prentice Hall, 2016. (2) Kriptografi serta aplikasinya untuk Keamanan Informasi.
protokol, security engineering, beserta aplikasi-aplikasinya Public-key cryptography; Cryptographic hash functions; Message Authentication Codes; Digital signatures; Key Christof Paar and Jan Pelzl. Setelah mengikuti matakuliah ini, mahasiswa mampu
dalam berbagai aspek. management; User authentication; Security Engineering; Special topics. Understanding Cryptography: A Textbook for Students and menjelaskan dan menerapkan dasar-dasar kriptografi secara
Practitioners. benar, jelas dan sistematis yang meliputi: symmetric ciphers,
Springer, 2010. (3) Ross J. Anderson. Security Engineering: A asymmetric ciphers, digital signatures, cryptographic hash
Guide to Building Dependable Distributed Systems. Second functions, key management, security engineering.
Edition. Wiley, 2008.

CSCE604271 Layanan & Aplikasi Web 3 Jaringan Komputer, Perancangan & Pemrograman Web Mata kuliah ini membahas pengembangan aplikasi dan Review HTML, XML; Server scripting: JSP, PHP, NodeJS, etc; Cookies & Session; Databases including database for big Murat Yener, Alex Theedom. Professional Java EE Design (1) Mahasiswa dapat menjelaskan konsep-
layanan perangkat lunak yang menggunakan teknologi web data SQL, JDBC, DAOs, MongoDB; Model View Controller; Component Based Web Application: ANgularJS/REACT; Web Patterns. Wrox, 2015. konseppemrograman server aplikasi web
terkini. Topik-topik yang dibahas meliputi: review singkat Security (Including SS L); Web Service (SOAP/REST); Internationalization; Scalability & Performance Issues; (2) Mahasiswa dapat membuat aplikasi web
mengenai standar-standar HTML dan XML, teknologi web dinamis dengan teknologi terbaru
service berbasis Servlet, Tomcat, JSP, isu teknis seperti
cookies & session, SQL, JDBC, DAOs, JavaBeans &
BeanFactories, paradigma MVC (Model View Controller), JSP
Standard Tag Library, Security (Including SS L), Web Service
(SOAP/WSDL/UDDI), Frameworks, Internationalization,
Scalability & Performance Issues

CSCE604121 Game Development 3 Struktur Data & Algoritma Mata kuliah ini membahas perancangan dan implementasi Elements of game design, game design & development process, game mechanics, game balance, game engine, game
videogame dari berbagai sudut pandang. Pembahasan isu
difokuskan pada filosofi game design seperti elements,
themes, mechanics, balance, story, worlds, aesthetics, dst.
Namun aspek teknis seperti teknologi, platform, dan tool
pengembangan game juga akan dibahas. Peserta kuliah akan
dilatih melalui beberapa tutorial dan tugas untuk merancang
dan mengembangkan game sederhana, dan juga harus
mengerjakan proyek kelompok berupa perancangan dan
pengembangan sebuah game yang mengikuti keseluruhan
siklus proses game development.
[1] Fullerton, Tracy. Game design workshop: a playcentric 1) Mampu merancang pengalaman (experience) dalam
interface, interest curve, narrative development, game flow, playtesting, social & cultural issues, pitching approach to creating innovative games. CRC press, 2014. sebuah game; 2) Mampu merancang narasi cerita dalam
[2] Schell, J esse. The Art of Game Design: A book of lenses. sebuah game; 3) Mampu merancang dan implementasi
CRC Press, 2014. mechanics dalam sebuah game; 4) Mampu melakukan
[3] Hunicke, Robin, Marc LeBlanc, and Robert Zubek . "MDA: A observasi dan wawancara dalam kegiatan uji coba permainan
formal approach to game design and game research." (playtesting); 5) Mampu bekerja sama dalam sebuah tim; 6)
Proceedings of the AAAI Workshop on Challenges in Game AI. Mampu mempromosikan game sebagai produk komersil; 7)
Vol. 4. No. 1. 2004. Mampu mengevaluasi game secara kritis ;8) Mampu
melakukan evaluasi diri terhadap proses pengembangan
game yang telah dilalui ;9) Mampu menjelaskan rancangan
game di depan umum; 10) Mampu membuat dokumentasi
rancangan game; 11) Mampu membuat sebuah purwarupa
(prototype) permainan dalam bentuk analog ataupun digital;
12) Memahami perbedaan game dengan media hiburan
lainnya; 13) Memahami berbagai peran yang dapat terlibat
dalam proses pengembangan game; 14) Memahami peran
perancang game (game designer); 15) Memahami elemen
tetrad, yaitu mechanics, story, aesthetic, dan technology yang
terkandung dalam sebuah game; 16) Memiliki pengalaman
menggunakan tools pengembangan game terkini (state-of-
the-art); 17) Memiliki pengalaman berpartisipasi dalam
proses pengembangan game; 18) Mengetahui isu-isu sosial
dan budaya dalam industri game; 19) Mengetahui proses dan
aktivitas-aktivitas dalam pengembangan game

CSCE604129 Pemrograman Paralel 4 Sistem Operasi, Aljabar Linier, Matematika Dasar 2, Dasar- Mata kuliah ini mencakup teori konkurensi dan paralelisme, A. Pengenalan komputasi kinerja tinggi dan terdistribusi: apa itu (Distributed and HighPerformance Computing) DHPC, (1) Vladimir S ilva, Grid Computing for Developers, Charles memberikan mahasiswa konsep proses-proses yang
dasar Pemrograman 2 sejarah mesin berkinerja tinggi, dan cara pemanfaatan sejarah DHPC, aplikasi & penerapan DHPC. B. Arsitektur HPC: jenisjenis arsitektur HPC serta perkembangannya; mesin River Media, Inc, ISBN: 1-58450-424-2, year 2006; (2) David B memerlukan komputasi kinerja tinggi, arsitektur komputasi
fasilitas komputasi kinerja tinggi seperti komputasi pada MIMD; komputasi berbasis klaster serta klaster PC Beowulf.; A. Model pemrograman paralel, parameterisasi, analisis Kirk, Wen-mei W. Hwu, Programming Massively Parallel kinerja tinggi, memberikan mahasiswa kemampuan untuk
Cluster dan GPU. Mahasiswa akan diajarkan teori mengenai kinerja, efisiensi, benchmarking sistem HPC, pemrograman pada komputer parallel, bahasa paralalel, kompilator Processors, Morgan Kaufmann, 2010 (3) Cluster computing menganalisis masalah yang perlu teknologi komputasi kinerja
paradigma pemrograman paralel, konsep mesin SIMD dan pemaralel, pemrograman message passing dan data parallel; A. Paradigma pemrograman data paralel, 151 latar international conference proceeding, tinggi, memberikan mahasiswa kemampuan pemecahan
MIMD, serta isu-isu seperti shared memory, mutual belakang dan pemakaian mesin SIMD, sintak array, Fortran 90 dan HPF, pemrograman shared memory, threads dan http://www.buyya.com/clustercomp/ (4) Cluster computing masalah dalam lingkungan komputasi Cluster dan GPU
exclusion, dan semaphores, dan juga dibekali dengan Open MP; B. pemakaian mesin shared memory, mutual eksklusi, locks, semaphores and monitors, parallel java, information centre, http://www.gridbus.org/~raj/cluster/ (5)
pengetahuan praktis mengenai standar-standar terkini pemrograman memakai Open MP; A. komputasi klaster, pemrograman message passing dan MPI; B. Sejarah dan Grid Info Ware, http://www.gridcomputing.com/ (6)
seperti Open MP, CUDA, dst pemakaian mesin MIMD, pemrograman dengan mPI, middlewares komputasi tersebar; General Purpose on GPU http://www.singlehop.com/cloud/ (7) Cloud Computing
(Graphical Processing Unit) Computing : Cuda, OpenCL,; General Purpose on GPU (Graphical Processing Unit) Journal, http://cloudcomputing.sys-con.com/ (8) GPGPU.ORG,
Computing: Cuda, OpenCL,; Pengantar Komputasi Grid; Pengantar Komputasi Cloud http://gpgpu.org/ (9) OpenCL,
http://www.khronos.org/opencl/, 10. Thomas Rauber dan
Gudula Runger, Parallel Programming for Multicore and
Cluster Systems, Springer, 2010, ISBN 978-3-642-04817-3

CSCE604222 Pemrograman Logika 4 Matematika Diskret 1, Dasar-dasar Pemrograman 1 Mata kuliah ini memperkenalkan prinsip-prinsip
pemrograman berbasis logika formal (paradigma
pemrograman logika) yang mencakup teori yang mendasari negasi, input dan output, manipulasi basis data, teknik pemrograman); Aplikasi dengan pemrograman logika, Materi Blackburn, Johan Bos, and Kristina Striegnitz. Learn Prolog
paradigma pemrograman logika dan aspek praktis
pemrograman dengan menggunakan bahasa pemrograman
Prolog. Penerapan aspek-aspek ini akan didemonstrasikan
melalui pengembangan aplikasi dengan menggunakan Prolog
atau ekstensinya. Di samping itu, mata kuliah ini juga
membahas perkembangan terkini dari paradigma
pemrograman logika.
Sintaks dan semantik logika predikat; Unifikasi dan resolusi (resolusi linier dan resolusi SLD); Sintaks dan semantik (1) Ivan Bratko. PROLOG: Programming for Artificial Pada akhir mata kuliah ini, peserta diharapkan dapat: (1)
program logika (deklaratif, prosedural, dan fixpoint); Pemrograman logika dengan Prolog (list, aritmatika, operator, cut, Intelligence, 3rd Edition, Addison-Wesley, 2001 (2) Patrick Menjelaskan konsep-konsep dasar yang merupakan fondasi
dari
pengayaan tentang perkembangan terkini dari paradigma pemrograman logika. Now. http://www.learnprolognow.org/ (3) Krzysztof Apt. From pemrograman logika: logika predikat dan resolusi.
Logic Programming to Prolog, 1st Ed., Prentice Hall, 1997. (2) Menjelaskan sintaks dan semantik dari program logika.
(3) Menerapkan paradigma pemrograman logika
(menggunakan Prolog atau ekstensinya) untuk memecahkan
permasalahan.
(4) Menjelaskan karakteristik paradigma pemrograman logika
sebagai pemrograman deklaratif dan
perbedaannya dengan paradigma pemrograman lainnya.
(5) Memaparkan topik-topik terkini dari pemrograman logika.

CSCE604126 Penjaminan Mutu Perangkat Lunak 4 Rekayasa Perangkat Lunak Mata kuliah ini meliputi topik-topik yang terkait dengan The Software Quality Challenge; Software Quality Factors; Components of a Software Quality Assurance System; Pre- Software Quality Assurance, by Daniel Galin, Pearson Peserta yang lulus mata kuliah ini diharapkan: (1) mengetahui
penjaminan mutu perangkat lunak. Mata kuliah ini Project Software Quality Components; Group Presentation; Development and Quality Plans;; SQA Components in the Education Limited, 2004 standar industri dalam penjaminan mutu perangkat lunak (2)
mempelajari penggabungan berbagai teknik dan komponen Project Life Cycle; Group Presentation; Software Testing Strategies and Implementation; S oftware testing tools and best memahami prinsip-prinsip dasar PMPL (3) dapat menghitung
PMPL, seperti: kegiatan PMPL yang biasanya dilakukan pihak practices; Assuring the Quality of External Participants; CASE Tools and Their Effect on Software Quality; Group biaya, manfaat, dan kepentingan dari PMPL (4) mengetahui
eksternal, penerapan aktivitas PMPL terhadap penjadwalan Presentation; Staff Training and Certification; Corrective and Preventative Actions; Configuration Management kegiatan-kegiatan PMPL dan 167 mampu menerapkan
proyek dan kendali anggaran, isu-isu implementasi PMPL, kegiatan tersebut dalam sebuah proyek (5) dapat melakukan
pertimbangan manajemen risiko PMPL, dan biaya yang audit terhadap implementasi PMPL berdasarkan suatu
terkait dengan PMPL. Mata kuliah ini juga membahas isu standar mutu
mutu sepanjang proses pengembangan perangkat lunak,
termasuk rancangan, implementasi, pengujian, dan
pengoperasian. Isu-isu terkait dengan kegiatan praproyek dan
pasca-proyek juga akan dibahas. Standar mutu yang relevan
juga akan dibahas

CSCE604131 Jejaring Semantik 3 Sistem Cerdas, Perancangan & Pemrograman Web Mata kuliah ini membahas tentang dasar dari teknologi Introduction to Semantic Web: the Web vs. the Semantic Web; Semantic Web information model: XML, RDF - Syntax, (1) Pascal Hitzler, Markus Krötzsch, Sebastian 124 Bacaan (1) Peserta memahami konsep representasi pengetahuan dan
Semantic Web yang digunakan untuk merepresentasikan Exchanging Information with RDF; RDF - Schema, Ontology with RDF, RDF - Semantics; OWL Ontology - Syntax and Rudolph. Foundations of Semantic Web Technologies. bentuk data semi-terstruktur untuk representasi
pengetahuan serta teknik untuk memperkaya web dengan (Description Logic based) Semantics; OWL Ontology - Syntax and (Description Logic based) Semantics; OWL Inference - Chapman & Hall/CRC, 2009 (2) John Hebeler, Matthew Fisher, pengetahuan (2) Peserta dapat melakukan markup,
semantic data yang dapat diproses oleh mesin. Teknologi Tableaux Calculus; Modeling knowledge in the real world with OWL - Working with ontologies; Querying the S emantic Ryan Blace, Andrew Perez-Lopez. Semantic Web Programming. pemrosesan, konversi, serta komunikasi data dalam bentuk
semantic web memungkinkan representasi pengetahuan dan Web - SPARQL; Adding Rules - Semantic Web Rule Languages; Building Semantic Web Applications - Programming Wiley Publishing, 2009 (3) Dean Allemang, Jim Hendler. semi-terstruktur (3) Peserta dapat merepresentasikan
pemrosesan lebih lanjut data pengetahuan untuk Framework; Combining Semantic Web Information; Aligning Semantic Web Information; Information Sharing in Semantic Web for the Working Ontologies. Morgan Kaufmann, pengetahuan dengan menggunakan RDF, RDFS, dan OWL (4)
menghasilkan pengetahuan baru. Representasi pengetahuan Semantic Web - RDFa; Future issues - Semantic Web services, Spatiotemporal Data in Semantic Web, Semantic Web 2008 Peserta dapat merancang ontology untuk sebuah domain (5)
dengan menggunakan konsep dasar semantic web dalam Patterns Peserta dapat membangun aplikasi sederhana berbasis
perkuliahan ini akan memungkinkan integrasi Semantic Web (6) Peserta dapat mengelola data
data/pengetahuan dengan data/pengetahuan lain yang pengetahuan menggunakan triple-stores atau menggunakan
sangat besar yang sudah mulai tersedia di internet. object-based database

CSCE604225 Metode Formal 4 Struktur Data & Algoritma, Matematika Diskret 1, Mata kuliah ini ditujukan untuk memenuhi kebutuhan Argumentation; Natural Deduction for Propositional Logic; Logical Equivalence; Propositional Logic as a Formal (1) Michael Huth, Mark Ryan. Logic in Computer Science: Mata kuliah ini bertujuan untuk memberikan ketrampilan
Matematika Diskret 2 terhadap kerangka pendekatan formal dalam rangka Language; Semantics of Propositional Logic; Soundness of Propositional Logic Forms; Completeness of Propositional Modeling and Reasoning about Systems. Second Edition, dasar dalam memanfaatkan dan melakukan penalaran
pembuatan perangkat lunak kritis yang bermutu tinggi. Logic; Conjunctive Normal Form (CNF); Negation Normal Form (NNF ); Horn Clauses; Natural Deduction for Predicate Published by Cambridge University Press, United Kingdom, menggunakan kerangka formal dalam rekayasa perangkat
Kuliah ini memberikan landasan yang kokoh berbasis logika, Logic; Predicate Logic as a Formal Language; Syntax of Predicate Logic; Semantics of Predicate Logic; Lineartime 2004 (2) J ean-Francois Monin, Michael G. Hinchey. lunak
perkenalan terhadap beberapa kerangka logika yang Temporal Logic; Syntax of Linear-time Temporal Logic (LTL); Semantics of Linear-time Temporal Logic (LTL); Semantically Understanding Formal Methods. Published by Springer-Verlag
digunakan dalam pemodelan dan penalaran sistem Equivaleces between LTL formulas Adequate sets of connectives for LTL; Model Checking in LTL; Branching-time London Limited, 2003
komputer. Hal ini membutuhkan pelatihan formal yang Temporal Logic; Syntax of Computational Tree Logic (CTL); Semantics of Computational Tree Logic (CTL); Semantically
memungkinkan peserta kuliah untuk memiliki ketrampilan Equivalences between CTL formulas; Adequate sets of connectives for CTL; Combination of LTL and CTL Logic: CTL*;
dalam menggunakan kerangka yang ada Syntax of CTL*; Semantics of CTL*; Semantically Equivalences between CTL* formulas; Model Checking Algorithm in
CTL; Pseudo-code of the CTL Model Checking Algorithm; CTL Model Checking with Fairness

CSCE604233 Penambangan Data 3 Basis Data, Sistem Cerdas Mata kuliah ini memperkenalkan konsep-konsep dasar serta Introduction; Data Preprocessing; Data Warehouse and OLAP Technology: An overview; Data Cube Computation and Han, J. and Kamber, M., Data Mining: Concepts and (1) Memahami proses dan isu yang terkait dalam
masalah, metode, serta teknik dalam penambangan data Data Generalization; Mining Frequent Patterns, Association and Correlations; Classification and Prediction; Cluster Techniques, 2nd Edition, Morgan Kaufmann, 2006 penambangan data (2) Mempelajari berbagai teknik
Analysis; Mining Stream, Time series and Sequence Data; Mining Stream, Time series and S equence Data; Graph penambangan data untuk data stream, series, sequence,
Mining; Social Network Analysis; Mining Object, Spatial and Multimedia Data; Mining Text; Mining Web Data text, danweb (3) Menerapkan teknik-teknik di atas untuk
menyelesaikan masalah penambangan data

CSCE604123 Pemrograman Fungsional 4 Struktur Data & Algoritma Tujuan dari mata kuliah ini adalah untuk memperkenalkan History and motivation of Functional Programming. Functionally solving problem; Imperative commands versus (1) Larry Paulson, ML for the Working Programmer. 2nd Pada akhir mata kuliah ini, peserta diharapkan dapat: (1)
prinsip- prinsip pemrograman deklaratif, dalam hal ini dengan functional expressions. Evaluation strategies: call-by-value, call-by-name, call-by-need. Lazy evaluation. type system; edition, Cambridge University Press, 2000 (2) Simon mengembangkan perangkat lunak menggunakan sebuah
paradigma pemrograman fungsional. Mata kuliah ini juga polymorphism. Structured types: tuples, lists, functions; Lists and recursion; Functions on lists: length, reverse, Thompson. Haskell: The Craft of bahasa pemrograman functional (2) memahami dan
memperkenalkan beberapa prinsip lanjutan dari append; Sorting lists. Datatypes; Pattern matching; Raising and handling exceptions. Modules. Further datatypes. Functional Programming. Addison Wesley menjelaskan konsep-konsep utama dalam membuat program
pemrograman fungsional yang dimiliki oleh bahasa Binary search trees. Higher order functions. Lambda calculus. Curried functions. Functionals: list summation, map, Longman Limited, 2nd Ed. 1999 dengan gaya fungsional dan rekursif, serta
pemrograman yang digunakan. Perkuliahan akan diawali matrix multiplication, list folding. This course also discuss a selection of advanced/latest topics, such as: monad, (3) John Harrison Lecture notes on Functional (3) memahami bagaimana memanfaatkan
dengan memberikan dasar-dasar pemrograman fungsional, functor. concurrency & paralellism in functional programming. Application Framework, Proofs of functional programs; Programming (4) pemeriksaan tipe untuk membuat program yang
termasuk type system, hingga higher order function. Pada Program specification and verification; Induction; Structural induction on lists and on trees. It also possible that the Fred Hebert, Learn You Some Erlang for Great Good!, No lebih jelas dan dengan tingkat kebenaran lebih tinggi
paruh kedua perkuliahan akan didiskusikan isu-isu terkini dari topic is delivered in the form of application of case studies or mini projects. Starch Press, 2013, available free-online: (mengurangi run-time error)
pemrograman fungsional dan penerapan pada sebuah http://learnyousomeerlang.com/
permasalahan.

CSCE604183 Pengajaran Berbantuan Komputer 3 Perancangan & Pemrograman Web Mata kuliah ini membahas dasar-dasar pengajaran dan Pengantar Mata Kuliah Pengajaran Berbantuan Komputer & Tinjauan Sejarah mengenai Pembelajaran dan Tek nologi; Harasim, L. (2012). Learning theory and online technologies. Tujuan dari mata kuliah ini adalah Anda dapat
pembelajaran menggunakan teknologi komputer. Topik yang How People Learn (Learning: From Speculation to Science); New York: Routledge. mengaplikasikan prinsip-prinsip strategi instruksional untuk
dibahas meliputi prinsip pembelajaran dasar, proses How People Learn (Mind and Brain); Stephensen, J. (2001). Teaching & Learning online: Pedagogies mendisain computer-based instruction. Setelah mengikuti
pembelajaran dan memori pada manusia, teori pembelajaran Dasar-dasar Instruksional: Konsep Pedagogi dan Online Pedagogy; for new technologies. London: Routledge Falmer, 2001 matakuliah, mahasiswa diharapkan mampu:
(cognitivism, behaviorism, & constructivism), pembelajaran Teori Pembelajaran Behaviorism; 1. menjelaskan sejarah perkembangan pemanfaatan
tatap muka vs. jarak jauh, konten multimedia, evaluasi Pedagogi dan Teknologi Pembelajaran Behaviorism; teknologi atau komputer dalam pembelajaran;
berbagai sistem manajemen pembelajaran (learning Teori Pembelajaran Cognitivism; 2. memahami teori-teori pembelajaran dan representasinya
management system atau LMS). Selain itu, dibahas pula isu- Pedagogi dan Teknologi Pembelajaran Cognitivism; dalam instruksional pembelajaran berbasis komputer;
isu terkini dalam lingkungan pembelajaran berbasis Teori Pembelajaran COnstructivism; 3. mengaplikasikan prinsip-prinsip disain instruksional dalam
komputer, seperti Massive Open Online Course (MOOC) dan Pedagogi dan Teknologi Pembelajaran Constructivism; perancangan sistem pembelajaran berbasis komputer;
personalized learning. Metacognition; 4. mendeskripsikan tren penelitian dan pengembangan
Kajian Metacognition dalam Pembelajaran Online sistem instruksional pembelajaran berbasis komputer; dan
Self-Regulated Learning; 5. menjelaskan perbedaan karakteristik pembelajaran tatap
Kajian Self-Regulated Learning dalam Pembelajaran Online; muka dan jarak jauh.
Multimedia Learning;
Disain Matakuliah untuk Pembelajaran Online;
Online Collaborative Learning Theory;
Isu Kontemporer 1: Massive Open Online Course (MOOC);
Isu Kontemporer 2: Personalized Learning
Isu Kontemporer 3: Learning Analytics and Educational Data Mining;
Isu Kontemporer 4: Gamification in e-Learning system;

CSCE604179 Teknologi Mobile 3 Jaringan Komunikasi Data (SI) atau Jaringan Komputer (IK) Mata kuliah ini merupakan pengantar bidang komunikasi Introduction; Mobile Network Layer; Mobile Adhoc Networks; Wireless Sesor Network and Zigbee; Transport Jochen H. Schiller. Mobile Communications. Addison Wesley, Setelah mengambil mata kuliah ini, mahasiswa diharapkan
mobile yang ditujukan untuk memberikan gambaran umum Protocols; Support for Mobility; Future Outlook; Mobile Application Development; Smartcard, Financial Services; ISBN-10: 0321123816 mampu untuk: (1) Memahami sistem nirkabel saat ini dan
tentang penggunaan teknologi mobile dari sudut pandang Mobile Application Categories; User interface Design; Location in Android; User Centered Design; Emerging Business The Future of F inancial Services, WEF Final Report, 2015 pengembangan generasi teknologi mobile (2) Memahami
ilmu komputer. Dimulai dari teknologi infrastruktur Model; Mobile Security and Applications; Mobile Technology evolution Android User Interface Design, Francesco Azola, 2014 prinsip prinsip pengembangan aplikasi mobile (3)
pendukungnya (GSM, CDMA, WIMAX, LTE) dilanjutkan juga Menerapkan konsep-konsep yang dipelajari di kelas untuk
dengan trend teknologi tersebut. Selanjutnya dibahas dalam menyelesaikan proyek yang diberikan
dampak mobilitas pada aplikasi komputer. Kemudian peserta
diminta mengusulkan aplikasi mobile yang dianggap penting
sesuai dengan keadaan masyarakat saat ini dengan
memperhatikan juga potensi pasarnya. Kemudian secara
bertahap dibahas hal hal yang diperlukan untuk
mengembangkan aplikasi mobile dimulai dari User Interface,
penggunaan lokasi, masalah keamanan serta kemajuan
teknologi mobile terkini. Sementara itu mahasiswa juga
melanjutkan pengembangan aplikasi masing masing
menggunakan teknik teknik proyek perangkat lunak sambil
menerapkan pengetahuan yang didapat dari kelas.

CSCE604227 Topik Khusus Bidang Minat Teknologi Perangkat Lunak 3 100 sks Mata kuliah ini akan membahas perkembangan riset dan
teknologi terkini pada bidang teknologi perangkat lunak. Isi
materinya akan disesuaikan dengan isu-isu terkini pada saat
mata kuliah ditawarkan
- - (1) Mampu memahami perkembangan teknologi perangkat
lunak terkini (2) Mahasiswa dapat menjelaskan bagaimana
teknologi tersebut berkembang (3) Dapat memberikan
usulan ide perkembangan teknologi perangkat lunak dimasa
depan 206 Topik Materi disesuaikan dengan perkembangan
terkini pada bidang ilmu teknologi perangkat lunak. Materi
diambil dari jurnal/conference paper berkualitas terkini

CSCE604133 Pengolahan Citra 3 Aljabar Linier, Matematika Dasar 2, Struktur Data & Mata kuliah ini membahas metodologi pengolahan data Introduction to Digital Image Processing: The relation between Image Processing, Computer Graphics, Pattern Digital Image Processing 3rd Ed. Prentice Hall, R.C. Gonzalez Setelah mengikuti kuliah ini, mahasiswa diharapkan: (1)
Algoritma berupa citra atau image 2D, serta konsep dasar pengenalan Recognition/Computer Vision/Artificial Intelligence fields, Various digital image processing applications; Image and R.E. Woods 2008 memiliki keterampilan untuk menerapkan teknik-teknik
pola (pattern recognition), yang dapat Processing Methodology: Fundamental steps in Image Processing, Components of Image Processing System; Human pengolahan citra antara lain meningkatkan kualitas citra,
diaplikasikan pada berbagai bidang seperti penginderaan Visual System: Human visual system and camera system model, Data acquisition, World to image system mengidentifikasi objek-objek dalam citra,
jauh, diagnosa medis, pengolahan dokumen, robotika, dll. transformation, Radiometric and Geometric; Spatial-domain Image Enhancement: Point Processing, Mask Processing, mengkompresi data citra; dan (2) memiliki kemampuan
Topik yang akan dibahas antara Low and high pass filtering, linier and non-linier filtering, and edge detection; Pengenalan MATLAB; Image untuk mengusulkan metodologi dalam penyelesaian
lain konsep dasar citra dijital, transformasi citra, peningkatan transformation: Image transformation concept, Fourier,Hadamard-Walsh,Discrete Cosine and Wavelet transform; masalah-masalah yang berkaitan dengan interpretasi dari
mutu dan restorasi, transformasi warna, morfology, Frequency-domain Image Enhancement: Spatial to frequency domain image transformation, Low pass filtering and data input berbentuk citra.
pemampatan, segmentasi, ekstraksi dan seleksi fitur, high pass filtering, Correlation and convolution; Color transformation: RGB, CMY, HSI, YUV, YIQ color model, Intensity
clustering, klasifikasi citra, performance evaluation, and bit slicing, image smoothing and sharpening; Image Restoration: Noise model, Data and information fusion; Image
intelligent multimedia information processing, soft Compression: Relative data redundancy, coding redundancy, interpixel redundancy, psychovisual redundancy, and
computing, serta self-taught learning. Mahasiswa akan dilatih image compression model, Elements of information theory, lossy and error-free compression, and Karhunen-Loeve
dengan tugas pemrograman menggunakan bahasa C++, Java, transformation; Morphological Image Processing: Dilation and erosion process, Open and close process, Watershed
atau Matlab, baik secara individu maupun kelompok. transform; Image Segmentation: Top-down and bottom-up approach, edge and region-based segmentation,
Thresholding, region growing, split and merge; Feature extraction and selection: Color, texture, shape features, Feature
selection, feature fusion and normalization, and quality measures; Clustering and Classification: Unsupervised and
supervised classifier, Statistical classifier and Soft computing, and performance evaluation; Advanced Topics:
Intelligent Multimedia Information Processing, Ensemble Classifier, Self-taught Learning
CSCE604210 Teori Informasi 3 Statistika & Probabilitas, Matematika Dasar 2 Teori informasi mempelajari batas-batas mendasar dalam Introduction to information theory: possibility of reliable communication over unreliable channels; Probability, (1) Elements of Information Theory, Thomas M. Cover, Wiley Memahami bagaimana nilai atau kandungan informasi
transmisi dan penyimpanan informasi. Mata kuliah ini entropy, conditional entropy, mutual information; Asymptotic Equipartition Property (AEP), the idea of typicality and Publication, 2006 (2) Information Theory, Inference, and direpresentasikan dengan konsep entropy, menerapkan
memberikan pengenalan umum mengenai teori informasi the use of typical sets for source coding; Entropy Rates of Stochastic Process, Markov Chain; Data Compression: Learning Algorithms, David J.C. MacKay, Cambridge University konsep-konsep teori informasi pada bidang kompresi data,
serta aplikasinya: entropy dan informasi, kompresi data, Optimal Codes, Shannon's source coding theorem, Uniquely decodable codes and the Kraft-MacMillan inequality, Press, 2004 kanal komunikasi, dan pemisahan sumber-kanal.
komunikasi dengan munculnya derau, kapasitas, pengkodean Completeness of a symbol code, Prefix Codes, Huffman Codes, Arithmetic coding; Definition of channel capacity,
pada kanal, dan pemisahan sumber-kanal. Capacity of binary symmetric channel, binary erasure channel; binary symmetric channel, Joint typicality, Hamming
codes, Zero-Error Codes, Feedback Capacity, Source-Channel Separation Theorem; Differential Entropy: AEP for
Continuous Random Variables, Relation of Differential Entropy to Discrete Entropy, Joint and Conditional Differential
Entropy

CSCE604235 Pemelajaran Mesin 3 Sistem Cerdas Kuliah ini membahas dasar-dasar pemelajaran mesin Introduction. Linear classification. Perceptron updating rule; Perceptron convergence. Generalization; Maximum (1) Christoper M. Bishop, Pattern Recognition & Machine Memahami dasar-dasar dari pemelajaran mesin, mengetahui
(machine learning), yaitu teknik pengembangan perangkat margin classification. Classification errors regularization. Logistic & Linear regression; Active learning. Kernels. Kernel Learning, New Yourk, Springer. 2006 (2) Duda, Richard, Peter beberapa variasi teknik pemelajaran mesin, dapat
lunak yang dapat menghasilkan model untuk menjelaskan regression; Suppoert vector machine (SVM). Kernel Optimization; Model selection. Model selection criteria; Hart, and David Stork. Pattern Classification. 2nd Ed. New York, mengaplikasikan pada permasalahan pengenalan pola
suatu fenomena kompleks dengan cara mengamati sejumlah Description length. Feature selection; Combining classifiers. Boosting; Margin and complexity. Margin and NY: Wiley-Interscience, 2000
data. Metodemetode yang diajarkan berbasis pendekatan generalization; Mixtures Model; Expectation maximization (EM) Algorithm. EM regularization; Markov models. Hidden
statistik 147 untuk pengenalan pola, antara lain perceptron, Markov models (HMMs); Bayesian networks. Learning bayesian networks; Probabilistic inference.
support vector machines, hidden Markov models,
expectation maximization, dan lain-lain

CSCE604231 Pengolahan Bahasa Manusia 3 Teori Bahasa & Otomata, Mata kuliah ini mempelajari berbagai teknik untuk Pengenalan & Latar Belakang NLP; Morfologi; N-Gram Language Model, Kelas kata & POS tagging, algoritma Viterbi; [1] Daniel Jurafsk y & James H. Martin, "Speech and Language Peserta yang lulus dari mata kuliah ini dapat: (1) membangun
Sistem Cerdas membangun perangkat lunak yang mengolah bahasa Context F ree Grammars untuk NLP; Penguraian kalimat, chart parsing; Probabilistic CFGs; Dependency Parsing, Named- Processing: An Introduction to Natural model sederhana untuk merepresentasikan pengetahuan
manusia. Secara umum, struktur materi kuliah ini diatur Entity Recognition, Computational semantics; Lexical semantics, Word Sense Disambiguation, Word Representation; Language Processing., Computational Linguistics, and Speech linguistik pada tingkat representasi morfologi, sintaksis,
sesuai dengan tingkat representasi bahasa, mulai dari (i) Discourse modelling; Natural language generation Recognition", Prentice Hall, 2000 semantik, serta wacana, dengan memanfaatkan pendekatan
morfologi: finite state, two-level morphology, part of speech statistik maupun simbolik, (2) membangun prototipe sistem
tagging, (ii) sintaks: context free grammars, probabilistic [2] Christopher D. Manning & Hinrich Schütze, yang memanfaatkan model linguistik di atas untuk mengolah
parsing, dependency parsing; (iii) semantik: rule-based "Foundations of statistical natural language processing". MIT masukan bahasa manusia secara otomatis, dan (3)
semantic analysis; (iv) discourse: discourse structure, Press, 1999 menjelaskan isu-isu riset mutakhir apa saja yang sedang
coreference resolution.Mata kuliah ini fokus pada Natural terjadi pada komunitas peneliti NLP serta linguistik
Language Understanding, tapi juga memperkenalkan secara komputasional
singkat Natural Language Generation. Kuliah ini membahas
pendekatan simbolik dan pendekatan statistik dalam
menyelesaikan sejumlah permasalahan NLP.
Ada beberapa tugas yang melatih peserta kuliah untuk
memahami pemodelan bahasa, di mana peserta akan
membangun sebuah sistem perangkat lunak yang mampu
mengolah masukan berupa bahasa manusia. Tujuan tugas
yang diberikan adalah untuk mendukung pemahaman
konsep, melatih kemampuan praktikal, dan memberikan
pengalaman bagi mahasiswa untuk mengenali tool dan
resource NLP yang ada.

CSCE604135 Perolehan Informasi 3 Struktur Data & Algoritma Mata kuliah ini membahas konsep- konsep dasar perolehan Introduction to Information Retrieval; Corpus Statistics; Learning Perl; Text encoding: tekenization, stemming, (1) Introduction to Information Retrieval by C. Manning, P. (1) Mengetahui karakteristik data teks dan multimedia (2)
informasi dalam mengorganisir dan memperoleh kembali stopwords, proximity, phrases; Index construction; Information Retrieval Model; Information Retrieval Model; Ragahavan, H. Schutze, 2008 (2) Modern Information Retrieval Mengetahui teknik-teknik pemrosesan data dalam jumlah
data teks dan multimedia Evaluation; Relevance feedback; Web search; Question answering; Summarization; Cross-Language Information by Richardo Baeza-Yates & B. Ribeiro-Neto, 1999 besar (3) Mampu mengorganisasikan, memroses dan 171
Retrieval; Multimedia Information Retrieval melakukan pencarian data dalam jumlah besar (4) Mampu
melakukan evaluasi unjuk kerja sistem perolehan informasi

CSCE604152 Pengolahan Sinyal Dijital 3 Statistika & Probabilitas, Pengantar Organisasi Komputer Mata kuliah ini akan memfokuskan pada konsep pemrosesan Introduction and Overview; ADC & DAC; DSP Software; Convolution & Its Properties; Convolution & Its Properties; Steven W. Smith, "The Scientist and Engineer’s Guide to Digital Setelah lulus mata kuliah ini, peserta diharapkan: (1)
sinyal dijital (digital signal processing, atau DSP), baik yang Fourier Transform; Fourier Transform; Continous Signal Processing; Digital Filters, Audio Processing & Image Formation Signal Processing". 2nd edition. California Technical Publishing, Memahami konsep Pemrosesan Sinyal Digital (2) Memahami
berupa audio, video atau bentuk sinyal lain yang dihasilkan and Display; Digital Filters, Audio Processing & Image Formation and Display Data Compression; Data Compression; 1999. Electronic Edition algoritma-algoritma dasar Pemrosesan Sinyal Digital (3)
dari sensor/transducer, serta bagaimana pemrosesan Final Exam Mampu menerapkan algoritma Pemrosesan Sinyal Digital
tersebut dapat mengolah data sinyal menjadi lebih untuk aplikasi sederhana seperti 166 filter audio dan
bermanfaat untuk mendukung berbagai aplikasi. Beberapa pemrosesan sinyal video
dasar teori akan diperkenalkan seperti konversi ADC/DAC,
probabilitas dan derau, sistem linier, serta operasi konvolusi,
lalu membahas pemrosesan seperti transformasi Fourier,
berbagai jenis filter dijital, pemampatan data, serta aspek
implementasi pada mikrokontroler

CSCE604184 Sistem Informasi Geografis 3 Basis Data, Rekayasa Perangkat Lunak Mata kuliah ini membahas konsep, teori, serta teknik-teknik Introduction: Definition, History, Difference with other MIS, Characteristics; GIS Applications; Maps and Geospatial (1) C.P. Lo and A.K.W. Yeung, “Concepts and Techniques of Setelah mengikut mata kuliah ini, peserta diharapkan dapat:
untuk mengakuisisi, merepresentasikan, mengolah, dan Data: maps characteristics, coordinate systems, map projections, topographic mapping, thematic mapping; Digital GIS,” 2nd ed 2007 (2) Zhong Ren Peng and Ming-Hsiang Tsou, (1) menjelaskan konsep dasar dari peta dan akuisasi data
memanfaatkan data geospasial seperti peta (map). Topik Representation and Organization of Geospatial Data: Digital representation of geospatial data, database and DBMS, “Internet GIS”, 2003 (3) R. Tomlinsin, “Thinking about GIS,”, geospatial, representasi, kualitas dan standarisasi, (2)
yang dibahas meliputi data vektor vs. raster, representasi dan raster representation, vector representation, object oriented representation, relationship between representation and 2003; (4) P. Burrough, “Principles of GIS”; (5) M.N. Demers, menjelaskan perbedaan antara data vector dan data raster,
pengorganisasian data geospasial serta peta, kualitas dan analysis of GIS data; Geospatial Data Quality and standards: Concepts and definition of data quality, quality “F undamentals of GIS”; (6) F.S. Purwadhi, “Sistem Informasi dan dapat memproses serta mengintegrasikan nya (3)
standar data geospasial, integrasi GIS dan remote sensing, components of geospatial data, data assessments, managing error of geospatial data, geospatial data standard; GIS Geografis”; (7) P.A. Longley, “Geographical Information menjelaskan konsep dasar dari penginderaan jarak jauh,
implementasi GIS, GIS berbasis internet and Remote Sensing Integration: Remote sensing classifications, image characteristics on remote sensing, metrics Systems” Volume 1 & 2 mengenali perbedaan remote sensing product/imagery dan
information extraction, thematic information extraction, GIS and remote sensing integration; GIS implementation: dapat menjelaskan bagaimana mengintegrasikan nya dengan
Software engineering on GIS, GIS project planning, system analysis and user requirements analysis, geospatial GIS (4) menjelaskan dasar infrastruktur dan teknologi 185
database design methodology, GIS application software design methodology, system implementation, system yang dibutuhkan untuk membuat sebuah aplikasi GIS
maintenance and technical support; Internet GIS and Distributed GIS services: Internet based GIS and distributed GIS berbasis internet (5) mengimplementasi sebuah proyek GIS
services, Networking fundamentals of internet GIS, Framework and standards, internet GIS applications, internet GIS sederhana dengan GIS software
products review;

CSCE604134 Pengolahan Multimedia 3 Struktur Data & Algoritma Mata kuliah ini mengajarkan prinsip-prinsip representasi, Introduction & overview of multimedia processing; Multimedia representation - text: ASCII, Unicode, PDF; Multimedia - Setelah lulus mata kuliah ini, peserta diharapkan: (1)
pemampatan, transmisi, modeling, serta authoring dan representation - audio: wave encoding, bitrate, frequency, compression, MP3, 165 MIDI; Multimedia representation - memahami bagaimana informasi multimedia dikodekan
anotasi terhadap data multimedia, baik teks, audio, citra, image: bitmap, colour theory, JPEG compression, raster vs. vector, SVG; Multimedia representation - video: audio-video secara dijital, mengetahui bagaimana caranya melakukan
maupun video. Mata kuliah ini memberikan pemahaman interleaving, compression, AVI, OGM; Multimedia transmission: quality vs. bandwidth, progressive/streaming, konversi/transkode antara format-format berbeda, dan
teoritis maupun praktis mengenai standar-standar data multicast, broadcasting protocols; Basics of 3D modelling and animation; Image processing, Video Processing, Sound memahami isu-isu yang terkait, mis. keseimbangan antara
multimedia terkini seperti XML, PDF, MP3, MIDI, JPEG, SVG, processing, Interactive multimedia authoring; Interactive multimedia authoring; Multimedia annotation: XML, MPEG-7, mutu dan bandwidth, (2) mampu menggunakan berbagai
AVI, OGM. Mata kuliah juga akan memberikan pengetahuan SMIL; Multimedia annotation: XML, MPEG- 7, SMIL; Digital preservation repositories, OAIS model. Multimedia Design. alat bantu untuk memproses data multimedia baik berupa
tentang pemrosesan terhadap data multimedia dengan citra, video, maupun suara (3) mampu menggunakan
menggunakan alat bantu (tools). peralatan terkini untuk membuat obyek multimedia yang
efektif (video clip, presentasi interaktif) yang dapat digunakan
pada berbagai platform, mis. smartphone, web, TV, dst (4)
dapat merancang sistem berbasis multimedia

CSCE604242 Geometri Komputasional 4 Struktur Data & Algoritma; Aljabar Linier Matakuliah ini mengajarkan algoritma-algoritma dan Introduction to Computational Geometry: 2D convex hulls; Line Segment Intersection; Polygon Triangulation; Voronoi (1) Mark de Berg, Otfried Cheong, Marc van Kreveld, Mark Mahasiswa memahami dan dapat menerapkan konsep-
struktur-struktur data untuk objek-objek geometrik, dengan Diagrams; Delaunay Triangulations; Geometric Data Structures; 3D Convex Hulls; Robot Motion Planning. Overmars. Computational Geometry: Algorithms and konsep, teknik-teknik, dan algoritma-algoritma dalam
fokus pada algoritma-algoritma yang asymptotically fast. Applications. Third Edition. Springer-Verlag, 2008. Geometri Komputasional.
(2) Joseph O'Rourke. Computational Geometry in C. Second
Edition. Cambridge University Press, 1998.
(3) Satyan L. Devadoss, J oseph O’Rourke. Discrete and
Computational Geometry. Princeton University Press, 2011.

CSCE604143 Pemodelan Geometris 4 Grafika Komputer; Aljabar Linier Mata kuliah ini mendalami konsep-konsep matematika dan Affine Geometry, Blossoming, Bezier Curves, B-Spline Curves, Polynomial Surfaces, Subdivision Algorithms, Spline Jean Gallier: Curves and Surfaces in Geometric Modeling. Mahasiswa memahami dan dapat menerapkan algoritma-
algoritma- Surfaces, Tensor Products. Morgan Kaufmann, 2000 algoritma geometris yang berguna untuk berbagai masalah
algoritma yang berkaitan dengan pembuatan curves dan nyata. Matakuliah ini memberikan fondasi matematika untuk
surfaces yang menangani kurva dan permukaan secara algoritmik.
dipakai dalam Computer Graphics dan CAGD (Computer
Aided Geometric Design).

CSCE604237 Topik Khusus Bidang Minat Pengolahan Informasi Multimedia 3 100 sks Mata kuliah ini akan membahas perkembangan riset dan
teknologi terkini pada bidang pengolahan informasi
multimedia. Isi materinya akan disesuaikan dengan isu-isu
terkini pada saat mata kuliah ditawarkan
Materi disesuaikan dengan perkembangan terkini pada bidang ilmu pengolahan informasi multimedia. Materi diambil - (1) Mampu memahami perkembangan bidang pengolahan
dari jurnal/conference bermutu internasional terbaru informasi multimedia terkini (2) Mahasiswa dapat
menjelaskan bagaimana teknologi tersebut berkembang (3)
Dapat memberikan usulan ide pengolahan informasi
multimedia di masa depan

CSCE604151 Sistem Tertanam 3 Pengantar Organisasi Komputer Sistem tertanam (Embedded System) merupakan sistem
berbasis mikrokontroler dan merupakan perpaduan antara Concepts; Software Architectures for Embedded Systems;Communication Protocols, Task Management, Introduction to Wesley, 1999 (2)Jack Ganssle, "The Art of Designing
hardware dan software untuk suatu fungsi tertentu. Sejak
ditemukan mikroprosesor awal tahun 70an, teknologi dan
aplikasi sistem tertanam berkembang sangat pesat dan
merambah ke berbagai aspek kehidupan manusia seperti
mobile devices (handphones, MP3 players, dsb), medical
systems, robotics, automations, dsb. Mata kuliah ini ditujukan
untuk memberikan bekal untuk perancangan sistem
tertanam, terutama dari aspek kemampuan menghasilkan
software yang handal
Hardware Fundamentals for the Software Engineers; Microprocessor & Interfacing; Interrupts & Interrupt Handler (1) David E. Simon, "Embedded Software Primer". Addison- Setelah lulus mata kuliah ini, peserta diharapkan: (1)
Memahami proses pengembangan aplikasi Sistem Tertanam
Real-Time Operating Systems; Operating System Services for Embedded Applications; Basic Design Using RealTime Embedded Systems", Newnes,2010. (2) Memahami kemungkinan-kemungkinan terjadinya
Operating System; Embedded Software Development Tools; Debugging Techniques; Simple Project; Interfacing with kesalahan dalam software coding dan cara-cara untuk
Sensors and Actuators; Standard Interfaces and Device Handlers; menghindarinya (3) Mampu menerapkan rancangan
arsitektur software yang tepat sesuai dengan aplikasi Sistem
Tertanam (4) Memahami konsep Real-Time Systems serta
merancang aplikasi Sistem Tertanam menggunakan Real-
Time Systems (5) Mampu melakukan pengembangan aplikasi
dan debugging menggunakan Integrated Development
Environment (IDE)

CSCE604150 Organisasi Sistem Komputer 3 Pengantar Organisasi Komputer Mata kuliah ini berisi pembahasan rinci komponen utama Pendahuluan. Kosep Kinerja dan biaya; Pengukuran kinerja. Konsep instruksi; Perancangan alamat pada instruksi. (1) Hennessy, John L. dan David A. Patterson. Computer Setelah lulus mata kuliah ini, peserta diharapkan: (1)
sistem komputer : prosesor, memory dan masukan/keluaran. Perancangan instruksi kontrol; Perancangan instruksi kontrol & contoh. Contoh ImplementasiInstruksi; Architecture: A Quantitative Approach. Morgan Kaufmann Memahami detail dari sistem komputer (2) Memahami
Penekanan ditujukan pada analisa dan teknik peningkatan Pengukuran/data statistik Instruksi. Processor: pendahuluan & processor datapath; Dasar Eksekusi. Hardwired & Publisher, Inc. , San Mateo, California, Second Edition 1996 (2) rancangan sistem komputer dari sisi harga dan unjuk kerja (3)
kinerja (performance) dari sistem komputer. Topik-topik yang microprogram control; Interrpt dalam prosesor dan aspek-aspeknya. Dasar pipeline; Kendala-kendala pipeline & William Stallings. Computer Organization and Architecture, 4th Dapat merancang sistem komputer sederhana
dibahas meliputi pengantar rancangan komputer, perspektif pipeline hazard. Dynamic Scheduling; Memory: prinsip locality; Prinsip dari memory hierarchy. Caches Memory; Main edition: Designing for Performance. Prentice Hall Inc, New
historis; komponen dari sistem komputer, organisasi dasar Memory. Virtual Memory; Konsep I/O: kinerja I/O. Magnetic Disk; Bus & Graphic Display; Jersey 1996
mesin komputer; kinerja dan biaya, pilihan dalam rancangan;
realisasi organisasi sistem komputer; RISC; implementasi dan
analisa perangkat instruksi pada contoh-contoh organisasi
sistem komputer yang diberikan; rancangan prosesor: data
path unit dan pengendali prosesor, micro programming dan
hardwired 146 control; rancangan memory : cache memory,
pipelining; masukan dan keluaran (I/O)

CSCE604111 Simulasi & Pemodelan 3 Statistika & Probabilitas, Jaringan Komputer Mata kuliah ini memperkenalkan dasar-dasar pemodelan Pendahuluan; Pemodelan dan Simulasi; simulasi Monte Carlo; Continuous system simulation; Discrete event (1) Simulation Modeling & Analysis, by A. Law and D. Kelton, Tujuan dari kuliah ini adalah memberikan peserta kuliah
sistem menggunakan simulasi komputer dan teknik Simulation; Mixed Simulation (discrete and continuous); Quantitative Modeling; Petri Nets; Queuing Networks; McGraw Hill Publishing Co., 3rd Edition, 2000 (2) Creating pengetahuan dalam penerapan teknik simulasi untuk
matematik terutama dengan pendekatan memakai Stochastic Algebra; S ample generation; Concepts in Discrete event simulation (DES): Components of DES ; Input Data Computer Simulation Systems: An Introduction to the High memodelkan, mensimulasikan dan mempelajari sistem yang
persamaan diferensial (pemahaman topik/pernah mengambil Modeling, Verification and Validation; Output Analysis; Model Design; Parallel and Distributed Simulation; Distributed Level Architecture, Kuhl, Weatherly and Dahmann, Prentice kompleks. Peserta diharapkan mendapatkan pengalaman
mata kuliah Persamaan Diferensial akan sangat membantu). Virtual Environments; High Level Architecture Hall, 2000 menggunakan paket software simulasi
Beberapa studi kasus akan dijabarkan baik dalam perkuliahan
maupun dalam latihan dan tugas-tugas perkuliahan yang
diberikan. Contoh-contoh pemodelan sistem yang
didiskusikan akan mencakup berbagai bidang dengan
penekanan pada analisa dan pemodelan sistem komputer
dan komunikasi , sistem antrian, dan beberapa sistem lain
dengan menggunakan beberapa paradigma permodelan
seperti, simulasi, teori antrian, dan pendekatan proses
stochastic.

CSCE604154 Sistem Terdistribusi 3 Jaringan Komputer Mata kuliah ini mengeksplorasi isu-isu yang terkait dengan Introduction; Architectures; Processes; Communication; Naming; Synchronization; Synchronization; Agreement & Fault (1) Tanenbaum, A., M., van Steen, Distributed System Setelah lulus mata kuliah ini, peserta diharapkan dapat
perancangan dan implementasi dari sistem terdistribusi Tolerant; Consistency & Replication ; Security; Distributed Web System Technology Principles and Paradigms 2nd Ed, Prentice Hall: 2007 (2) mengembangkan sistem terdistribusi yang: (1) dikembangkan
dengan penekanan pada bagaimana shared state, interaksi Coulouris, Dollimore, Kindberg, Distributed Systems: Concepts terus bersamaan dengan bertambahnya elemen dapat sistem
dan komunikasi antara beberapa proses yang berjalan pada and Design 4th ed, Addison Wesley: 2005 (3) Distributed (2) dapat mengatasi kegagalan dan melakukan recovery, (3)
sistem Systems: Concepts and Design 5th Ed, Pearson: 2011 dapat bekerja dengan fault tolerant file system, (4) dapat
memproses data dalam volume besar, (5) aman dan dapat
mengatasi beberapa jenis serangan, (6) bersifat loosely
coupled, transactional dan menuju stabil

CSCE604157 Ubiquitous & Net-Centric Computing 3 Jaringan Komputer Komputasi ubiquitous, atau disebut juga sebagai komputasi Smart Devices and Services; Smart Mobiles, Cards and Device Networks; Human Computer Interaction; Tagging, [1] Stefan Poslad, Ubiquitous Computing: Smart Devices, Setelah lulus mata kuliah ini, peserta diharapkan dapat: (1)
pervasive, merupakan visi sistem komputer yang merasuk ke Sensing and Controlling; Context-Aware Systems; Management of Smart Devices; Ubiquitous System Challenges and Environments and Interactions, John Wiley & Sons, 2009 Memahami dan menjelaskan konsep-konsep pokok
dalam dunia fisik dan lingkungan sosial manusia. Salah satu Outlook; [2] John Krumm, ed., Ubiquitous Computing Fundamentals, ubiquitous & pervasive computing (2) Dapat menerapkan
tujuannya adalah untuk membuat komputer yang dapat CRC Press, 2010 konsep pervasive computing seperti kesadaran terhadap
dioperasikan dalam lingkungan fisik yang beragam, dan [3] Adam Greenfield, Everyware: The Dawning Age of konteks untuk merancang dan mengimplementasikan suatu
membangun teknologi yang sadar tentang lingkungan Ubiquitous Computing, New Riders Publishing, 2006 pervasive system
sekitarnya dan dapat diakses dan digunakan oleh manusia [4] Seng Loke, Context-Aware Pervasive Systems, Auerbach
dan lingkungan sosial secara harmonis. Pada komputasi Publications, 2007
ubiquitous, informasi dapat diolah oleh obyek dan kegiatan
sehari-hari

CSCE604232 Robotika 3 Pengantar Organisasi Komputer, Sistem Cerdas Mata kuliah ini memberikan pengantar tentang implementasi Introduction: problem statements, typical applications, video; Locomotion with legs and wheels; Mobile Robots (1) Roland Siegwart and Illah R. Nourbakhsh. 2011. Setelah mempelajari mata kuliah ini, peserta diharapkan
robot dari sudut pandang ilmu komputer. Topik yang dibahas Kinematics; Exercise 1 : Kinematics model and trajectory calculation of wheeled robots; Perception I Sensing and Introduction to Autonomous Mobile Robots. The MIT Press.(2) mampu: (1) Memahami implementasi sistem agen perangkat
meliputi gerakan dengan roda ataupun kaki (locomotion), Perception; Exercise 2: Motion control of a differentially driven robot; Perception II: Sensing and Perception, Sebastian Turn and Wolfram Burgard. 2005. Probabilistic lunak yang cerdas dan otonom (2) Mampu menganalisa
penginderaan dan persepsi dengan sensor, penanganan Uncertainty Representation; Localization I: Introduction, odometry; Exercise 3: Vision and/or laser; take picture, Robotics. MIT Press. (3) Alonzo Kelly. 2013. Mobile Robotics kinerja sistem dari sudut pandang perangkat lunak maupun
ketidakpastian pada persepsi, representasi dan pemodelan feature extraction; uncertainty representation; belief representation; Localization II: Map representation, introduction Mathematics, Models, and Methods. Cambridge. keras (3) Mampu merancang sebuah agen cerdas dan
lokasi secara probabilistik. Pada mata kuliah ini mahasiswa to probabilistic map- based localization, Markov localization; Localization III: Markov localization and Kalman filter otonom dari sisi perangkat lunak maupun keras
akan menggunakan perangkat lunak seperti Robot Operating localization (1); Localization IV: Kalman filter localization (2); Other examples of localization systems, map building;
System (ROS ) Architectures for Navigation, Robot Operating System (ROS)

CSCE604253 Rancangan Sistem Dijital 3 Pengantar Organisasi Komputer Mata kuliah ini ditujukan untuk memahami teknik rancangan Pemodelan behavioral, dataflow, structural dalam VHDL; Subprogram, overloading; Packages, library; Synthesis Charles H.Roth, Jr., DIGITAL SYSTEMS DES IGN USING VHDL, (1) Dapat merealisasikan komponen-komponen sistem dijital
sistem dijital menggunakan bahasa pemrograman tingkat technique; Registers, shifter, Memory, bus, ALU; Finite State Machine; State optimization; Control Unit; Datapath: PWS 1998. ke dalam rangkaian berbantuan FPGA (2) Dapat menjelaskan
tinggi (High Level Language). Bahasa yang digunakan adalah sharing, merging; Pipelining, Scheduling komponen-komponen komputer dibangun dan bagaimana
VHDL (VHSIC Hardware Description Language). Materi kuliah mereka membentuk struktur komputer (3) Dapat
yang diberikan mencakup pemahaman elemen-elemen menjelaskan perilaku kolaboratif internal antar komponen
VHDL, teknik pemodelan perilaku (behavior), pemodelan dalam komputer (4) Mampu mengintegrasikan komponen-
dataflow dan pemodelan secara struktural. Elemen-elemen komponen sistem dijital untuk membangun sebuah
pemrograman yang dibahas termasuk konsep konfigurasi, komputer sederhana baik berbasis general purpose
subprogram, overloading, package dan library, termasuk microprocessor maupun application spesific integrated circuit
contoh-contoh pemodelan rangkaian dijital yang umum (ASIC)
dijumpai pada sistem dijital. Sarana pendukung laboratorium
adalah seperangkat board FPGA dan development tools dari
Xilinx

CSCE604255 Topik Khusus Bidang Minat Arsitektur & Infrastruktur 3 100 sks Mata kuliah ini akan membahas perkembangan riset dan Materi disesuaikan dengan perkembangan terkini pada bidang ilmu arsitektur dan infrastruktur. Materi diambil dari - (1) Mahasiswa mampu memahami perkembangan arsitektur
teknologi terkini pada bidang arsitektur dan infrastruktur jurnal/conference paper berkualitas terkini dan inf rastruktur terkini (2) Mahasiswa dapat menjelaskan
komputer. Isi materinya akan 203 disesuaikan dengan isu-isu bagaimana teknologi tersebut berkembang (3) Mahasiswa
terkini pada saat mata kuliah ditawarkan dapat memberikan usulan ide perkembangan arsitektur dan
infrastruktur di masa depan

CSCE604130 Bioinformatika 3 Struktur Data & Algoritma, Statistika & Probabilitas Mata kuliah ini memperkenalkan peserta kuliah terhadap Pengenalan Biologi Molekular; Sequence Similarity (pairwise alignment, multiple sequence alignment, evolutionary (1) N. Cristianini and M.W Hahn. 2006. Introduction to Setelah lulus mata kuliah ini, peserta dapat: (1) Menjelaskan
sumber daya yang dibutuhkan untuk menerapkan berbagai model, hidden Markov model, motif/domain prediction, gene finding); Molecular Phylogenetics; Structural Computational Genomics: A Case Study Approach. Cambridge konsep dan proses analisa sekuen DNA, prediksi struktur
pendekatan kecerdasan buatan untuk menghasilkan Bioinformatics (secondary protein structure prediction, tertiary protein structure prediction, dan RNA structure Press (2) P. Pevzner. (2000). Computational Molecular Biology - protein, analisa ekspresi gen, jaringan gen, serta filogenetika.
informasi pada aplikasi biologi seperti: fungsi gen, struktur prediction); Genomics dan Proteomics (genome annotation, GO ontology/protein classification , protein-protein an Algorithmic Approach. MIT Press 107 (3) P. Baldi and S. (2) Menerapkan berbagai pendekatan kecerdasan buatan
protein dan evolusi molekular. Peserta akan diajarkan interaction) Brunak. (2001). Bioinformatics: The Machine Learning pada database molekuler yang nyata. (5) Melakukan
metode untuk penambangan serta analisa data untuk Approach. MIT Press interpretasi terhadap berbagai pendekatan komputasional
melakukan pencocokan sekuen, pencarian kemiripan, analisa
filogenetik, pencarian gen serta prediksi struktur protein

CSCE604212 Persamaan Diferensial 3 Aljabar Linier, Matematika Dasar 2 Mata kuliah ini dirancang untuk memberikan pemahaman Introduction, overview on modeling with differential equation; 1st order Differential Equation, terminology on A First Course in Differential Equations, Dennis G. Zill, 9th Ed, Kuliah ini mengajarkan teori persamaan diferensial biasa dan
dan pengetahuan mengenai berbagai jenis persamaan solution; 1st order Differential Equation: separable equation, 1st order linear equation, exact differential equaiton, 2009 penerapannya dalam kehidupan sehari-hari di masyarakat.
diferensial yang ada, metode penyelesaiannya, serta homogeneous differential equation, method of substitutions; Modeling with 1st order Differential Equation; 2nd order Mahasiswa diharapkan mampu mengenali bentuk-bentuk
penerapannya dalam berbagai bidang melalui pemodelan Differential Equation; 2nd order Differential Equation: characteristics of solution; Reduction of order; 2nd order persamaan diferensial biasa dan mampu mengenali
matematika dari persamaan diferensial tersebut. Mata kuliah Differential Equation homogeneous – non homogeneous; 2nd order Differential Equation with constant coefficients, penyelesaian persamaan diferensial biasa tersebut maupun
ini menitikberatkan pemodelan matematika dari berbagai method of undetermined coefficients, method of variation of parameters; 2nd order Differential Equation with variable pendekatan penyelesaian dari persamaan diferensial biasa
fenomena alam sesuai dengan kaidah hukum alam yang coefficients, homogeneous – non homogeneous; Modeling with 2nd order Differential Equation; Power Series tersebut. Selain itu, mahasiswa diharapkan mampu
berlaku dengan menggunakan pendekatan persamaan Solution; Solution using Laplace Transformation, Laplace Transformation on Special Function; mengaplikasikan persamaan diferensial dalam bentuk model
diferensial terutama persamaan diferensial derajat satu atau matematika yang merepresentasikan fenomena yang ada
dua. Peserta dianjurkan untuk terbiasa menggunakan aplikasi dalam kehidupan sehari-hari di masyarakat, mampu
komputasi seperti MAPLE, MATLAB, MATHEMATICA, dan menyelesaikan model matematika menggunakan teori
yang lain. persamaan diferensial biasa yang diberikan dan mampu
menjelaskan makna dari penyelesaian yang diperoleh dari
model matematika yang direpresentasikan dengan
persamaan diferensial biasa tersebut.

CSCE604113 Aproksimasi Sistem Nonlinier 3 Analisis Numerik Mata kuliah ini memperkenalkan analisis sebuah rancangan Introduction to nonlinear systems ; Equilibrium points and phase plane analysis; Limit Cycle; Stability concepts; (1) J.-J. E. Slotine and W. Li, 1991. Applied Nonlinear Control, Di akhir mata kuliah ini mahasiswa diharapkan mampu untuk:
sistem nonliniar. Topik yang dipelajari meliputi: linearization, Lyapunov Stability Theory; Liapunov ’s direct method; Stability of non-autonomous systems; Describing functions; Upper Saddle River, NJ: Prentice Hall (2) H. K. Khalil, Nonlinear (1) memahami prinsip dan konsep dasar dari analisis sistem
equilibrium points, limit 103 cycles, chaotic attractors, Feedback linearization; Feedback linearization; Nonlinear system identification or PLLs; Selectect Project Presentation Systems, Third Edition, Prentice Hall: Upper Saddle River, NJ, nonlinier. (2) memahami konsep stability, dan mengenal
stability, Liapunov’s methods, describing functions, Popov and Discussion 2002 beberapa teknik untuk uji stabilitas (3) mengenali teknik-
and circle criteria, contraction mappings, exact linearization, teknik untuk linearization, control, simulation dari non linear
variable structure, simulation system

CSCE604132 Komputasi Lunak 3 Sistem Cerdas Kuliah ini membahas bagaimana mengolah informasi dengan Apa itu komputasi lunak; Logika fuzzy, logika klasik, variabel lingusitik; bilangan fuzzy, konsep bilangan fuzzy, operasi (1) Lee, H.K., First Course on F uzzy Theory & Applications, Mahasiswa dapat memahami dasar-dasar teori fuzzy dan
pendekatan komputasi lunak berbasis teori fuzzy. Masalah pada bilangan fuzzy, bilangan fuzzy segitiga; himpunan fuzzy, konsep himpunan fuzzy, operasi dasar pada himpunan Springer 2006 (2) Klir, G.J., Fuzzy S ets and Fuzzy Logic: Theory mencoba mengaplikasikannya pada masalah yang
yang dihadapi dalam komputasi diantaranya masalah fuzzy; Operasi pada himpunan fuzzy, fuzzy komplemen, fuzzy gabungan, fuzzy irisan, T-Norm & S-Norm; Relasi Krisp, and Applications, Prentice Hall, 2001 mengandung impresisi dan ketidakpastian
impresisi dan ketidakpastian coba ditangani dengan Sifat dari Himpunan Tunggal, Relasi dan Komposisi Fuzzy; Graf dan relasi fuzzy, karaktersitik dari relasi fuzzy. Klasifikasi
pendekatan fuzzy. relasi fuzzy. Relasi fuzzy yang lain; F ungsi fuzzy, J enis fungsi fuzzy, Fuzzy Extrema dari fungsi, Integrasi dan Diferensiasi
dari fungsi fuzzy; Probabilitas & ketidakpastian. Probabilitas dan Kemungkinan; Kejadian Fuzzy, Ketidakpastian, ukuran
dari fuzziness; Inferensi Fuzzy dan aturan komposisi.; Aturan fuzzy dan Implikasi. Mekanisme inferensi, metode
inferensi; Kontrol Fuzzy dan Sistem Pakar Fuzzy. Pengontrol Logika Fuzzy. Defuzzifikasi. Sistem Pakar F uzzy; Sistem
Hibrida.

CSCE604144 Logika Komputasional 3 Sistem Cerdas Seperti halnya Logika Matematik, Logika Komputasional (1) Propositional Logic: Syntax; S emantics; Resolution; Semantic Tableaux; DPLL 1.Graham Priest. An Introduction to Non-Classical Logic. Mahasiswa memahami dan dapat menerapkan konsep-
berkaitan dengan syntax, semantics, correctness dan (2) SAT Solver: Problem Solving using MiniSat Second Edition. Cambridge University Press, 2008. konsep, teorema-teorema, dan algoritma-
completeness of reasoning. Tetapi Logika Komputasional juga (3) Modal Logic: Necessity and Possibility; Syntax; Axiomatic Systems; Kripke Semantics; 2.G. E. Hughes and M. J. Cresswell. A New Introduction to algoritma/prosedur-prosedur dalam Logika Komputasional.
sangat memperhatikan aspek efisiensi agar automated Semantic Tableaux; Normal Modal Logics Modal Logic. Routledge, 1996.
reasoning menjadi berguna secara praktis. Logika (4) Lambda Calculus: Alpha conversion, beta reduction, eta reduction; the fixed-point theorem; 3.J. Roger Hindley and Jonathan P. Seldin. Lambda-Calculus
Komputasional memegang peranan penting dalam berbagai combinators; applications and Combinators. Cambridge University Press, 2008.
bidang Ilmu Komputer, antara lain semantic web, verifikasi 4.Chin-Liang Chang and Richard Char-Tung Lee. Symbolic Logic
hardware/software, teknologi bahasa pemrograman, and Mechanical Theorem Proving. Academic Press, 1973.
basisdata, dan KRR (knowledge representation and
reasoning).
CSCE604114 Aljabar Linier Numerik 3 Analisis Numerik Mata kuliah ini memberikan pemelajaran terkait komputasi Introduction to Numerical Linear Algebra: review of linear algebra, computational issues on linear algebra, numerical Matrix Computation, Gene Golub and Charles van Loan Di akhir mata kuliah ini, mahasiswa diharapkan mampu
pada aljabar linear. Fokus perkuliah pada komputasi matriks, stability and conditioning; Square system: direct methods – LU, special system; Square system: iterative methods; Least untuk: (1) memetakan permasalahan konkret kedalam model
terutama pada aspek sensitivity dan numerical stability, square problems: QR factorization; Least square problems: QR with column pivoting; Eigen problems: theory and matematika (2) mengenali beberbagai metode dan algoritma
square system, least squares problems, eigen problems, SVD characteristics polynomials, power iteration; Eigen problems: QR iteration, Schur Iteration; SVD: definition and basic untuk mendapatkan penyelesaian numerik dari sebuah
serta pengaplikasiannya pada berbagai isu komputasional properties; SVD: computing SVD; S VD: application – Information processing; Sparse system: storage issues; Sparse model matematika (3) menganalisa error dalam komputasi
system: computational issues numerik

CSCE604236 Topik Khusus Bidang Minat Kecerdasan Komputasional 3 100 sks Mata kuliah ini akan membahas perkembangan riset dan Materi disesuaikan dengan perkembangan terkini pada bidang kecerdasan komputasional. Materi diambil dari - (1) Mampu memahami perkembangan bidang kecerdasan
teknologi terkini pada bidang kecerdasan komputasional. Isi jurnal/conference bermutu internasional terbaru komputasional terkini (2) Mahasiswa dapat menjelaskan
materinya akan disesuaikan dengan isu-isu terkini pada saat bagaimana teknologi tersebut berkembang (3) Dapat
mata kuliah ditawarkan memberikan usulan ide kecerdasan komputasional di masa
depan

CSGE604099 Tugas Akhir 6 114 sks Mata kuliah ini melatih kemampuan mahasiswa untuk Topik-topik penelitian terkini dalam bidang ilmu komputer; Penelitian terbimbing; Penulisan hasil penelitian; Ujian; - Mampu melakukan penelitian secara mandiri serta mampu
mengembangkan bidang ilmu/teknologi atau melanjutkan menyajikan hasil penelitian dalam bentuk tulisan maupun
studinya. Pada mata kuliah ini, mahasiswa akan mengerjakan lisan
suatu topik penelitian secara mandiri di bawah bimbingan
seorang dosen. Topik penelitian yang dikerjakan harus terkait
dengan kegiatan salah satu lab riset di Fasilkom UI.
Mahasiswa harus menuliskan laporan ilmiah mengenai
pekerjaannya dan mempertahankannya pada Sidang Tugas
Akhir