I HC QUC GIA H NI

TRNG I HC KHOA HC T NHIN

KHUNG CHNG TRNH

O TO THC S

Chuyn ngnh: Bo m ton hc cho my tnh v h thng tnh ton Mathematical Foundation for Computers and Computing Systems M s : 60.46.35

H Ni - 2007

I HC QUC GIA H NI
TRNG I HC KHOA HC T NHIN

KHUNG CHNG TRNH O TO THC S

Chuyn ngnh: Bo m ton hc cho my tnh v h thng tnh ton Mathematical Foundation for Computers and Computing Systems M s : 60.46.35 Ngnh: Ton hc Khung chng trnh o to thc s ngnh Ton hc, chuyn ngnh Bo m ton hc cho my tnh v h thng tnh ton c ban hnh theo Quyt nh s: /SH ngy thng nm 2007 ca Gim c i hc Quc gia H Ni. H ni, ngy thng nm 2008

CH NHIM KHOA SAU I HC

GS. TSKH. Nguyn Hu Cng

H Ni -2008

I HC QUC GIA H NI

CNG HO X HI CH NGHA VIT NAM

TRNG I HC KHOA HC T NHIN

c lp T do Hnh phc

_____________

_____________

KHUNG CHNG TRNH O TO THC S

Chuyn ngnh: Bo m ton hc cho my tnh v h thng tnh ton Ngnh: Ton hc Phn I. Gii thiu chung v chng trnh o to.
1. Mt s thng tin v chuyn ngnh o to. - Tn chuyn ngnh: Bo m ton hc cho my tnh v h thng tnh ton (Mathematical foundation for computers and computing systems).

M s: 60.46.35

- M s chuyn ngnh: 60.46.35 - Tn ngnh: Ton hc (Mathematics).

Bc o to: Thc s

- Tn vn bng: Thc s Ton hc (Master in Mathematics).

n v o to: Trng i hc Khoa hc T nhin, i hc Quc gia H Ni. 2. i tng d thi v cc mn thi tuyn.

- i tng c ng k d thi: Cng dn nc CHXHCN Vit Nam c cc

iu kin quy nh di y c d thi vo o to thc s: 1.1 iu kin vn bng Th sinh phi c mt trong cc vn bng sau: a) C bng tt nghip ngnh ng hoc ph hp vi ngnh ng k d thi: Ton hc, Ton Tin ng dng, S phm Ton, Ton C. b) C bng tt nghip i hc chnh qui ngnh gn vi ngnh ng k d thi, hc b sung kin thc cc mn hc c trnh tng ng vi bng tt nghip i hc ngnh ng. Ni dung, khi lng (s tit) cc mn hc b sung do trng HKHTN, HQG HN quy nh. 1.2 iu kin v thm nin cng tc

a) Th sinh c bng tt nghip i hc loi kh tr ln, ngnh tt nghip ng hoc ph hp vi ngnh ng k d thi c d thi ngay sau khi tt nghip i hc. b) Nhng trng hp cn li phi c t nht hai nm kinh nghim lm vic trong lnh vc chuyn mn ng k d thi k t khi tt nghip i hc (tnh t ngy Hiu trng k quyt nh cng nhn tt nghip) n ngy ng k d thi. Cc mn thi tuyn u vo:

o Mn thi C bn: Gii tch hoc Tin c s

o Mn thi C s: Ton logic o Mn Ngoi ng: trnh B, mt trong nm th ting: Anh, Nga, Php, c, Trung Quc. Phn II. Khung chng trnh o to. 1. Mc tiu o to: - V kin thc: Trang b cc kin thc nng cao v Tin hc l thuyt v c s Ton hc cho Tin hc thuc chuyn ngnh Bo m ton hc cho my tnh v cc h thng tnh ton. - V k nng: Thc s chuyn ngnh Bo m ton hc cho my tnh v cc h thng tnh ton c kh nng ging dy cc mn Ton hc, Tin hc cc trng i hc, cao ng; - V nng lc: c nng lc thc hin cc cng tc chuyn mn v nghin cu khoa hc trong chuyn ngnh ca mnh, tham gia vo cc hng nghin cu hin c ti Khoa Ton - C - Tin hc: - Ngn ng hnh thc v Otomat. - iu khin cc h tng tranh - Thit k v phn tch cc h thng thng tin - X l ngn ng t nhin Thc s chuyn ngnh Bo m ton hc cho my tnh v cc h thng tnh ton c th c tip tc o to bc Tin s theo cc m ngnh tng ng. - V nghin cu: C kh nng tham gia cc ti nghin cu v ton ng dng, khoa hc my tnh v cng ngh thng tin. 2. Ni dung o to: Tm tt yu cu chng trnh o to: Tng s tn ch phi tch lu: 57 tn ch, trong : - Khi kin thc chung (bt buc): 11 tn ch. - Khi kin thc c s v chuyn ngnh: 30 tn ch. o Bt buc: 22 tn ch. o La chn: 8 tn ch/32 tn ch. - Lun vn:16 tn ch.

2.2 Khung chng trnh:

STT M mn hc Tn mn hc (Ting Vit, Ting Anh) S tn ch S gi tn ch TS (LL/ThH/TH)* S tit hc TS (LL/ThH/TH)** M s cc mn hc tin quyt

(1) (2) I. Khi kin thc chung

1. 2. 3. MG01 MG02 MG03

(3)

(4) 11
4 4 3

(5)
60(60/0/0) 60(30/30/0) 45 (15/15/15)

(6)
180(60/0/120) 180(30/60/90) 135(15/30/90)

(7)

Trit hc Philosophy Ngoi ng chung Foreign languague for general purposes Ngoi ng chuyn ngnh Foreign languague for specific purposes

II. Khi kin thc c s v chuyn ngnh

4. 5. 6. 7. 8. 9. 10. 11. II.1. Cc mn hc bt buc TNBD501 C s d liu suy din Deductive Database TNBD502 Logic m Fuzzy Logic TNBD503 Thut ton song song Parallel Algorithms TNBD504 H chuyn gia v tr tu nhn to Artificial Intelligence and Expert Systems TNBD505 L thuyt thut ton Theory of Algorithms TNBD506 Khai ph d liu Data Mining TNBD507 Mng my tnh nng cao Advanced Computer Networking TNBD508 Ngn ng hnh thc v Otomat (nng cao) Advanced Formal Languague and Automata 22 2 2 2 2 2 2 2 2 30(25/5/0) 30(25/5/0) 30(25/5/0) 30(25/5/0) 30(25/5/0) 30(25/5/0) 30(25/5/0) 30(25/5/0) 90(25/10/55) 90(25/10/55) 90(25/10/55) 90(25/10/55) 90(25/10/55) 90(25/10/55) 90(25/10/55) 90(25/10/55)

12. 13. 14.

15. 16. 17. 18. 19. 20. 21. 22. 23. 24. 25. 26. 27.

