Category Archives: Edu
Mango using network
Nilai UTS :D
Review lab meeting jaringan komputer 19 nov
QT
Windows phone apps – module 1
Sebentar lagi ada Lumia Olympiad, pastinya buat apps untuk windows phone. Ini lomba antar kampus siapa yang ngumpulin banyak piala ditiap kategori bakal jadi juara umum dan kompensasinya dibangunkan nokia inovation lab di kampus tersebut.
kapan mulainya? pendaftaran sudah dimulai sih, mari dari brawijaya berpartisipasi, pastinya dari raiyon studio gak bakal absen. Untuk teman-teman yang lain silahkan berpartisipasi, tanggal 20 nopember akan ada workshop untuk lomba ini. sebelumnya monggo dibaca iniĀ windows phone modul 1, sebagai pemanasan š
Lumia apps Olympiad
Ayo developer mobile apps yang ada di Universitas brawijaya ngikut event ini, singkatnya ini pertarungan developer antar kampus di Indonesia. Yang menang pasti ada rewardnya, ngomong-ngomong reward macemnya ada banyak. Untuk developer rewardnya,
- Pemenang utama kategori umum dan setiap sub kategori APIĀ akan mendapatkan Lumia 920, medali emas, dan uang tunaiĀ (optional).
- Pemenang kedua dan ketiga tiap kategori umum serta setiapĀ sub kategori API mendapatkan masing-masing medali perakĀ dan perunggu.
Untuk kampus,
- Universitas yang paling banyak mengumpulkan medali akanĀ mendapatkan Nokia Innovation Lab di tahun 2013.
- Nokia Innovation Lab adalah investasi dari Nokia berupaĀ kurikulum, workshop, dan puluhan telepon genggam Nokia.
- Staf pengajar (dosen) dapat berpartisipasi dalam kompetisi ini
- Bagi staff pengajar yang berhasil meraih medali akanĀ mendapatkan rekomendasi untuk program App Campus yangĀ memberikan dana riset mulai ā¬ 20,000 hingga ā¬ 70,000.
Menarik bukan, dan berita selanjutnya. Nokia bakal ngadain workshop development Lumia apps di Universitas Brawijaya 20 November nanti (tempat terbatas). kebiasaannya Nokia developer, kalau ada lomba pasti sebelumnya ada pelatihan, supaya hasilnya bagus-bagus. Informasi lebih lanjut, kontak saya di ekosakti@ub.ac.id. atau bukaĀ HackNation Olympiad External.
Event ini feedback dari nokia developer workshop di hotel braga beberapa minggu lalu.
Modal logic
Masih seputar materi DAAD summer school, kali ini modal logic dibawakan olehĀ L. Yohanes Stefanus dosen di fasilkom UI.
Modal Logic itu..
The goal of logic is to develop languages to model the situations we encounter, in such a way that we can reason about them formally.
Reasoning about situations means constructing arguments about them; itās doneformally means that itās done in such a way that the arguments are valid and can be defended mathematically, or executed on a computer.
…
monggo dilanjut dari slidenya..Ā Stefanus-MLBali2012
First Order Tableaux in Aplications, phew…!!!
Ini materi DAAD summerschool kemarin. Lumayan sangat bikin cenat-cenut, dulu kuliah gak dapat materi ini š
Topik ini dibawakan oleh Prof Ulric Furbach dari university of Koblenz.
disini dijelaskan apa beda Resolution VS Tableu
Ā Files:
Propositional Calculus – Formulas, Models, Tableaux
Share materi Nokia faculty summit
Acara ini pernah saya posing bulan september lalu, kita belajar bagaimana membuat apliakasi mobile based on web apps dan windows phone sampai publish aplikasi ke market store. Sekedar share saja materinya apa saja š
Contoh kode.