Ilmu komputer teoretis: Perbedaan antara revisi

Teori komputasi pembelajaran fokus dalam melakukan analisis formal matematis terhadap keakuratan fungsi klasifikasi dalam contoh. Pada contoh sebelumnya, analisis keakuratan tergolong mudah, karena label bersifat biner (bisa dimakan/1 dan tidak bisa dimakan/0).<ref name=":02" /> Teori komputasi pembelajaran juga melakukan eksplorasi formal matematis terhadap ragam bentuk klasifikasi lain, yang terbukti sangat sulit dilakukan.<ref>{{Cite book|last=Russell|first=Stuart J.|last2=Norvig|first2=Peter|date=2021|title=Artificial intelligence: a modern approach|location=Hoboken, NJ|publisher=Pearson|isbn=978-0-13-461099-3|edition=Fourth Edition|series=Pearson Series in Artificial Intelligence|others=Ming-wei Chang, Jacob Devlin, Anca Dragan, David Forsyth, Ian Goodfellow, Jitendra Malik, Vikash Mansinghka, Judea Pearl, Michael J. Wooldridge}}</ref>

 

Teori komputasi bilangan adalah irisan dari ilmu komputer dan [[teori bilangan]], dengan tujuan mengkaji permasalahan dalam teori bilangan dari sudut pandang ilmu komputer, dan mencari algoritma yang efisien untuk memecahkan masalah-masalah tersebut.<ref name=":03">{{Cite web|last=Weisstein|first=Eric W.|title=Computational Number Theory|url=https://mathworld.wolfram.com/|website=mathworld.wolfram.com|language=en|access-date=2023-12-21}}</ref> Permasalahan-permasalahan bilangan yang dibahas dalam teori bilangan komputasi umumnya melibatkan bilangan bulat (''integer'') yang berukuran terlalu besar untuk ditampung atau diproses dalam komputer dengan prosesor 32 maupun 64 bita.<ref name=":12">{{Cite book|last=Wagstaff, Jr.|first=Samuel S.|date=2010|url=https://dl.acm.org/doi/book/10.5555/1882757|title=Algorithms and theory of computation handbook. 1: General concepts and techniques|location=|publisher=Chapman & Hall|isbn=978-1-58488-822-2|editor-last=Atallah|editor-first=Mikhail J.|edition=2. ed|chapter=Computational Number Theory|editor-last2=Blanton|editor-first2=Marina|chapter-url=https://dl.acm.org/doi/pdf/10.5555/1882757.1882773|url-status=live}}</ref>