Cng ngh phn mm (nng cao) Advanced Software Engineering TNBD510 An ton d liu nng cao Advanced Data Security TNBD511 H thng phn tn Distributed Systems II.2. Cc mn hc la chn TNBD512 Phn tch thit k h thng Analysis and Design of Systems TNBD513 H h tr quyt nh (DSS) Decision Support Systems TNBD514 Nguyn l ca ngn ng lp trnh Principles of Programming Languague TNBD515 Cc m hnh tng tranh Concurrent Models TNBD516 L thuyt th v ng dng Graph Theory and Applications TNBD517 C s d liu phn tn Distributed Database TNBD518 Chng trnh dch (nng cao) Compiler TNBD519 Giao din ngi - my (HCI) Human-Computer Interface TNBD520 a phng tin Multimedia TNBD521 T chc d liu tri thc Knowledge Representation TNBD522 Lp trnh mng Network Programming TNBD523 L thuyt phc tp Theory of Complexity TNBD524 X l ngn ng t nhin

TNBD509

2 2 2 8/32 2 2 2 2 2 2 2 2 2 2 2 2 2

30(25/5/0) 30(25/5/0) 30(25/5/0)

90(25/10/55) 90(25/10/55) 90(25/10/55)

30(25/5/0) 30(25/5/0) 30(25/5/0) 30(25/5/0) 30(25/5/0) 30(25/5/0) 30(25/5/0) 30(25/5/0) 30(25/5/0) 30(25/5/0) 30(25/5/0) 30(25/5/0) 30(25/5/0)

90(25/10/55) 90(25/10/55) 90(25/10/55) 90(25/10/55) 90(25/10/55) 90(25/10/55) 90(25/10/55) 90(25/10/55) 90(25/10/55) 90(25/10/55) 90(25/10/55) 90(25/10/55) 90(25/10/55) TNBD506, TNBD504 TNBD502

28. 29. 30.

TNBD525 TNBD526 TNBD527

Natural Languague Processing Tnh ton li Grid Computing X l tn hiu s Digital Signal Processing H thng nhng Embedded Systems

TNBD508 2 2 2 30(25/5/0) 30(25/5/0) 30(25/5/0) 90(25/10/55) 90(25/10/55) 90(25/10/55)

III. Lun vn Cng:

16 57

Ghi ch: * Tng s gi tn ch (s gi tn ch ln lp/s gi tn ch thc hnh/s gi tn ch t hc) ** Tng s tit hc tn ch (s tit hc tn ch ln lp/s tit hc tn ch thc hnh/s tit hc tn ch t hc)
2.3

Danh mc ti liu tham kho.

STT

M mn hc (1) (2) I. Khi kin thc chung

1. 2. 3. MG01 MG02 MG03

Tn mn hc (3)

S Tn ch (4)
11 4 4 3

Danh mc ti liu tham kho (Ti liu bt buc, Ti liu tham kho thm)

(5)
Theo chng trnh chung Theo chng trnh chung Theo chng trnh chung

Trit hc Philosophy Ngoi ng chung Foreign languague for general purposes Ngoi ng chuyn ngnh Foreign languague for specific purposes

II. Khi kin thc c s v chuyn ngnh

4. II.1. Cc mn hc bt buc TNBD501 C s d liu suy din Deductive Database 22 2 Subrata Kumar Das, Deductive Databasea and Logic Programming, Ed. Addison Wesley, 1992 Phan Trng Dn, Ngn ng lp trnh Prolog v.2, NXB. KHKT, 1998

5.

TNBD502

Logic m Fuzzy Logic

Phan Huy Khnh, Lp trnh logic trong Prolog, NXB. i hc quc gia H ni, 2004 Timothy J. Ross, Fuzzy Logic with Engineering Applications, ISBN: 0470860758, 650 pages, paperback, published by John Wiley & Sons, 2nd edition, 2004 Kevin M. Passino and Stephen Yurkovich, Fuzzy Control, Addison Wesley Longman, Menlo Park, CA, 1998 (later published by Prentice-Hall). http://eewww.eng.ohiostate.edu/~passino/FCbook.pdf McNeill, Martin and Ellen Thro., Fuzzy Logic: a Practical Approach, 1994 Academic Press Professional. http://www.fuzzysys.com/books/FLLib/ FUZZYPDF/FUZZYLOG.PDF Bt buc Ananth Grama, Anshul Gupta, George Karypis, and Vipin Kumar, Introduction to parallel computing, 2nd edition, Addison-Wesley, 2003. ISBN 0-201-64865-2 Seyed H. Roosta, Parallel Processing and Parallel Algorithms, Springer-Verlag, 2000. Tham kho thm M. Sasikumar, Dinesh Shikhare, P. Ravi Prakash, Introduction to Parallel Processing, Prentice - Hall, 2000 Barry Wilkinson, Michael Allen, Parallel Programming, Prentice Hall, 1999. Michael Jay. Quinn, Parallel Computing, McGRAWHILL, 1994. Joseph JJ, An Introduction to Parallel Algorithms, Addison-Wesley Company, 1992.

6.

TNBD503

Thut ton song song Parallel Algorithms

10

Website http://www-unix.mcs.anl.gov/dbpp/ http://www-users.cs.umn.edu/~karypis/parbook/ 7. TNBD504 H chuyn gia v tr tu nhn to Artificial Intelligence and Expert Systems 2 Bratko, I., Prolog, 2 Ed., Addison-Wesley, 1990. ChBratko, I., Prolog, 2 Ed., Addison-Wesley, 1990. Charniak, E., and McDermott, D., Introduction to Artificial Intelligence, Addison-Wesley, 1987. Dean, T., Allen, J., and Aloimonos, Y., Artificial Intelligence Theory and Practice, Benjamin/Cummings, 1995. Giarratano, J., and Riley, G., Expert Systems Principles and Programming, PWS-KENT, 1989. Luger, G., and Stubblefield, W., Artificial Intelligence , 2 Ed., Benjamin/Cummings, 1993. Nilsson, N. J., Principles of Artificial Intelligence, Tioga, 1980. Rich, E. and Knight, K., Artificial Intelligence, 2 Ed., McGraw-Hill, 1991. Russell S., and Novig, P., Artificial Intelligence A Modern Approach, 1995. Tanimoto, S. L., The Elements of Artificial Intelligence Using Common Lisp, 2 Ed., W. H. Freeman, 1995.arniak, E., and McDermott, D., Introduction to Artificial Intelligence, AddisonWesley, 1987. Dean, T., Allen, J., and Aloimonos, Y., Artificial Intelligence Theory and Practice, Benjamin/Cummings, 1995. Giarratano, J., and Riley, G., Expert Systems Principles and Programming, PWS-KENT, 1989.

11

8.

TNBD505

L thuyt thut ton Theory of Algorithms

9.

TNBD506

Khai ph d liu Data Mining

