|
Обратите внимание, что наш сайт не размещает какие-либо файлы из списка. Вы не можете скачать
эти файлы или скачать torrent-файл.
|
| 1_intro.pdf |
41.53Кб |
| 1_intro.ppt |
72.50Кб |
| 10_cfl2.pdf |
138.44Кб |
| 10_cfl2.ppt |
134.50Кб |
| 11_cfl3.pdf |
122.71Кб |
| 11_cfl3.ppt |
136.00Кб |
| 1 - 1 - 1. Course outline and motivation (15 min.).mp4 |
17.08Мб |
| 1 - 1 - 1. Course outline and motivation (15 min.).srt |
64б |
| 1 - 1 - 1. Course outline and motivation (15 min.).txt |
30б |
| 12_pda1.pdf |
121.54Кб |
| 12_pda1.ppt |
147.00Кб |
| 1 - 2 - 2. Informal introduction to finite automata (11 min.).mp4 |
12.58Мб |
| 1 - 2 - 2. Informal introduction to finite automata (11 min.).srt |
15.70Кб |
| 1 - 2 - 2. Informal introduction to finite automata (11 min.).txt |
10.76Кб |
| 13_pda2.pdf |
92.73Кб |
| 13_pda2.ppt |
113.00Кб |
| 1 - 3 - 3. Deterministic finite automata (36 min.).mp4 |
40.34Мб |
| 1 - 3 - 3. Deterministic finite automata (36 min.).srt |
47.78Кб |
| 1 - 3 - 3. Deterministic finite automata (36 min.).txt |
32.71Кб |
| 14_cfl4.pdf |
92.77Кб |
| 14_cfl4.ppt |
86.00Кб |
| 1 - 4 - 4. Nondeterministic finite automata (46 min.).mp4 |
51.54Мб |
| 1 - 4 - 4. Nondeterministic finite automata (46 min.).srt |
46.01Кб |
| 1 - 4 - 4. Nondeterministic finite automata (46 min.).txt |
31.50Кб |
| 15_cfl5.pdf |
130.34Кб |
| 15_cfl5.ppt |
147.00Кб |
| 16_tm1.pdf |
152.12Кб |
| 16_tm1.ppt |
203.00Кб |
| 17_tm2.pdf |
177.11Кб |
| 17_tm2.ppt |
201.00Кб |
| 18_tm3.pdf |
91.82Кб |
| 18_tm3.ppt |
103.50Кб |
| 19_tm4.pdf |
190.22Кб |
| 19_tm4.ppt |
229.00Кб |
| 2_vfa.ppt |
296.00Кб |
| 2_vfa1.pdf |
227.17Кб |
| 20_pnp1.pdf |
101.08Кб |
| 20_pnp1.ppt |
119.00Кб |
| 21_pnp2.pdf |
134.54Кб |
| 21_pnp2.ppt |
172.50Кб |
| 2 - 1 - 5. Regular expressions (38 min.).mp4 |
42.51Мб |
| 2 - 1 - 5. Regular expressions (38 min.).srt |
42.51Кб |
| 2 - 1 - 5. Regular expressions (38 min.).txt |
29.04Кб |
| 22_pnp3.pdf |
135.17Кб |
| 22_pnp3.ppt |
164.00Кб |
| 2 - 2 - 6. Regular expressions in the real world (17 min.).mp4 |
18.64Мб |
| 2 - 2 - 6. Regular expressions in the real world (17 min.).srt |
20.54Кб |
| 2 - 2 - 6. Regular expressions in the real world (17 min.).txt |
14.08Кб |
| 2 - 3 - 7. Decision algorithms for regular languages (41 min.).mp4 |
46.73Мб |
| 2 - 3 - 7. Decision algorithms for regular languages (41 min.).srt |
49.58Кб |
| 2 - 3 - 7. Decision algorithms for regular languages (41 min.).txt |
33.88Кб |
| 2 - 4 - 8. Closure properties of regular languages (20 min.).mp4 |
22.96Мб |
| 2 - 4 - 8. Closure properties of regular languages (20 min.).srt |
22.24Кб |
| 2 - 4 - 8. Closure properties of regular languages (20 min.).txt |
15.22Кб |
| 3_fa2.pdf |
174.45Кб |
| 3_fa2.ppt |
220.00Кб |
| 3 - 1 - 9. Introduction to context-free grammars (27 min.).mp4 |
30.46Мб |
| 3 - 1 - 9. Introduction to context-free grammars (27 min.).srt |
29.89Кб |
| 3 - 1 - 9. Introduction to context-free grammars (27 min.).txt |
20.42Кб |
| 3 - 2 - 10. Parse trees (26 min.).mp4 |
29.64Мб |
| 3 - 2 - 10. Parse trees (26 min.).srt |
29.65Кб |
| 3 - 2 - 10. Parse trees (26 min.).txt |
20.30Кб |
| 3 - 3 - 11. Normal forms for context-free grammars (27 min.).mp4 |
31.09Мб |
| 3 - 3 - 11. Normal forms for context-free grammars (27 min.).srt |
33.86Кб |
| 3 - 3 - 11. Normal forms for context-free grammars (27 min.).txt |
23.13Кб |
| 3 - 4 - 12. Pushdown automata (24 min.).mp4 |
26.69Мб |
| 3 - 4 - 12. Pushdown automata (24 min.).srt |
26.41Кб |
| 3 - 4 - 12. Pushdown automata (24 min.).txt |
18.09Кб |
| 4_fa3.pdf |
145.67Кб |
| 4_fa3.ppt |
172.50Кб |
| 4 - 1 - 13. Equivalence of PDA's and CFG's (18 min.).mp4 |
20.55Мб |
| 4 - 1 - 13. Equivalence of PDA's and CFG's (18 min.).srt |
19.45Кб |
| 4 - 1 - 13. Equivalence of PDA's and CFG's (18 min.).txt |
13.33Кб |
| 4 - 2 - 14. The pumping lemma for CFL's (12 min.).mp4 |
13.46Мб |
| 4 - 2 - 14. The pumping lemma for CFL's (12 min.).srt |
14.84Кб |
| 4 - 2 - 14. The pumping lemma for CFL's (12 min.).txt |
10.20Кб |
| 4 - 3 - 15. Decision and closure properties for CFL's (35 min.).mp4 |
39.58Мб |
| 4 - 3 - 15. Decision and closure properties for CFL's (35 min.).srt |
39.87Кб |
| 4 - 3 - 15. Decision and closure properties for CFL's (35 min.).txt |
27.21Кб |
| 4 - 4 - 16. Turing machines (34 min.).mp4 |
38.22Мб |
| 4 - 4 - 16. Turing machines (34 min.).srt |
43.34Кб |
| 4 - 4 - 16. Turing machines (34 min.).txt |
29.65Кб |
| 5_re1.pdf |
135.73Кб |
| 5_re1.ppt |
127.50Кб |
| 5 - 1 - 17. Extensions and properties of Turing machines (37 min.).mp4 |
41.50Мб |
| 5 - 1 - 17. Extensions and properties of Turing machines (37 min.).srt |
46.74Кб |
| 5 - 1 - 17. Extensions and properties of Turing machines (37 min.).txt |
31.89Кб |
| 5 - 2 - 18. Decidability (18 min.).mp4 |
20.78Мб |
| 5 - 2 - 18. Decidability (18 min.).srt |
23.58Кб |
| 5 - 2 - 18. Decidability (18 min.).txt |
16.15Кб |
| 5 - 3 - 19. Specific undecidable problems (56 min.).mp4 |
62.40Мб |
| 5 - 3 - 19. Specific undecidable problems (56 min.).srt |
66.57Кб |
| 5 - 3 - 19. Specific undecidable problems (56 min.).txt |
45.49Кб |
| 6_re2.pdf |
72.92Кб |
| 6_re2.ppt |
86.50Кб |
| 6 - 1 - 20. P and NP (25 min.).mp4 |
28.49Мб |
| 6 - 1 - 20. P and NP (25 min.).srt |
33.67Кб |
| 6 - 1 - 20. P and NP (25 min.).txt |
22.98Кб |
| 6 - 2 - 21. Satisfiability and Cook's theorem (44 min.).mp4 |
49.36Мб |
| 6 - 2 - 21. Satisfiability and Cook's theorem (44 min.).srt |
52.56Кб |
| 6 - 2 - 21. Satisfiability and Cook's theorem (44 min.).txt |
35.90Кб |
| 6 - 3 - 22. Specific NP-complete problems (33 min.).mp4 |
36.64Мб |
| 6 - 3 - 22. Specific NP-complete problems (33 min.).srt |
42.94Кб |
| 6 - 3 - 22. Specific NP-complete problems (33 min.).txt |
29.36Кб |
| 7_rs1.pdf |
212.39Кб |
| 7_rs1.ppt |
287.50Кб |
| 7 - 1 - Problem Session 1.mp4 |
18.74Мб |
| 7 - 1 - Problem Session 1.srt |
16.54Кб |
| 7 - 1 - Problem Session 1.txt |
11.34Кб |
| 7 - 2 - Problem Session 2.mp4 |
11.45Мб |
| 7 - 3 - Problem Session 3.mp4 |
27.20Мб |
| 7 - 4 - Problem Session 4.mp4 |
11.57Мб |
| 8_rs2.pdf |
99.33Кб |
| 8_rs2.ppt |
125.50Кб |
| 9_cfl1.pdf |
96.67Кб |
| 9_cfl1.ppt |
167.00Кб |
| problem-session-1.pdf |
72.70Кб |
| problem-session-1.ppt |
79.00Кб |
| problem-session-2.pdf |
143.93Кб |
| problem-session-2.ppt |
275.00Кб |
| problem-session-3.pdf |
137.74Кб |
| problem-session-3.ppt |
121.50Кб |
| problem-session-4.pdf |
22.43Кб |
| problem-session-4.ppt |
95.00Кб |