[av_layout_row border=” min_height_percent=” min_height=’0′ color=’main_color’ mobile=’av-flex-cells’ id=” av_element_hidden_in_editor=’0′ mobile_breaking=” av-desktop-hide=” av-medium-hide=” av-small-hide=” av-mini-hide=”]<\/p>\n
[av_cell_one_fifth vertical_align=’top’ padding=’30px’ background_color=” src=” background_attachment=’scroll’ background_position=’top left’ background_repeat=’no-repeat’ mobile_display=”]<\/p>\n
[\/av_cell_one_fifth][av_cell_three_fifth vertical_align=’top’ padding=’30px’ padding_sync=’true’ background_color=’#f4f3f2′ src=” attachment=” attachment_size=” background_attachment=’scroll’ background_position=’top left’ background_repeat=’no-repeat’ mobile_display=”]<\/p>\n
[av_one_fifth first min_height=” vertical_alignment=” space=” custom_margin=” margin=’0px’ padding=’0px’ border=” border_color=” radius=’0px’ background_color=” src=” background_position=’top left’ background_repeat=’no-repeat’ animation=” mobile_breaking=” mobile_display=”]<\/p>\n
[av_image src=’http:\/\/pustaka.ut.ac.id\/lib\/wp-content\/uploads\/2025\/09\/MSIM410302-222×300.jpg’ attachment=’35953′ attachment_size=’medium’ align=’center’ styling=” hover=” link=’lightbox’ target=” caption=” font_size=” appearance=” overlay_opacity=’0.4′ overlay_color=’#000000′ overlay_text_color=’#ffffff’ animation=’no-animation’ admin_preview_bg=”][\/av_image]<\/p>\n
[av_button label=’FULLTEXT MSIM4103′ link=’manually,https:\/\/pustaka.ut.ac.id\/reader\/index.php?modul=MSIM410302′ link_target=’_blank’ size=’small’ position=’center’ icon_select=’yes’ icon=’ue85d’ font=’entypo-fontello’ color=’theme-color’ custom_bg=’#444444′ custom_font=’#ffffff’ admin_preview_bg=”]<\/p>\n
[av_textblock size=” font_color=” color=” av-medium-font-size=” av-small-font-size=” av-mini-font-size=” admin_preview_bg=”]<\/p>\n
Untuk menggunakan layanan RBV secara fulltext, Anda gunakan login yang teraktivasi pada UT-Online (http:\/\/elearning.ut.ac.id) dan terdaftar sebagai mahasiswa Universitas Terbuka<\/strong><\/p>\n [\/av_textblock]<\/p>\n [av_button label=’ elearning.ut.ac.id’ link=’manually,http:\/\/elearning.ut.ac.id’ link_target=” size=’small’ position=’center’ icon_select=’yes’ icon=’ue836′ font=’entypo-fontello’ color=’theme-color’ custom_bg=’#444444′ custom_font=’#ffffff’ admin_preview_bg=”]<\/p>\n [\/av_one_fifth][av_three_fifth min_height=” vertical_alignment=” space=” custom_margin=” margin=’0px’ padding=’0px’ border=” border_color=” radius=’0px’ background_color=” src=” background_position=’top left’ background_repeat=’no-repeat’ animation=” mobile_breaking=” mobile_display=”]<\/p>\n [av_heading tag=’h3′ padding=’10’ heading=’MSIM4103 – Logika Informatika (Edisi 2)’ color=” style=” custom_font=” size=” subheading_active=” subheading_size=’15’ custom_class=” admin_preview_bg=” av-desktop-hide=” av-medium-hide=” av-small-hide=” av-mini-hide=” av-medium-font-size-title=” av-small-font-size-title=” av-mini-font-size-title=” av-medium-font-size=” av-small-font-size=” av-mini-font-size=”][\/av_heading]<\/p>\n [av_textblock size=” font_color=” color=” av-medium-font-size=” av-small-font-size=” av-mini-font-size=” admin_preview_bg=”] [\/av_textblock]<\/p>\n [av_textblock size=” font_color=” color=” av-medium-font-size=” av-small-font-size=” av-mini-font-size=” admin_preview_bg=”]<\/p>\n Buku Materi Pokok (BMP) MSlM4103 Logika Informatika diberikan untuk membekali mahasiswa tentang konsep bahasa formal yaitu bahasa logika proposisional dan bahasa logika predikat yang keduanya merupakan dasar-dasar logika untuk pemrograman baik yang prosedural dan khususnya pemrograman lojik (seperti PROLOG). Mahasiswa akan belajar baik secara mandiri maupun berkelompok tentang bagaimana membuat kalimat (pernyataan) dengan menggunakan aturan sintaktik serta bagaimana menentukan nilai sebuah kalimat dengan menggunakan aturan semantik. Mahasiswa juga akan belajar bagaimana membuktikan validitas sebuah kalimat dengan menggunakan pohon semantik (semantic tree) dan teknik PBF (proof by falsification). Lebih dari itu setelah selesai mempelajari mata kuliah ini mahasiwa akan dibekali dengan kemampuan reasoning. Ketercapaian hasil belajar diukur dengan memberikan soal-soal kepada mahasiswa dalam bentuk ujian.<\/p>\n [\/av_textblock]<\/p>\n [av_tab_container position=’top_tab’ boxed=’border_tabs’ initial=’1′] [\/av_three_fifth][av_one_fifth min_height=” vertical_alignment=” space=” custom_margin=” margin=’0px’ padding=’0px’ border=” border_color=” radius=’0px’ background_color=” src=” background_position=’top left’ background_repeat=’no-repeat’ animation=” mobile_breaking=” mobile_display=”]<\/p>\n [av_sidebar widget_area=’FE’]<\/p>\n [\/av_one_fifth][\/av_cell_three_fifth][av_cell_one_fifth vertical_align=’top’ padding=’30px’ background_color=” src=” background_attachment=’scroll’ background_position=’top left’ background_repeat=’no-repeat’ mobile_display=”]<\/p>\n [\/av_cell_one_fifth][\/av_layout_row]<\/p>\n","protected":false},"excerpt":{"rendered":" [av_layout_row border=” min_height_percent=” min_height=’0′ color=’main_color’ mobile=’av-flex-cells’ id=” av_element_hidden_in_editor=’0′ mobile_breaking=” av-desktop-hide=” av-medium-hide=” av-small-hide=” av-mini-hide=”] [av_cell_one_fifth vertical_align=’top’ padding=’30px’ background_color=” src=” background_attachment=’scroll’ background_position=’top left’ background_repeat=’no-repeat’ mobile_display=”] [\/av_cell_one_fifth][av_cell_three_fifth vertical_align=’top’ padding=’30px’ padding_sync=’true’ background_color=’#f4f3f2′ src=” attachment=” attachment_size=” background_attachment=’scroll’ background_position=’top left’ background_repeat=’no-repeat’ mobile_display=”] [av_one_fifth first min_height=” vertical_alignment=” space=” custom_margin=” margin=’0px’ padding=’0px’ border=” border_color=” radius=’0px’ background_color=” src=” background_position=’top left’ background_repeat=’no-repeat’ animation=” mobile_breaking=” mobile_display=”] […]<\/p>\n","protected":false},"author":8,"featured_media":35953,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_monsterinsights_skip_tracking":false,"footnotes":""},"categories":[116,115,126,368],"tags":[],"class_list":["post-35939","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-fst","category-ruang-baca-virtual","category-sains-data-s1","category-sistem-informasi-s1"],"_links":{"self":[{"href":"https:\/\/pustaka.ut.ac.id\/lib\/wp-json\/wp\/v2\/posts\/35939","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/pustaka.ut.ac.id\/lib\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/pustaka.ut.ac.id\/lib\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/pustaka.ut.ac.id\/lib\/wp-json\/wp\/v2\/users\/8"}],"replies":[{"embeddable":true,"href":"https:\/\/pustaka.ut.ac.id\/lib\/wp-json\/wp\/v2\/comments?post=35939"}],"version-history":[{"count":3,"href":"https:\/\/pustaka.ut.ac.id\/lib\/wp-json\/wp\/v2\/posts\/35939\/revisions"}],"predecessor-version":[{"id":35957,"href":"https:\/\/pustaka.ut.ac.id\/lib\/wp-json\/wp\/v2\/posts\/35939\/revisions\/35957"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/pustaka.ut.ac.id\/lib\/wp-json\/wp\/v2\/media\/35953"}],"wp:attachment":[{"href":"https:\/\/pustaka.ut.ac.id\/lib\/wp-json\/wp\/v2\/media?parent=35939"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/pustaka.ut.ac.id\/lib\/wp-json\/wp\/v2\/categories?post=35939"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/pustaka.ut.ac.id\/lib\/wp-json\/wp\/v2\/tags?post=35939"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
\nSuprapto<\/strong><\/p>\n\n
\n[av_tab title=’Tinjauan Mata Kuliah’ icon_select=’no’ icon=’ue800′ font=’entypo-fontello’]
\n[pdf-embedder url=”https:\/\/pustaka.ut.ac.id\/lib\/wp-content\/uploads\/pdfmk\/MSIM410302-TM.pdf”]
\n[\/av_tab]
\n[av_tab title=’Daftar Isi’ icon_select=’no’ icon=’ue800′ font=’entypo-fontello’]
\n[pdf-embedder url=”https:\/\/pustaka.ut.ac.id\/lib\/wp-content\/uploads\/pdfmk\/MSIM410302-DI.pdf”]
\n[\/av_tab]
\n[\/av_tab_container]<\/p>\n