Luger, G., and Stubblefield, W., Artificial Intelligence , 2 Ed., Benjamin/Cummings, 1993. Nilsson, N. J., Principles of Artificial Intelligence, Tioga, 1980. Rich, E. and Knight, K., Artificial Intelligence, 2 Ed., McGraw-Hill, 1991. Russell S., and Novig, P., Artificial Intelligence A Modern Approach, 1995. Tanimoto, S. L., The Elements of Artificial Intelligence Using Common Lisp, 2 Ed., W. H. Freeman, 1995. I. Manxep, Thut ton v hm quy (Ting Nga), Mockva 1965. C s ton hc ca iu khin hc, (Ting Nga), Mockva, 1974. A. Tractenbrot, Thut ton v cc otomat tnh ton, (Ting Nga), Mockva, 1974. c gio & ng Huy Run, L thuyt hm quy, HTH H Ni, 1991. Phan nh Diu, L thuyt otomat v thut ton H ni 1977. Ti liu chnh. Jiawei Han v Micheline Kamber. Data Mining: Concepts and Techniques. Morgan Kaufmann Publisher, 2001 (v file poiwerpoint bi ging t ngun www-courses.cs.uiuc.edu/~cs497jh/). Cc ti liu tham kho khc Pierre Baldi, Paolo Frasconi, Padhraic Smyth. Modeling the Internet and the Web: Probabilistic Methods and Algorithms, Wiley, 2003. Peter Cabena, Pablo Hadjinian, Roff Stadler, Jaap

12

13

Verheer, Alexxandro Zanasi. Discovering Data Mining. From Concept to Inplementation. Prentice Hall Ptr, Upper Staddle River, New Jersey 07458, 1997 R. O. Duda, P. E. Hart v D. G. Stork. Pattern Classification (Second Edition), Wiley, 2000, ISBN: 0-471-05669-3. Usama M. Fayyad, Gregory Piatetsky-Shapiro, Padhraic Smyth, Ramasamy Uthurusamy. Advances in Knowledge Discovery in Databases. AAAI Press/The MIT Press. 1996, W.H. Inmon. Building the Data Warehouse (Third Edition). John Wiley & Sons, Inc., 2002, ISBN: 0471-08130-2, 2002. Boris Kovalerchuk, Evgenii Vityaev. Data Mining in Finance: Advances in Relational and Hybrid Methods. Kluwer Academic Publishers, Second Printing, 2001. Nguyen Hung Son. Rough Set and Data Mining. 2006. Christopher Westphal, Teresa Blaxton. Data Mining Solution. Wiley Computer Publishing, 1998. Ian H. Writen and Eibe Frank. Data Mining: Practical Machine Learning Tools and Techniques (Second Edition). Elsevier Inc., 2005, ISBN: 0-12088407-0. Jason T.L. Wang, Mohammed J. Zaki, Hannu T.T. Toivonen v Dennis Shasha (eds.). Data Mining in BioInformatics. Springer, 2005. Wojciech P. Ziarko (Ed., 1994). Rough Sets, Fuzzy Sets and Knowledge Discovery. Proceedings of the International Workshop on Rough Sets and

10 .

TNBD507

Mng my tnh nng cao Advanced Computer Networking

11 .

TNBD508

Ngn ng hnh thc v Otomat (nng cao) Advanced Formal Languague and Automata

