<?xml version="1.0" encoding="UTF-8" ?>
<modsCollection xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.loc.gov/mods/v3" xmlns:slims="http://slims.web.id" xsi:schemaLocation="http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-3.xsd">
<mods version="3.3" id="4764">
 <titleInfo>
  <title>Logika Matematika:</title>
  <subTitle>untuk Analisis Algoritma</subTitle>
 </titleInfo>
 <name type="Personal Name" authority="">
  <namePart>Putu Harry Gunawan</namePart>
  <role>
   <roleTerm type="text">Primary Author</roleTerm>
  </role>
 </name>
 <typeOfResource manuscript="no" collection="yes">mixed material</typeOfResource>
 <genre authority="marcgt">bibliography</genre>
 <originInfo>
  <place>
   <placeTerm type="text">Yogyakarta</placeTerm>
   <publisher>ANDI</publisher>
   <dateIssued>2022</dateIssued>
  </place>
 </originInfo>
 <language>
  <languageTerm type="code">id</languageTerm>
  <languageTerm type="text">Indonesia</languageTerm>
 </language>
 <physicalDescription>
  <form authority="gmd">Text</form>
  <extent>226 hlm; 16 x 23 cm</extent>
 </physicalDescription>
 <note>Algoritma adalah suatu upaya dengan urutan operasi yang disusun secara logis dan sistematis untuk menyelesaikan suatu masalah untuk menghasilkan suatu output tertentu. Dalam matematika dan ilmu komputer, algoritma adalah rangkaian terbatas dari instruksi-instruksi yang rumit, yang biasanya digunakan untuk menyelesaikan atau menjalankan suatu kelompok masalah komputasi tertentu. Algoritma digunakan sebagai spesifikasi untuk melakukan perhitungan dan pemrosesan data.&#13;
&#13;
Buku ini disajikan sangat berbeda dari buku Logika Matematika lainnya yang mungkin sudah pernah Anda baca. Terdapat 3 bagian yang dibahas dalam buku ini. Bagian Matematika yang membahas mengenai logika komputasi sampai dengan metode-metode dalam pembuktian matematika. Bagian Ilmu Komputer atau Informatika akan membahas mengenai analisis algoritma mulai dari membuktikan kebenaran algoritma sampai dengan menganalisis kompleksitas waktu suatu algoritma.&#13;
&#13;
Buku ini tidak hanya menjelaskan tentang algoritma dan menganalisisnya secara matematis, tetapi diberikan juga contoh implementasi algoritma dengan menggunakan bahasa pemrograman Python. Tentunya tujuan dari implementasi ini untuk melihat profil kompleksitas waktu algoritma secara komputasi pada komputer dibandingkan dengan hasil analitik secara matematis.&#13;
&#13;
Buku ini akan membahas beberapa pokok bahasan seperti berikut ini:&#13;
# Pengantar Algoritma Logika Komputasi&#13;
# Himpunan Bilangan&#13;
# Teknik Dasar Pembuktian Matematika&#13;
# Kebenaran Algoritma Iteratif&#13;
# Kebenaran Algoritma Rekursif&#13;
# Notasi Waktu Asimptotik Algoritma&#13;
# Analisis Kompleksitas Waktu Algoritma Iteratif&#13;
# Analisis Kompleksitas Waktu Algoritma Rekursif&#13;
# Implementasi Algoritma</note>
 <note type="statement of responsibility">Putu Harry Gunawan</note>
 <subject authority="">
  <topic>Algoritma</topic>
 </subject>
 <subject authority="">
  <topic>Logika Matematika</topic>
 </subject>
 <classification>511.3</classification>
 <identifier type="isbn">9786230128929</identifier>
 <location>
  <physicalLocation>PERPUSTAKAAN UHN I GUSTI BAGUS SUGRIWA DENPASAR Online Public Access Catalog</physicalLocation>
  <shelfLocator>511.3 Put-l</shelfLocator>
  <holdingSimple>
   <copyInformation>
    <numerationAndChronology type="1">B034215/24</numerationAndChronology>
    <sublocation>Perpustakaan Kampus Bangli</sublocation>
    <shelfLocator>511.3 Put-l c.1</shelfLocator>
   </copyInformation>
   <copyInformation>
    <numerationAndChronology type="1">B034216/24</numerationAndChronology>
    <sublocation>Perpustakaan Kampus Bangli</sublocation>
    <shelfLocator>511.3 Put-l c.2</shelfLocator>
   </copyInformation>
   <copyInformation>
    <numerationAndChronology type="1">B034217/24</numerationAndChronology>
    <sublocation>Perpustakaan Kampus Bangli</sublocation>
    <shelfLocator>511.3 Put-l c.3</shelfLocator>
   </copyInformation>
  </holdingSimple>
 </location>
 <slims:image>Logika_Matematika-_untuk_Analisis_Algoritma.jpeg.jpeg</slims:image>
 <recordInfo>
  <recordIdentifier>4764</recordIdentifier>
  <recordCreationDate encoding="w3cdtf">2024-03-14 13:32:07</recordCreationDate>
  <recordChangeDate encoding="w3cdtf">2024-03-14 13:33:23</recordChangeDate>
  <recordOrigin>machine generated</recordOrigin>
 </recordInfo>
</mods>
</modsCollection>