L? trnh Ton r?i r?c

N?n t?ng l thuy?t c?t li cho Khoa h?c my tnh v cc ?ng d?ng trong cng ngh? thng tin.

Trở về lộ trình
Giai ?o?n Ch? ?? chnh N?i dung & Ho?t ??ng h?c t?p M?c tiu & S?n ph?m
1. T?ng quan Gi?i thi?u chung
  • Vai tr trong Khoa h?c my tnh.
  • Cc ?ng d?ng th?c ti?n.
  • Hi?u r t?m quan tr?ng v ph?m vi ?ng d?ng c?a Ton r?i r?c.
2. L?p lu?n Logic ton h?c v m?nh ??
  • M?nh ?? v php ton logic.
  • Lu?t logic, b?ng chn tr?.
  • ??nh l, ch?ng minh (ph?n ch?ng, quy n?p).
  • N?m v?ng n?n t?ng c?a m?i l?p lu?n v ch?ng minh.
3. Quan h? T?p h?p v quan h?
  • Khi ni?m t?p h?p, php ton.
  • Quan h?, tnh ch?t c?a quan h?.
  • Quan h? t??ng ???ng, quan h? th? t?.
  • H?c cch nhm cc ??i t??ng v ??nh ngh?a m?i lin h?.
4. nh x? Hm s? v nh x?
  • ??nh ngh?a, mi?n xc ??nh, mi?n gi tr?.
  • Hm 1-1, ton nh, song nh.
  • Hm h?p, hm ng??c.
  • Nghin c?u quy t?c t??ng ?ng gi?a cc t?p h?p.
5. Logic my tnh ??i s? Bool
  • C?u trc ??i s? Bool.
  • Bi?u di?n v t?i gi?n bi?u th?c logic.
  • ?ng d?ng trong thi?t k? m?ch s?.
  • Khm ph h? th?ng ton h?c c?a logic v ?ng d?ng trong my tnh.
6. S? h?c S? h?c r?i r?c
  • Chia h?t, s? nguyn t?, GCD.
  • Thu?t ton Euclid.
  • S? d?, ??ng d? v ?ng d?ng (m?t m RSA).
  • Nghin c?u tnh ch?t c?a s? nguyn v ?ng d?ng trong m?t m.
7. ??m T? h?p v xc su?t r?i r?c
  • Quy t?c ??m: c?ng, nhn.
  • Hon v?, ch?nh h?p, t? h?p.
  • Xc su?t r?i r?c.
  • H?c cc k? thu?t ??m v phn tch kh? n?ng x?y ra c?a s? ki?n.
8. ?? quy Quan h? ?? quy v hm sinh
  • ??nh ngh?a quan h? ?? quy.
  • Ph??ng php gi?i ?? quy tuy?n tnh.
  • Hm sinh (generating function).
  • M hnh ha cc bi ton c tnh ch?t t? l?p l?i.
9. M?ng l??i ?? th? (Graph Theory)
  • Khi ni?m ?? th?, ???ng ?i, chu trnh.
  • Cy, cy khung, cy nh? phn.
  • Thu?t ton Euler, Hamilton.
  • N?n t?ng cho vi?c m hnh ha m?ng l??i v cc m?i quan h?.
10. L thuy?t ??i s? quan h? v Ngn ng? hnh th?c
  • Ngn ng? hnh th?c, V?n ph?m.
  • Bi?u th?c chnh quy (Regular expression).
  • ?ng d?ng: my h?u h?n, trnh bin d?ch.
  • C? s? l thuy?t cho c? s? d? li?u v trnh bin d?ch.
11. Th?c hnh ?ng d?ng trong CNTT
  • C? s? d? li?u (t?p h?p, quan h?).
  • M?t m h?c (s? h?c r?i r?c).
  • Tm ki?m v AI (logic, ?? th?).
  • T?ng k?t v lin h? ki?n th?c ? h?c v?i cc l?nh v?c th?c t?.

T? duy C?t li cho Ton r?i r?c

1. Ch?t ch? & Chnh xc Logic

M?i pht bi?u ph?i chnh xc v m?i kh?ng ??nh ph?i ???c ch?ng minh. Tr?c gic l kim ch? nam, nh?ng ch?ng minh hnh th?c m?i l ?ch ??n. Khng c "g?n ?ng" trong logic.

2. T? duy theo C?u trc & Tr?u t??ng ha

H?c cch nhn nh?n v?n ?? khng ph?i l cc k?ch b?n c? th? m l cc tr??ng h?p c?a nh?ng c?u trc tr?u t??ng nh? t?p h?p, ?? th?, ho?c quan h?. ?i?u ny cho php b?n p d?ng cc cng c? m?nh m?, t?ng qut.

3. Phn r V?n ??

Nh?ng thch th?c ph?c t?p th??ng c th? ???c chia thnh cc ph?n nh? h?n, r?i r?c v d? qu?n l h?n. Gi?i quy?t t?ng ph?n, sau ? k?t h?p cc gi?i php m?t cch c ph??ng php.

4. Nhn Th? gi?i m?t cch R?i r?c

Rn luy?n tr c ?? xem th? gi?i d??i d?ng cc ??n v?, cc b??c v cc tr?ng thi ring bi?t. ? l v? vi?c ??m, s?p x?p th? t? v lin k?t cc m?c ring bi?t, v?n l n?n t?ng c?a tnh ton.