Knowledge Discovery (RSKD'93), Banff, Alberta, Canada, 12-15 October 1993, Springer-Verlag. Larry Peterson and Bruce Davie , Computer Networks: A Systems Approach (3rd Edition), Morgan Kaufmann, 2003. Michael Donahoo and Kenneth Calvert , TCP/IP Sockets in C: Practical Guide for Programmers, Morgan Kaufmann, 2003. Jim Kurose and Keith Ross , Computer Networking: A Top-Down Approach Featuring the Internet, Addison-Wesley. 1998 R. Guerin, A. Orda, and D. Williams. QoS Routing Mechanisms and OSPF Extensions. Global Internet 1997. Cc bi bo khoa hc lin quan Andras Adam, Behavior and Simplicity of Finite Moore Automata, Akademiai Kiado, Budapest, 1996. Taylor L. Booth, Sequential Machines and Automata Theory, John Wiley and Sons, Inc., New York, NY, 1967. Parimal Pal Chaudhuri, et al., Additive Cellular Automata: Theory and Applications, IEEE Computer Society Press, Los Alamitos, CA, 1997. Vladimir Drobot, Formal Languages and Automata Theory, Computer Science Press, Inc., Rockville, MD, 1989. Ding-Zhu Du and Ker-I. Ko, Problem Solving in Automata, Languages, and Complexity, A WileyInterscience Publication, New York, NY, 2001. John E. Hopcroft, Rajeev Motwani, and Jeffrey D. Ullman, Introduction to Automata Theory, Languages, and Computation, 3rd edition, Pearson

14

12 .

TNBD509

Cng ngh phn mm (nng cao) Advanced Software Engineering

Addison-Wesley Publishing Company, Inc., Reading, MA, 2006. Bakhadyr Khoussainov and Anil Nerode, Automata Theory and Its Applications, Birkhauser, Boston, MA, 2001. Mark V. Lawson, Finite Automata, Chapman & Hall/CRC, Washington, DC, 2004. Peter Linz, An Introduction to Formal Languages and Automata, 4th edition, Jones and Bartlett, Boston, MA, 2006. Alexander Meduna, Automata and Languages: Theory and Applications, Springer Verlag, London, UK, 2000. John N. Mordeson and Davender S. Malik, Fuzzy Automata and Languages: Theory and Applications, Chapman & Hall/CRC, Boca Raton, FL, 2002. John E. Savage, Models of Computation: Exploring the Power of Computing, Addison Wesley Longman, Inc., Reading, MA, 1998. Matthew Simon, Automata Theory, World Scientific Press, Singapore, 1999. Thomas A. Sudkamp, Languages and Machines: An Introduction to the Theory of Computer Science, 3rd Edition, Pearson - Addison-Wesley Longman, Inc., Reading, MA, 2005. Pressman R.S. Software Engineering: Practitioner's Approach. Fifth edition. McGraw-Hill Inc., 2004. Steinberg D., Palmer D. Extreme Software Engineering: A Hands-On Approach. Prentice Hall. 2003. Ahern M. D., Clouse A., Turner R. CMMI Distilled: A Practical introduction to Integrated Process

15

Improvement. Second Edition. Pearson Education, Inc. 2004. Additional reading: Schwaber K., Beedle M. Agile Software Development with SCRUM. Prentice Hall. 2002. Schwalbe Kathy. Information Technology Project Management. Third Edition. Thompson Learning, Inc. 2004. ISO/IEC 12207:1995 Information technology Software life cycle processes. Geneva: ISO, 1995. IEEE/EIA 12207.0-1997 Industry Implementation of International Standard ISO/IEC 12207. IEEE Standards: Software Engineering, Volume One: Customer and Terminology Standards. 1999. IEEE/EIA 12207.1-1997 Software life cycle processes Life cycle data. IEEE Standards: Software Engineering, Volume One: Customer and Terminology Standards. 1999. ISO/IEC 15507:1998 Information technology Software process assessment. Geneva: ISO, 1998 ISO/IEC 91261:2001. Software engineering Product quality Part 1: Quality model. Geneva: ISO, 2001

ISO/IEC 91262:2003. Software engineering

Product quality Part 2: External metrics. Geneva: ISO, 2003, ISO/IEC 91263:2003. Software engineering Product quality Part 3: Internal metrics. Geneva: ISO, 2003

16

13 .

TNBD510

An ton d liu nng cao Advanced Data Security

Bishop, M., Computer Security: Art and Science,

14 .

TNBD511

H thng phn tn Distributed Systems

Addison-Wesley, 2003. Menezes, A. J., van Oorschot, P. C., and Vanstone, S. A., Handbook of Applied Cryptography, CRC, 1996. Pfleeger, C. P., Pfleeger, S. L., Security in Computing, Third Edition, Printice-Hall, 2002. Anderson, R., Security Engineering: A Guide to Building Dependable Distributed Systems, Wiley, 2001. Ti liu bt buc: Couloris, Dollimore, and Kindberg, Distributed Systems: Concepts and Design, Addison Wesley, 2005 Ti liu tham kho Rachid Guerraoui and Louis Rodrigues. Introduction to Reliable Distributed Programming. Springer-Verlag, Berlin, Germany, 2006. Cc bi bo khoa hc lin quan

II.2. Cc mn hc la chn 15 TNBD512 Phn tch thit k h thng Analysis and Design of Systems .

8/22 2

Booch G., Rumbaugh J. and Jacobson I., The unified

Software Development Process, Addision Wesley, 1998. Booch G., Rumbaugh J. and Jacobson I., The unified Software Modeling User Guide, Addision Wesley, 1999. Sommerville I., Software Engineering, 4th edition, Addision Wesley, 1994. Larman C., Applying UML and Patterns: An Instruction to Object Oriented Analysis and Design, Prentice Hall, 1997. Michael B., William P., Object Oriented Modeling

17

16 . TNBD513 H h tr quyt nh (DSS) Decision Support Systems 2

and Design for Database Applications, Addision Wesley 1997 Oestrereich B., Development Software with UML, Object Oriented Analysis and Design in Practic, Addision Wesley, 2000 OMG, The OMG Unified Modeling Language Specification, http://www.omg.org/uml, 1999 Quatrani T., Visual Modeing With Rational Rose and UML, Addison Wesley, http://www.rational.com , 2000 Liang Y., From use cass to classees: a way of building object model with UML, Information and Software Technology, 45 (2003) 83-93, www.elsevier.com/loate/sof. Zhiming L., Object Oriented Sofware Developmet Using UML, UNU.IIST, Macau 2001 ng Vn c, Phn tch thit k hng i tng bng UML (Thc hnh vi Rational Rose), NXB Khoa hc v K thut, H Ni, 2002 on Vn Ban, Phn tch, thit k v lp trnh hng i tng, NXB Thng k 1997 on Vn Ban, Hong Quang, Chuyn i cc biu thc i s quan h thnh cu truy vn trong m hnh d liu hng i tng, Tp ch Khoa hc v Cng ngh, Tp 40 S B, 2002 (120 129). on Vn Ban, C s d li hng i tng, Gio trnh Khoa CNTT, H Ni, 2003. Finlay, P. N. (1994). Introducing decision support systems. Oxford, UK Cambridge, Mass., NCC Blackwell; Blackwell Publishers. Turban, E. (1995). Decision support and expert

18

17 . TNBD514 Nguyn l ca ngn ng lp trnh Principles of Programming Languague 2

systems: management support systems. Englewood Cliffs, N.J., Prentice Hall. Haag, Cummings, McCubbrey, Pinsonneault, Donovan (2000). Management Information Systems: For The Information Age. McGraw-Hill Ryerson Limited: 136-140. Marakas, G. M. (1999). Decision support systems in the twenty-first century. Upper Saddle River, N.J., Prentice Hall. Holsapple, C.W., and A. B. Whinston. (1996). Decision Support Systems: A Knowledge-Based Approach. St. Paul: West Publishing. Sprague, R. H. and H. J. Watson (1993). Decision support systems: putting theory into practice. Englewood Clifts, N.J., Prentice Hall Turban, E.,Aronson, J.E., and Liang, T.P.(2005). Decision Support Systems and Intelligent Systems. New Jersey, Pearson Education, Inc. D.A. Watt, Programming language Concept and Paradigms, Prentice, 1990. T.J. Bergin and R.G. Gibson, History of Programming languages. New York: ACM Press, 1996. R.W. Sebesta, Concepts of Programming th languages,4 edition, Reading, MA: Addision Wesley, 1996. J.G. Brookshear, Computer Science, an overview, 6th edition, Addision Wesley, 2000. J. C. Mitchell, Foundations of Programming languages, The MIT Press, 1996. R. Sethi, Programming languages: Concepts and Constructs, Addision Wesley, 1989.

19

 T.W. Pratt and M.V. Zelkowitz, Programming

18 . TNBD515 Cc m hnh tng tranh Concurrent Models 2

19 .

TNBD516

L thuyt th v ng dng Graph Theory and Applications

20 .

TNBD517

C s d liu phn tn Distributed Database

Languages, Design and Implemetation, 3rd edition, Englewood Cliffs, NJ: Prentice Hall, 1996. J. Aalbersberg & G. Rozenberg, Theory of Traces, Theoretical Computer Science 60 (1988), pp 1-82. L. Alfaro, T. A. Henzinger and F. Y. C. Mang, The Control of Synchronous Systems, LNCS 1877 (2000), pp 458-473. C. A. R. Hoare, Communicating Sequential Processes, Prentice Hall 1985 R. Milner, Communicating and Concurrency, Prentice Hall 1991 W. Reisig, Petri Nets: An Introduction, Springer Verlag 1985 Hoang Chi Thanh, Behavioural Synchronization of Net Systems, IMSc. Report 115, Madras, India (1991), pp. 136 - 145. Douglas B. West, Introduction to Graph Theory, (2nd edition, Prentice-Hall, 2001, ISBN: 0-13014400-2). C. Berge, L thuyt th v ng dng (Bn dch ting Vit), H ni, 1971 Ton ri rc dnh cho k s. Moskva, 1988 (ting Nga). ng Huy Run, L thuyt th v ng dng, NXB KHKT H Ni, 2001 Ti liu bt buc Valduriez P., et al., Nguyn l ca cc h phn tn, NXB. Thng k, 1999 Ti liu tham kho S. Ceri and G. Pelagatti, Distributed Database:

20


21 . TNBD518 Chng trnh dch (nng cao) Compiling Program 2

21

Principle and Systems, New York: Mc Graw Hill, 1984. R. Elmasri and S.B. Navathe, Fundamentals of Database Systems,2nd edition. Menlo Park, Calif.: Benjamin Cummings, 1994. David Bell and Jane Grimson, Distributed Database Systems, Addision Wesley, 1992. M. Tamer Ozsu and Patrick Valduriez, Principles of Distributed Database Systems, 2nd edition, Prentice Hall, 1999. M. S. Sacco and S. B. Yao, Query optimization in Distributed Database Systems, Advance in Computer, Vol 21, Academic Press, 1982. P.A. Berstein and D.M. Chiu, Using semi joins to solve relation queries, Journal of the ACM, Vol. 28, No. 1, March 1981. L. Lamport, Time, clocks and the ordering of events in distributed systems, Com. ACM, Vol 21, No. 7, 1978. E. Knapp, Deadlock detection in distributed databases, ACM Computing surveys, Vol. 19, Num. 4, December 1987 H Thun, H Cm H, Cc h C s d liu: L thuets v thc hnh, tp 2, Chng 9, Nh xut bn Gio dc 1987. Aho, Alfred V., Sethi, R., and Ullman, D., Compilers: Principles, Techniques and Tools. Pearson Higher Education, 1985 V.J. Rayward & A. Smith, First course in formal language theory - M. 1978. Arto Saloma, Nhp mn l thuyt tnh ton v cc

22 .

TNBD519

Giao din ngi - my (HCI) Human-Computer Interface

23 .

TNBD520

a phng tin Multimedia

otomat (Bn dch ting Vit) NXB KHKT, H ni 1992. B.M. Goluskov et al. Algebra of programming languages - Kiev, 1974. John E Hopcroft & Jeffrey D. Ullman, Formal languages and their relation to automata, 1982 Wilhelm, R., and Maurer, D., Compiler Design (International Computer Science). Addison Wesley, 1995) Muchnick, S., Advanced Compiler Design and Implementation. Morgan Kaufmann Publishers, 1997. Bornat, R., Understanding and Writing Compilers: A Do It Yourself Guide. Macmillan Education, 1979. Alain Cooper, The essential of user interface design, Ed. IDG books Worldwide, 1995. C. Faulkner, The essence of Human-computer interaction. Ed. Prentice Hall, 1998. D. Bental, Conceptual Modeling for User Interface Development. Ed. Springer, 1999. D. R. Olsen Jr., User interface management systems : models and algorithms. Ed. Morgan Kaufman Publishers, 1992. J. Preece et al., Human-computer interaction. Ed. Addison Wesley, 1994. J. Raskin, The Human interface. Ed. Addison Wesley, 2000. Bt buc Simon Gibbs, Multimedia Programming, AddisonWedsley - 1995 Ti liu c thm

