Sains komputer
Bahasa formal
Apakah bahasa formal, abjad dan rentetan. Konsep asas teori bahasa formal dijelaskan melalui perbandingan dengan bahasa harian dan contoh.
Automaton terhingga
Automaton terhingga sebagai model pengiraan dengan keadaan dan peralihan. Takrif, gambar rajah peralihan, formalisasi pengiraan dan contoh rentetan yang diterima.
Peminimuman automaton
Keadaan tak tercapai bagi automaton terhingga, iaitu keadaan yang tidak dapat dicapai dari keadaan awal. Takrif dan cara membuangnya daripada automaton dengan selamat.
Sifat tertutup bahasa nalar
Bahasa nalar tertutup terhadap kesatuan, persilangan, perangkaian dan tutupan. Maksud ketertutupan terhadap suatu operasi dan sebab sifat ini benar bagi bahasa nalar.
Ungkapan nalar
Apakah ungkapan nalar dan cara ungkapan ini memerihalkan set rentetan. Takrif, perbandingan dengan ungkapan aritmetik dan kaitannya dengan automaton terhingga.
Anggaran bilangan nilai unik
Linear counting: cara menganggar bilangan nilai unik dalam data yang besar. Fungsi cincang, peta bit dan sebab kaedah naif tidak mencukupi.
Penapis Bloom: Adakah sesuatu unsur berada dalam set?
Penapis Bloom ialah struktur data berkebarangkalian yang dapat menjawab dengan pantas sama ada sesuatu unsur berada dalam set. Prinsip, fungsi cincang dan kegunaan praktikal.
Sifer Caesar
Cara sifer Caesar berfungsi, salah satu cara tertua untuk menyulitkan teks. Prinsip anjakan huruf, pengitlakan sifer dan alat penyulitan dalam talian.
Sifer Vigenère
Sifer Vigenère menggunakan beberapa abjad, maka sifer ini tahan terhadap analisis kekerapan. Prinsip penyulitan, segi empat sama Vigenère, pemilihan kunci dan alat dalam talian.