22

24 .

TNBD521

T chc d liu tri thc Knowledge Management

25 .

TNBD522

Lp trnh mng Network Programming

Robin Williams; Peachpit Press, The Non-Designer's Design Book, 2004; ISBN: 0321193857 Tay Vaughan ; McGraw Hill, Multimedia: Making It Work, 2004; ISBN: 0072230002 James Lengel; Addison-Wesley, The Web Wizard's Guide to Multimedia on the Web, 2001; ISBN: 0201745615 Jim Shuman, Multimedia Concepts: Enhanced Edition, Thomson Course Technology, 2003; ISBN: 061911052X John Durkin, Expert Systems. Nxb. Prentice Hall, 1994. Kurt Sundermeyer, Knowledge Based Systems. Nxb. Wissenschaftsverlag, 1991. N. Nilson, Artificial Intelligence. Nxb. McGrawhill, 1971. Patrick Henry Winston, Artificial Intelligence. Nxb. Addison Wesley, 1992. Rich Elaine, Artificial Intelligence. Nxb. McGrawhill, 1983. Stuart Russell, Peter Norvig, Artificial Intelligence. A mordern approach. Nxb. Prentice Hall, 1995. Michel Tom M., Machine learning, Nxb. McGrawHill, 1997 Margaret A. Boden, Artificial Intelligence, Nxb. Academic Press, 1996 Internetworking with TCP/IP, Vol. III: Client-Server Programming and Applications, Linux/Posix Sockets Version, by Douglas E. Comer and David Stevens, Prentice Hall, 2001, ISBN 0-13-032071-4. Computer Networks and Internets with Internet Applications, third edition, by Douglas E. Comer,

23

26 .

TNBD523

L thuyt phc tp Theory of Complexity

27 .

TNBD524

X l ngn ng t nhin Natural Languague Processing

28 .

TNBD525

Tnh ton li Grid Computing

29.

TNBD526

X l tn hiu s

Prentice Hall, 2001, ISBN 0130914495. Hands-On Networking with Internet Technologies, second edition, by D.E. Comer and W.D. Laverell, Prentice-Hall, 2003, ISBN: 0-13-144310-0. T. Cormen, C. Leiserson, R. Rivest, Introduction to Algorithms , McGraw-Hill, 1990 Vanderbei, R. Linear Programming: Foundations and Extensions. Springer, 2nd edition, 2001. Laurence A. Wolsey, George L. Nemhauser. Integer and Combinatorial Optimization, 1988 Web http://www.princeton.edu/~rvdb/LPbook/index.html C. D. Manning, H. Schtze, 1999, Foundations of Statistical Natural Language Processing, The MIT Press, Cambridge, Massachusetts. R. Mitkov, 2002, The Oxford Handbook of Computational Linguistics, Oxford Univ. Press Daniel Jurafsky and James H. Martin: Speech and Language Processing: An introduction to natural language processing, computational linguistics, and speech recognition, Prentice-Hall, 2000. (second edition 2008) Ti liu bt buc: Ian Foster and Carl Kesselman , The Grid 2: Blueprint for a New Computing Infrastructure, Morgan Kaufmann, 2003 Ti liu tham kho: Fran Berman, Geoffrey Fox and Anthony J.G. Hey, Grid Computing: Making The Global Infrastructure a Reality, John Wiley & Sons; 2003. Cc bi bo khoa hc J.G. Proakis and D.G. Manolakis, Digital Signal

24

Digital Signal Processing

30.

TNBD527

H thng nhng Embedded Systems

Processing -- Principles, Algorithms, and Applications, Third Edition, Prentice Hall, 1996 Oppenheim, Schafer, and Buck, "Discrete-Time Signal Processing, 2nd Edition" , Prentice Hall, 1999 S. K. Mitra, Digital Signal Processing: A ComputerBased Approach, 2e., with DSP Laboratory using MATLAB, McGraw-Hill, 2001. S. Haykin, Adaptive Filter Theory, Prentice Hall, 1995. H. Liu, Signal Processing Applications in CDMA Communications, Artech House, 2000. G. B. Giannakis, Y. Hua, P. Stoica, and L. Tong, Signal Processing Advances in Wireless and Mobile Communications, Volume 1: Trends in Channel Estimation and Equalization, Prentice Hall, 2000. G. B. Giannakis, Y. Hua, P. Stoica, and L. Tong, Signal Processing Advances in Wireless and Mobile Communications, Volume 2: Trends in Single- and Multi-User Systems, Prentice Hall, 2000. Burns, A. Wellings, "Real-Time Systems and Their Programming Languages", Addison Wesley, 1996. P. Laplante, "Real-Time Systems Design and Analysis: An Engineer's Handbook", John Wiley & Sons, 1996. Cc bi bo khoa hc

2.4

i ng cn b ging dy.

STT M mn hc

Tn mn hc

S Tn ch 25

H v tn

Cn b ging dy Chc danh, Chuyn hc v ngnh o to

n v cng tc

(1) (2) I. Khi kin thc chung

1. 2. 3. MG01 MG02 MG03

(3)

(4)
11 4 4 3

(5)

(6)

(7)

(8)

Trit hc Philosophy Ngoi ng chung Foreign languague for general purposes Ngoi ng chuyn ngnh Foreign languague for specific purposes

Theo s phn cng ca trng HKHTN Theo s phn cng ca trng HKHTN Theo s phn cng ca trng HKHTN

II. Khi kin thc c s v chuyn ngnh

4. II.1. Cc mn hc bt buc TNBD501 C s d liu suy din Deductive Database TNBD502 TNBD503 Logic m Fuzzy Logic Thut ton song song Parallel Algorithms H chuyn gia v tr tu nhn to Artificial Intelligence and Expert Systems L thuyt thut ton Theory of Algorithms Khai ph d liu Data Mining Mng my tnh nng cao Advanced Computer Networking 22 2 Trung Tun PGS.TS. Tin hc Khoa Ton C Tin hc, HKHTN Vin Ton hc Khoa Sau i hc, HQGHN Khoa Ton C Tin hc, HKHTN Khoa Ton C Tin hc, HKHTN Khoa Ton C Tin hc, HKHTN Vin CNTT Khoa Ton C Tin hc,

5. 6.

2 2

Bi Cng Cng PGS.TS. Nguyn Thi Hng Minh TS.

Tin hc Tin hc

7.

TNBD504

Trn Th Chu PGS.TS.

Tin hc

8.

TNBD505

9.

TNBD506

Nguyn Hu PGS.TS. Ng ng Hu Run GS.TS. Trung Tun PGS.TS.

Tin hc

Tin hc

10.

TNBD507

Trn Gia Hiu L Trng Vnh

PGS.TS. TS.

Tin hc

26

11.

TNBD508

Ngn ng hnh thc v Otomat (nng cao) Advanced Formal Languague and Automata Cng ngh phn mm (nng cao) Advanced Software Engineering An ton d liu nng cao Advanced Data Security H thng phn tn Distributed Systems

ng Huy Run GS.TS.

Tin hc

12. 13. 14.

TNBD509 TNBD510 TNBD511

2 2 2

Nguyn Xun Huy Tn Quc Bnh L Trng Vnh

GS.TS. TS. TS.

Tin hc Tin hc Tin hc

HKHTN Khoa Ton C Tin hc, HKHTN Vin CNTT Cng ty HIPT Khoa Ton C Tin hc, HKHTN Vin CNTT Khoa Ton C Tin hc, HKHTN Khoa Ton C Tin hc, HKHTN Khoa Ton C Tin hc, HKHTN Khoa Ton C Tin hc, HKHTN Khoa Ton C Tin hc, HKHTN Khoa Ton

II.2. Cc mn hc la chn 15. TNBD512 Phn tch thit k h thng Analysis and Design of Systems 16. TNBD513 H h tr quyt nh (DSS) Decision Support Systems 17. TNBD514 Nguyn l ca ngn ng lp trnh Principles of Programming Languague Cc m hnh tng tranh Concurrent Models L thuyt th v ng dng Graph Theory and Applications C s d liu phn tn Distributed Database Chng trnh dch (nng cao)

14/38 2 2

on Vn Ban

PGS.TS.

Tin hc Tin hc

Trung Tun PGS.TS.

Nguyn Hu Ng Hong Ch Thnh ng Huy Run

PGS.TS.

Tin hc

18.

TNBD515

PGS.TS.

Tin hc

19.

TNBD516

PGS.TS.

Tin hc

20.

TNBD517

Trung Tun

PGS.TS.

Tin hc

21.

TNBD518

Nguyn Hu

PGS.TS.

Tin hc

27

Compiling Program 22. TNBD519 Giao din ngi - my (HCI) Human-Computer Interface a phng tin Multimedia T chc d liu tri thc Knowledge Management Lp trnh mng Network Programming L thuyt phc tp Theory of Complexity X l ngn ng t nhin Natural Languague Processing Tnh ton li Grid Computing X l tn hiu s Digital Signal Processing H thng nhng Embedded Systems 2

Ng L Trng Vnh TS Tin hc

23. 24.

TNBD520 TNBD521

2 2

Nguyn Ct H Trung Tun

PGS.TS. PGS.TS.

Tin hc Tin hc

C Tin hc, HKHTN Khoa Ton C Tin hc, HKHTN Vin CNTT Khoa Ton C Tin hc, HKHTN i hc GTVT Khoa Ton C Tin hc, HKHTN Khoa Ton C Tin hc, HKHTN Khoa Ton C Tin hc, HKHTN Khoa Vt l, HKHTN Vin CNTT

25. 26.

TNBD522 TNBD523

2 2

Phm Vn t Nguyn Hu Ng Nguyn Thi Minh Huyn Phm K Anh

PGS.TS. PGS.TS.

Tin hc Tin hc

27.

TNBD524

TS.

Tin hc

28.

TNBD525

GS.TS.

Tin hc

29. 30.

TNBD526 TNBD527

Tn Tch i Nguyn Thng Ct

PGS.TS. PGS.TS.

Tin hc Tin hc

III. Lun vn Cng

16 57

28

2.5

Tm tt ni dung mn hc. 1. Trit hc Theo chng trnh chung 2. Ngoi ng chung Theo chng trnh chung 3. Ngoi ng chuyn ngnh Theo chng trnh chung

4. C s d liu suy din Deductive Database Mn hc c mc ch trang b kin thc v : 1. Tri thc v th hin tri thc; 2. M hnh d liu logic 3. C s d liu tng qut v c s d liu suy din 4. Ngn ng hi trong c s d liu suy din 5. Logic m Fuzzy Logi Chuyn nhm cung cp nhng kin thc c bn v logic m v mt s ng dng. Cc ni dung s c cp: - Kin thc cn bn v logic m - iu khin qu trnh bng logic m - H thng quyt nh s dng logic m - H thng nhn dng s dng lgic m - H m v mng n-ron 6. Thut ton song song Parallel Algorithms Mn hc gii thiu mt s khi nim c bn v x li song song nh m hnh kin trc song song, h iu hnh v ngn ng lp trnh song song. Ni dung chnh ca mn hc tp trung vo vic tm hiu cc vn xung quanh vic xy dng, nh gi v trin khai cc thut ton song song. Cc chng ni dung chnh bao gm: 1. Gii thiu v x l song song 2. Kin trc v h iu hnh 3. Cc ngn ng lp trnh song song 4. Thut ton song song

Cc vn c bn trong thit k v nh gi thut ton song song Thut ton song song theo chuyn mc: thut ton tnh ton, sp xp, tm kim, thut ton trn th... 7. H chuyn gia v tr tu nhn to Artificial Intelligence and Expert Systems Mn hc nhm trang b cc kin thc v: - Tng quan v tr tu nhn to - Biu din tri thc - Cc h thng k hiu: cy, th, phn cp, logic tn t v logic mnh , mng ng ngha, rng buc, ph thuc khi nim, c s d liu - Tm kim: Khng gian tm kim, tm kim theo chiu rng/chiu su trc, cc thut ton di truyn - Suy din logic - Suy din xc sut - Hc - Mng n-ron - H chuyn gia: T chc, cng c, cc hn ch, v d 8. L thuyt thut ton Theory of Algorithms Mn hc nhm trang b kin thc v phng php xy dng thut ton hiu qu v phn tch tnh ng n v mt ton hc v phc tp ca thut ton. Ni dung bao gm: - Gii thiu - Phn lp. M Huffman - Quy hoch ng - ng i ngn nht (tun t v phn tn) - Lung cc i - Cc lp phc tp 9. Khai ph d liu Data Mining Mn hc c mc ch trang b kin thc v : 1. D liu v o 2. M hnh v mu d liu 3. X l d liu thng k v ni suy d liu 4. Qui lut ca d liu 5. T chc d liu v c s d liu 6. M hnh khai ph d liu v ng dng

30

10. Mng my tnh nng cao Advanced Computer Networking Mn hc ny nhm trnh by cc nguyn l ca mng my tnh tp trung vo cc thut ton, cc giao thc, s thc hin ca cc dch v mng tin tin. Cc ch chnh ca chuyn c bao gm: 1. Gii thiu: Kin trc ca Internet - Lch s v s pht trin. 2. M phng mng. 3. iu khin lung v tc nghn . 4. nh tuyn. 5. Qun l Traffic. 6. Wireless Access and Mobility. 7. Cc ng dng v Middleware.

11. Ngn ng hnh thc v Otomat (nng cao) Advanced Formal Languague and Automata Mn hc nhm trang b cc kin thc nng cao v l thuyt ngn ng hnh thc v tmat. Ni dung bao gm: - tmat hu hn - Biu thc chnh quy v ngn ng chnh quy. Cc tnh cht ca lp ngn ng chnh quy - Vn phm v ngn ng phi ng cnh. - tmat y xung. Cc tnh cht ca ngn ng phi ng cnh - Tnh ng ca ngn ng chnh quy v phi ng cnh - Cc dng chun ca vn phm - Cc thut ton on nhn cho vn phm - My Turing - Tnh khng quyt nh c - Tnh NP-y . 12. Cng ngh phn mm (nng cao) Advanced Software Engineering Mn hc ny nhm trnh by cc nguyn l trong qu trnh qun l v pht trin phm mm vi cc cch tip cn cng nghip. Mn hc ny s tho lun cc vn l thuyt nh: chu trnh pht trin phn mm, lp k hoch, qun tr cht lng (theo cc chun ca ISO v IEEE), qun l ri ro, kim th . ca phn mm. Mn hc ny cng trnh by cch tip cn Extreme Software Engineering. Ni dung ca chuyn bao gm

31

i)

Phn mm: S phn loi theo ISO v IEEE. Kin trc phn mm, cc hot ng v tc v chnh trong qu trnh pht trin phn mm

ii) Sn phm phn mm: S phn loi theo ISO v IEEE v cc c chng ca chng. Cc m hnh lp ca sn phm phn mm. iii) Qu trnh pht trin v cc sn phm ca n: Cc hot ng ca qu trnh pht trin phn mm, cc tc v v sn phm ca n. S lin quan gia cc hot ng v sn phm iv) Chu trnh h tr phn mm: H tr cc qu trnh phn mm, s lin quan ca n vi cc hot ng pht trin.
v)

Cht lng phn mm v s nh gi cht lng phn mm Lp k hoch cho mt phn mm nh gi qu trnh pht trin phn mm: Kim th phn mm, qun l ri ro v thay i

vi) vii)

Extreme Software Engineering approaches 13. An ton d liu nng cao Advanced Data Security Chuyn ny cung cp kin thc v cc vn lin quan n an ton d liu. Ni dung bao gm: Tng quan. Khi nim an ton, tnh ring t. Cc vn lut php lin quan. Cc vn v an ton trong cc h thng qun tr v phn tch d liu Cc cng c c bn: Gii thiu v Mt m hc ng dng v tnh ton an ton. L thuyt thng tin v l thuyt tr chi. An ton d liu Bo mt d liu Cc vn khc v xu hng tng lai: Khai ph d liu pht hin bt thng, Chi b thng tin.

14. H thng phn tn Distributed Systems Mc ch ca chuyn l trnh by cc nguyn tc c bn ca cc h thng phn tn nh l truyn thng, t tn, s ng b ha, s chu li . Chuyn s bao gm cc ch sau: i) ii) iii) iv) v) Tng quan v cc h thng phn tn Truyn thng trong cc h phn tn Naming trong h thng phn tn ng b ha Tnh thng nht v s ti to

32

vi) vii)

S chu li An ton trong h thng phn tn

15. Phn tch thit k h thng Analysis and Design of Systems Mn hc nhm mc ch cung cp cc kin thc v phn tch v thit k h thng hng i tng: Phng php hng i tng v qu trnh pht trin h thng phn mm UML v qu trnh pht trin phn mm thng nht. Biu ca s dng phn tch cc nhu cu ca h thng Phn tch h thng M hnh khi nim v biu lp M hnh ng thi: Cc biu tng tc v hnh ng trong h thng Thit k cc biu cng tc v biu thnh phn ca h thng Kin trc h thng v pht sinh m trnh 16. H h tr quyt nh (DSS) Decision Support Systems Mn hc c mc ch trang b kin thc v : 1. Cng tc qun l v tin hc ha cng tc qun l 2. Cc nh ngha v h thng tr gip quyt nh 3. M hnh, kin trc ca DSS 4. DSS nhm 5. Vai tr ca giao din ngi dng v h qun tr c s d liu trong DSS 6. DSS v h chuyn gia 17. Nguyn l ca ngn ng lp trnh Principles of Programming Languague Mn hc nhm cung cp cc nguyn l c bn ca cc kiu ngn ng lp trnh: - Khi qut v ngn ng lp trnh, lch s pht trin - Cc kiu gi tr - Lu tr - Lin kt, phm vi v khai bo - S tru tng (abstraction) - S bao gi (encapsulation) - Cc h thng kiu - Lp trnh mnh lnh - Lp trnh hng i tng - Lp trnh hm - Lp trnh lgic

33

18. Cc m hnh tng tranh Concurrent Models H thng tng tranh l cc h thng thng gp trong thc t. M hnh ho cc h thng ny nhn ra cc tnh cht ca chng v iu khin ti u s thc hin ca cc qu trnh trong h l mt trong s cc i tng nghin cu hin nay ca Tin hc. Chuyn s nghin cu mt s m hnh tng tranh nh: h cc iu kin v bin c, mng cc v tr v cc chuyn, ngn ng vt ng thi, chuyn cng s nghin cu bi ton iu khin trn cc m hnh ny v dng ngn ng vt biu din hnh vi ca hai m hnh trc v cc h hp thnh ca chng. 19. L thuyt th v ng dng Graph Theory and Applications Mn hc nhm trang b kin thc nng cao v l thuyt th v ng dng. Cc ch chnh l: - Bi ton th cc tr - Bi ton ghp cp (i snh) - T mu th - Chu trnh Hamilton - th y - Matroid - L thuyt Ramsey - th ngu nhin 20. C s d liu phn tn Distributed Database Mn hc c mc ch trang b kin thc v : 1. Nhu cu v d liu phn tn 2. M hnh d liu phn tn 3. Kin trc mng my tnh v vic phn tn ti nguyn mng 4. H qun tr c s d liu phn tn 21. Chng trnh dch (nng cao) Compiler Chuyn cung cp nn tng l thuyt v cc k thut thc hnh vit mt chng trnh dch. Cc kin thc c cung cp: - Vn phm v ngn ng - Lp trnh phn tch c php

34

T chc b nh trong thi gian chy chng trnh Bng k hiu Dng bn trong ca chng trnh ngun X l ng ngha cho cc ngn ng cu trc khi Cp pht b nh Khi phc li T chc m chng trnh

22. Giao din tng tc ngi - my (HCI) Human-Computer Interaction Mn hc c mc ch trang b kin thc v : 1. Cc ngnh lin quan n tng tc ngi-my 2. Tm l hc nhn thc trong HCI 3. Kha cnh cng ngh trong HCI 4. Cc kiu tng tc 5. nh gi HCI 6. T chc HCI 23. a phng tin Multimedia Mc ch ca mn hc nhm cung cp cho hc vin vin cc kin thc cp nht v cc khi nim, thut ng v phn mm a phng tin. Ni dung bao gm: - Gii thiu a phng tin - Cc kiu d liu - Phn tch ng dng a phng tin qua vi ng dng mu - Cc k thut a phng tin: vn bn tch hp, ho v hot hnh, video - S dng mt phn mm vit ng dng a phng tin. 24. T chc d liu tri thc Knowledge Representation Mn hc c mc ch trang b kin thc v : 1. Tri thc v phn loi tri thc 2. Th hin tri thc 3. Cu trc d liu trong c s d liu suy din 25 Lp trnh mng Network Programming Mc tiu mn hc: - Cung cp kin thc c bn v xy dng cc ng dng cho mng my tnh ni chung v mng Intranet/Internet ni ring.

35

Hiu v bit cch ng dng m hnh client-server v cc k thut lin quan (socket API, giao thc TCP/IP) - Hiu r kin trc c bn cc dch v Web (Web Service) v c ch trao i i tng clientserver theo giao thc SOAP. - Nm c mt s vn ch cht trong vic bo m an ton thng tin cho cc ng dng mng. 26. L thuyt phc tp Theory of Complexity Chuyn cung cp cc kin thc nn tng v l thuyt phc tp v ng dng cc vn l thuyt trong thc hnh. Ni dung mn hc: - Cc khi nim quan trng ca l thuyt phc tp - Pht hin cc bi ton P, NP, NP y - Cc phng php gii cc bi ton ti u t hp - Cc thut ton xp x, thut ton xc sut, heuristics v ng dng ca chng. 27. X l ngn ng t nhin Natural Languague Processing Trong thi i thng tin hin nay, nhu cu khai thc ngn ng trong cc ng dng cng ngy cng ln: Dch t ng, kim tra/cha li chnh t, ng php t ng, ch s ho ti liu, tm tt vn bn, i thoi ngi my, v.v. V vy, x l ngn ng t nhin (natural language processing) tr thnh mt trong cc lnh vc pht trin mi nhn. y l mt lnh vc nghin cu lin ngnh, gn lin Tin hc v Ngn ng hc. Chuyn nhm mc ch cung cp cho hc vin cao hc kin thc tng quan v lnh vc "X l ngn ng t nhin" v ng dng. Bn cnh vic gii thiu cc phng php chung c s dng trong x l ngn ng (vit), chuyn cng cp n cc vn nghin cu lin quan n x l ting Vit. Cc ni dung chnh: - Tng quan - Phn tch t vng - Phn tch c php - Phn tch ng ngha - Ng dng v i thoi ngi - my 28. Tnh ton li Grid Computing Chuyn s trnh by cc vn c bn trong tnh ton li nh nn tng phn cng, phn mm, giao thc, cng c . trong mt h thng tnh ton li. Chuyn s bao gm cc ch sau: i) Li tnh ton: S cn thit, cc k thut v yu cu cho mt h thng li tnh ton

36

ii) iii) iv) v) vi) vii) viii) ix)

Kin trc li tnh ton, nn tng mng, giao thc v dch v Nn tng tnh ton: H iu hnh v giao din mng Chn trnh dch, ngn ng lp trnh v th vin cho li tnh ton Lp lch v qun l ti nguyn o v nh gi hiu nng li tnh ton Vn v an ninh Globus Toolkit, Condor Cc kiu ng dng ca li tnh ton

29. X l tn hiu s Digital Signal Processing Chuyn cung cp cc kin thc v: - Biu din tn hiu theo thi gian - Bin i Fourier - nh l ly mu - H thng tuyn tnh bt bin - Cun ri rc - Bin i Z - Bin i Fourier ri rc - ng dng 30. H thng nhng Embedded Systems Chuyn ny trnh by cc nguyn tc c bn nh l h iu hnh, qun l ti nguyn, iu khin, tnh ton di ng . ca cc h thng nhng v h thng thi gian. Chuyn bao gm cc ch sau: i) ii) iii) iv) v) vi)
vii)

Cc khi nim c bn v lp trnh Real-Time Metrics, Benchmarks, Applications Cht lng dch v Lp lich B vi x l Mng H iu hnh Real-Time qun l ti nguyn. Cc cng c

viii)

37

38