* 1388 *

1389

4 ..........................................................................................................................................................................

) ( " " ....................................................

) ( " " ...........................................................

.........................................................................................................

8 ..............................................................................................................

) ............................................................................................................... (

) ............................................................................................................................... (

) ............................................................................................................ (

) ............................................................................................................... (

) ............................................................................................................... (

..................................................................................................................... ()

................................................................................................................ ( )

) .................................................................................................... (

)............................................................................................................................ (
) ................................................................................................ (

) ....................................................................................................... (

) ............................................................................................................(

) .............................................................................................................................. (

) .............................................................................................................. (

) .......................................................................................................................... (

37 .......................................................................................................................

) .......................................................................................................................... (

) ...................................................................................................................... (

) ................................................................................................................... (

) ........................................................................................................................ (

) .................................................................................................................... (

) ................................................................................................................ (

) ................................................................................................................... (

) .................................................................................................................. (

* 1388 *

: .
: :




: 32 )
(:
.1 : 12 - " " 2
" " 4 .
.2 : 12 - " " 3
" " 5 .
.3 2 : - 6
.4 6 : - 6
: . "
" 6 3 .
:
. " "
.
: TA ) 2(
. " " .
: .
.
:
1 . 8
. 12.

.1
)( )(
Data Structures and Algorithms 3 40254 1
Design of Algorithms 3 40354 2
Compiler Design 3 40414 3
Operating Systems 3 40424 4
Software Engineering 3 40474 5

 ) ( " "

.2
)( )(
Advanced Operating Systems
3 40534 1
)(Operating Systems 2 ) (2
Data Mining 3 40714 2
Software Development Methodologies 3 40724 3
Program Specification and Verification 3 40745 4
Computer Performance Evaluation 3 40824 5
Software Engineering 2 2 3 40924 6
Database Design 2 2 3 40938 7

.3 " "

)( )(
Decision Support Systems 3 40548 1
Software Architecture 3 40646 2
Computer Networks Modeling and Analysis 3 40657 3
Reactive Systems Verification 3 40665 4
Formal Program Development 3 40684 5
Semantic Web 3 40694 6
Advanced Topics in Software Architecture 3 40737 7
Patterns in Software Engineering 3 40787 8
Software Testing 3 40828 9
Advanced Topics in Software Engineering 3 40925 10
Advanced Topics in Software Systems 3 40926 11
" " ) " "
12
(.
) ( 13

 ) ( " "

.4 " "
)( )(
Parallel Processing 3 40647 1
Computational Geometry 3 40735 2
Advanced Algorithms 3 40765 3
Complexity Theory 3 40775 4
Approximation Algorithms 3 40834 5
Algorithmic Game Theory 3 40835 6
Learning Algorithms 3 * 7
* .

.5 " "
)( )(
Randomized Algorithms 3 40685 1
Combinatorial Optimization 3 40785 2
Advanced Topics in Computer Science 3 40795 3
Advanced Topics in Computer Science 2 2 3 40796 4
Advanced Topics in Theoretical Computer Science 3 40797 5
) ( 6
" " ) " "
7
(.

.6 -
)( )(
M.Sc. Seminar 2 ) 40900 (1 1
M.Sc. Thesis 6 40640 2

1389/10/14 1389/10/14

 )(40534
Advanced Operating Systems

:

: :
: ) ( 3 :
- : - :

.1
.2
.a
.b )(RPC
.c )(RMC
.d )(Message-Oriented
.e )(Stream-Oriented
.3
.a )( Threads
.b )(Client & Server
.c )(Code Migration
.4
.a
.b
.5
.6
.a
.b
.c
.7
.8

 .9
.a
.b
.c
.10
.a
.b
.c
Commitment .11
2-Phase Commitment .a
3-Phase Commitment .b

- -

Tanenbaum, A.S., and van Steen, M. Distributed Systems, Prentice-Hall, 2002.

Singhal, M., and Shivarati, N. Advanced Concepts in Operating Systems, McGraw-Hill, 1994.
Mullender, S. (Editor) Distributed Systems, 2nd edition, ACM Press, 1993.

Lynch, N. Distributed Algorithms, Morgan Kaufmann, 1997.

Tanenbaum, A.S. Distributed Operating Systems, Prentice-Hall, 1994.

 )(40714
Data Mining

:

: :
: ) ( 3 :
- : - :

.
.
. .
.

- ) 2( .1
) 3 4( .2
) 4 5( .3
) 5 6( .4
) 5 6( .5
) 5 6( .6
) 2 4( .7

- -
: ) %60 (
: %25) . (
: .
%15) . (

Han and Kamber, Data Mining Concepts and Techniques,

Techniques 2006.
Tan, Steinbach, and Kumar, Introduction to Data Mining, 2006.
Papers
apers from KDD, ICDM and other related conferences.

Hand, Mannila, and Smyth, Principles of Data Mining, MIT Press, 2001.
Witten and Eibe, Data Mining, Practical Machine Learning Tools and Techniques with Java Implementations,
Morgan Kaufmann, 1999.
KDnuggets.com: News, Publications, Software, Solutions
Many other papers and web resources, to be posted on the course website.

 )(40724
Software Development Methodologies

:

: :
: ) ( 3 :
- : - :

. /
.
) (SEI ) (MSE
Carnegie Mellon.

.

- ) 2 - .8
(
- Fusion ) 2( .9
OMT Booch RDD Coad-Yourdon
- Yourdon .10
4) Hodge-Mock( BON OOSE Mock
- EUP RUP/USDP UML-Components Catalysis OPM .11
OPEN 7) FOOM(
- Crystal AUP ASD XP Scrum DSDM 7) FDD( .12
MDA - 1) MDD( .13
) 2( .14
) 1( .15
- ) 2( .16
2) EPFC( .17

 - -
( %60) :
EPFC :
( %25) .
. :
( %15) .

Ambler, S.W. Process Patterns: Building Large-Scale Systems Using Object Technology. Cambridge University
Press, 1998.
Ambler, S.W., Nalbone, J., and Vizdos, M.J. The Enterprise Unified Process: Extending the Rational Unified
Process. Prentice-Hall, 2005.
Cockburn, A. Agile Software Development: The Cooperative Game, 2nd edition. Addison-Wesley, 2006.
OMG. Model Driven Architecture (MDA) Guide. Object Management Group (OMG). Available online at
http://www.omg.org/cgi-bin/doc?omg/03-06-01, 2003.
OMG. Software and Systems Process Engineering Metamodel Specification (v2.0). Object Management Group
(OMG). Available online at http://www.omg.org/cgi-bin/doc?ptc/2007-11-01, 2007.
Ralyt, J., Brinkkemper, S., and Henderson-Sellers, B. (Eds.). Situational Method Engineering: Fundamentals
and Experiences. Springer, 2007.
Ramsin, R., and Paige, R.F. Process-centered review of object-oriented software development methodologies.
ACM Computing Surveys 40, 1 (February), Article 3, 89 pages, 2008.
Shoval, P. Functional and Object Oriented Analysis and Design: An Integrated Methodology. Idea Group
Publishing, 2007.

 )(40745
Program Specification
ecification and Verification

:

: :
: ) ( 3 :
- : - :

.
.

.1 )1(
(a
(b
(c )(
.2 )1(
.3 2) Z(
(a
(b
(c
(d
(e
(f
.4 )2(
(a ) (Schema
(b
(c
(d )(Axiomatic Description
(e
.5 )2) (Schema Calculus(
(a )(Renaming and Decoration



, ; ,  ,  , ,  , , Inclusion
(b
(c
.6 1) Z(
(a Bag
(b )(Free Type
(c
.7 ) 1) (Promotion(
.8 ) 1) (Precondition(
.9 ) 3) (Verification(
(a
(b
(c
(d
(e
(f
.10 Z ) 2) (Refinement(
(a
(b
(c

- -
2 3
. ) 3(
.

.

.
.
7

Woodcock, J. and Davies, J. Using Z Specifications, Refinement, and Proof, Prentice-Hall, 1996.
Gries, D., and Schneider, F.B. A Logical Approach to Discrete Math, Springer, 1993.
Morgan, C. Programming from Specifications, Prentice-Hall, 1990.

 )(40824
Computer Performance Evaluation

:

: :
: ) ( 3 :
- : - :

.
) (measurement ) (analytic modeling ) (computer simulation
) (analytic-simulative . :
- )simulative
) (system validation
) (system tuning ) (bottleneck identificatin
) (workload characterization ) (capacity planning
).(forecasting

) (measures )(evaluation techniques .1

).(benchmarking
.2
) (monitoring .
.3
).(regression analysis
.4


) (irreducibility ) (ergodicity
M/M/ M/M/1/SI// M/M/c/SI// M/G//SI//
M/M/c/SI/K/ M/M/c
) (batch ) (method of stages FCFS
.PS

 )(Petri nets .5
)(stochastic Petri nets
.(stochastic activity networks).
)(product-form queueing networks .6
) (reversible
) (quasi-reversible
brute-force
) (multiclass
.

- -

Kant, K. Introduction to Computer System Performance Evaluation, McGraw-Hill, 1992.

Haverkort, B.R. Performance of Computer Communication Systems, John Wiley and Sons, 1998.

Lazowska, E.D., Zahorjan, J, Graham, G.S. and Sevcik, K.S. Quantitative System Performance, Prentice-Hall,
1984.
Nain, F. Basic Elements of Queueing Theory, Lecture Notes, 1998.
Jain, R. The Art of Computer System Performance Analysis, John Wiley and Sons, 1991.
Banks, J., Carson, J.S. and Nelson, B.L. Discrete-Event Simulation, 3rd edition, Prentice-Hall, 2000.
Bolch, G., Greiner, S., de Meer, H. and Trivedi, K. Queueing Networks and Markov Chains, 2nd edition, John
Wiley and Sons, 2006.

 (40924) 2
Software Engineering 2

:

: :
: ) ( 3 :
- : - :

.


. .

: .1
.2
.3
Cleanroom .4
.5
.6
.7
.8

- -
5 ) 15(
) 20(
) 15(
) 50(

Pressman, R.S. Software Engineering: A Practitioners Approach, 7th edition, McGraw-Hill, 2010.
Sommerville, I. Software Engineering, 8th edition, Addison-Wesley, 2006.
Weiss, D. and Lai, C.T.R. Software Product-Line Engineering: A Family-Based Software Development Process,
Addison-Wesley, 1999.
Bass, L., Clements, P., Kazman, R. Software Architecture in Practice, 2nd edition, Addison-Wesley, 2003.

 (40938 ) 2
Database Design 2

:

: :
: ) ( 3 :
- : - :

.1

.2
)--
( )--(

.3
: )----(

) --(

.
.4

UNDO-NO REDO, REDO-NO ) REDO
NO UNDO, REDO-
(UNDO, NO UNDO-NO .
UNDO REDO
.5


)----(

 .6
:
.
.7
- - - :
: .
.8

.

- -

Elmasri, R., and Navathe, S.B. Fundamentals of database systems, 4th edition, Addison-Wesley, 2003.
Silberschatz, H., Korth, F. and Sudarshan, S. Database Systems Concepts, 3rd edition, McGraw-Hill, 1997.
Date, C.J. An Introduction toDatabase Systems, Volume 2, Addison-Wesley, 1983.
Garcia-Molina, H., Ullman, J.D., and Widom, J. Database System Implementation, Prentice-Hall, 2000.
Weikum, G., and Vossen, G. Transactional Information Systems, Morgan Kaufmann, 2002.
Bernstein, P.A., Hadzilacos, V., and Goodman, N. Concurrency Control and Recovery in Database Systems,
Addison-Wesley, 1987.
Connolly, T.M., and Begg, C.E. Database Solutions: A step by step guide to building databases, Addison-
Wesley, 2003.
Simovici, D.A., and Tenney, R.L. Relational Database Systems, Academic Press, 1995.
Gray, J. and Reuter, A. Transaction Processing: Concepts and Techniques, Morgan Kaufmann, 1993.
: : ...
" )(:
o 1 3 7 9
o .

 )(40548
Decision Support Systems

:

: :
: ) ( 3 :
- : - :

.
) (MSS ) (DSS ) (BI .


.

.1
.2
) (Business Intelligence .3
) (MSS )(DSS .4
)(G-DSS .5
)(EIS .6
)(ES .7
)(KMS .8
.9
) (DSS .10

DSS (OLAP) On Line .11
.12
.13
) (Heuristic ) (OLAP
DSS DSS .14
.15

 EIS EIS .16
EIS DS
.17

.18
DSS .19
DSS )(MSS .20
.21
)(CRM .22
)(ERP .23
.24 )(AHP

- -
:
(1 .
(2
.

:
- .

:
.
: 6
. .

Turban, E., Sharda, R., and Delen, D. Decision Support System and Business Intelligent Systems, 9th edition,
Prentice-Hall, 2010.
Marakas, G.M. Decision Support in the 21st Century, 2nd edition, Prentice-Hall, 2003.
Todman, C. Designing a Data Warehouse: Supporting Customer Relationship Management, Prentice-Hall
Professional Technical Reference, 2000.
Brown, S.A. Customer Relationship Management: A Strategic Imperative in the World of e-Business, John Wiley
and Sons, 1999.

 )(40646
Software Architecture
:

: :
: ) ( 3 :
- : - :

:


) (...

COTS

.1
.2
.3
.4
.5
.6
.7
.8
.9
.10
.11
.12

 (DSSA) .13
.14
.15
.16
.17
.18
.19

- -
(%15)
(%25)
(%50)
(%10)

Shaw, M., Garlan, D., and Hall, P. Software Architecture: Perspectives on an Emerging Discipline, Prentice-
Hall, 1996.
Bass, L., Clements, P., and Kazman, R. Software Architecture in Practice, 2nd edition, Addison-Wesley, 2003.
Clements, P., et al. Documenting Software Architectures: Views and Beyond, Addison-Wesley, 2003.
J. Lattanze, A. Architecting Software Intensive Systems: A Practitioners Guide, Auerbach Publications, 2008.

 )(40657
Computer Networks Modeling
Mode and Analysis

:

: :
: ) ( 3 :
- : - :

.
) (The Internet and Web (Mobile Ad-
) hoc Networks ) (Wireless Sensor Networks - - (Peer-to-Peer
) Networks ) (Overlay Networks ) (Grid Computing )(Cloud Computing
) (Pervasive Computing .

.1



OSI
TCP/IP .
.2
Shannon

) (Multiplexing
) (Demultiplexing ARQ ARQ ) (Framing

.
.3
M/M M/M/ M/M/m Little M/1
M/M/m/m M/G/1 M/G/1 ) (Polling

Burk
.Jackson Kleinrock

- -

3 2

Bertsekas, D. and Gallager, R. Data Networks, 2nd edition, Prentice-Hall, 1992.

Tanenbaum, A. Computer Networks, 4th edition, Prentice-Hall, 2003.

Kurose, J.F. and Ross, K.W. Computer Networking: A Top-down Approach Featuring the Internet, Addison-
Wesley, 2000.
Kumar, A., Manjunath, D. and Kuri, J. Communication Networking: An Analytical Approach, Morgan
Kaufmann, 2004.
Recent papaers in computer networking which have appeared in renowned national and international conferences
and journals.

 )(40824
Reactive Systems Verification

:

: :
: ) ( 3 :
- : - :

) (reactive
. . :
.
.
.
.
.

.1
.
.2

CSP CCS NanoPromela

.
.3
.
.4

.
.5
LTL .LTL
.6
CTL LTL CTL CTL .CTL* CTL

 .7
* CTL
*.CTL
.8
Ample .Ample
.9
.TCTL
.10
PCTL*
.

- -

Baier, C. and Katoen, J.P. Principles of Model Checking, MIT Press, 2008.

Clarke, E., Grumberg, O. and Peled, D.A. Model Checking, MIT Press, 1999.
Huth, M. and Ryan, M. Lofic in Computer Science: Modelling and Reasoning about Systems, Cambridge
University Press, 2000.
Alur, R. and Henzinger, T.A. Comuter-Aided Verification, Draft, 1999.
Manna, Z. and Pnueli, A. The Temporal Logic of Reactive andConcurrent Systems: Specification, Springer,
1992.
Hoare, C. Communicating Sequential Processes, Prentice-Hall, 1985.
Milner, R. Communication and Concurrency,Prentice-Hall, 1989.

 )(40684
Formal Program Development

:

: :
: ) ( 3 :
- : - :

. Z
. B ) (Type Theory Z
. .

.1
.a
.b ) (
3) Z( .2
.a ) (Animation
.b
.c)(Refinement
.d
)4( .3
.a
.b
.c
.d
.e
.f
.g
.h
3) B( .4
.a

 .b
.c
.d
.e
.5 )3(
.a )(Constructive Mathematics
.b Martin Lf
.c
.d
.6 2 ) (CZ) Z(
.a
.b CZ
.c
.d CZ
.e

- -
23
. ) 3(
.
. .
.
7

Morgan, C. Programming from Specifications, Prentice-Hall, 1990.

Diller, A. Z: An Introduction to Formal Methods, John Wiley and Sons, 1992.
Lano, K. and Haughton, H. Specification in B: An Introduction Using the B Toolkit, Imperial College Press,
1996.
Nordstrom, B. Petersson, K. and Smith, J.M., Programming in Martin Lfs Type Theory: An Introduction,
Oxford University Press, 1990.
Woodcock, J. and Davies, J. Using Z Specifications, Refinement, and Proof, Prentice-Hall, 1996.
Gries D., and Schneider F.B. A Logical Approach to Discrete Math, Springer, 1993.

 )(40694
Semantic Web

:

: :
: ) ( 3 :
- : - :

.

.
.

.

- ) 2( .1
) 1 2( .2
) 2 3( .3
) 2 3( .4
) 1( .5
) 1( .6
) 2 3( .7
1) OWL 2( .8
) 1 2( .9
) 1 2( .10
) 1 2( .11
) 1 2( .12
) 1 2( .13
) 1 2( .14
) 1 2( .18
) 1 2( .19

 - -
( %60) :
( %25) . :
. :
( %15) .

The Semantic Web, A guide to the future of XML, Web Services and Knowledge Management, By Michael C.
Daconta et al., 2003.
Spinning the Semantic Web, Bringing the World Wide Web to Its Full Potential Edited by Dieter Fensel, James
A. Hendler, Henry Lieberman and Wolfgang Wahlster.
The Description Logic Handbook Theory, Implementation and Applications Edited by Franz Baader, Diego
Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider, Published January 2003.
J. Brank, M. Groblnik and D. Meladenic, Ontology Evaluation, SEKT Project Technical Report, 2003.
S. Staab, A. Maedche, S. Handschuh, An Annotation Framework for the Semantic Web, In: S. Ishizaki (ed.),
Proc. of The First International Workshop on MultiMedia Annotation. January. 30 - 31, 2001. Tokyo, Japan.
D. Celjuska, M. Vargas-Vera, Ontosophie: A Semi-Automatic System for Ontology Population from Text, Tech
Report kmi-04-19, knowlegde media KMI institude, 2004.
A. G. Valarakos, G. Paliouras, V. Karkaletsis, G. A. Vouros, Enhancing the Ontological Knowledge through
Ontology Population and Enrichment, LNCS 3257, 2004.
S. Handschuh, S. Staab, CREAM: CREAting Metadata for the Semantic Web, Elsevier Computer Networks 42,
pp. 579598, 2003.
S. Handschuh, S. Staab , R. Volz, On Deep Annotation, WWW2003, May 2024, 2003, Budapest, Hungary.
M.-R. Koivunen, D. Brickley, J., Kahan, E. P. Hommeaux, R. R. Swick, The W3C CollaborativeWeb
Annotation Project ... or how to have fun while building an RDF infrastructure, 2000.
T. Finin, J. Mayfield, C. Fink, A. Joshi, and R. S. Cost, Information retrieval and the semantic web, in
Proceedings of the 38th International Conference on System Sciences, Hawaii, United States of America, 2005.
T. Finin, L. Ding, R. Pan, A. Joshi, P. Kolari, A. Java, and Y. Peng, Swoogle: Searching for knowledge on the
semantic web, in Proceedings of the AAAI 05, 2005.
R. Guha, R. McCool, and E. Miller, Semantic search, in Proc. of the12th international conference on World
Wide Web, New Orleans, 2003, pp. 700709.
Y. Zhang, W. Vasconcelos, and D. Sleeman, OntoSearch: An ontology search engine, in The Twenty-fourth
SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge,
2004.
M. Klusch, B. Fries, and M. Khalid, OWLS-MX: Hybrid Semantic Web Service Retrieval, In Proceedings of
1st International AAAI Fall Symposium on Agents and the Semantic Web, Arlington VA, USA, 2005.
M. Klusch, A. Gerber, and M. Schmidt, Semantic Web Service Composition Planning with OWLS-Xplan,
AAAI Fall Symposium Series, Arlington, Virginia, USA, Nov. 2005.

 B. Medjahed, A. Bouguettaya, and A. K. Elmagarmid, Composing Web services on the Semantic Web, The
VLDB Journal, vol. 12, no. 4, Nov. 2003.
S. McIlraith and T. C. Son, Adapting Golog for composition of Semantic Web services, In Proceedings of the
8th International Conference on Knowledge Representation and Reasoning (KR2002), Toulouse, France, April
2002.
S. R. Ponnekanti and A. Fox, SWORD: A developer toolkit for Web service composition, In Proceedings of
the 11th World Wide Web Conference, Honolulu, HI, USA, 2002.
D. Wu et al., Automatic Web services composition using SHOP2, In Proceedings of the Workshop on
Planning for Web Services, Trento, Italy, June 2003.
E. Sisrin, B. Parsia, and J. Hendler, Filtering and selecting semantic web services with interactive composition
techniques, IEEE Intelligent Systems, vol. 19, no. 4, pp. 42-49, 2004.
M. Paolucci et al., Semantic matching of web services capabilities, In Proceedings of the 1st International
Semantic Web Conference (ISWC), Springer, 2002, pp. 333-347.
S. Ben Mokhtar et al., Context-aware Service Composition in Pervasive Computing Environments, In
Proceedings of the 2nd International Workshop on Rapid Integration of Software Engineering techniques
(RISE05), Heraklion Crete, Greece, Sep. 2005.
Jorge Perez, Marcelo Arenas, and Claudio Gutierrez, Semantics and Complexity of SPARQL , 5th
International Semantic Web Conference, Athens, GA, USA, November 5-9, 2006, LNCS 4273.
INEX proceedings online
http://www.w3.org/XML/
http://www.ilrt.bris.ac.uk/discovery/rdf/resources/
http://www.w3.org/TR/owl-ref/

 )(40787
Patterns in Software Engineering

:

: :
: ) ( 3 :
- : - :

.

.
.

: ) 1 - ( .1
1) Coad( .2
5) Gamma et al. - GoF( .3
- 2) GRASP( .4
4) Buschmann et al. -GoV( .5
2) GoV( .6
) 4( .7
) 4( .8
) 1( .9
) 3( .10
2) Fowler( .11
) 1( .12

- -
: ) %60 (
: %20) . (
: .
. %20) . (

Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., and Stal, M. Pattern-Oriented Software Architecture:

A System of Patterns, Vol. 1. Wiley, 1996.

Buschmann, F., Henney, K., and Schmidt, D. C. Pattern-Oriented Software Architecture: On Patterns and

Pattern Languages, Vol. 5. Wiley, 2007.

Fowler, M. Analysis Patterns: Reusable Object Models. Addison-Wesley, 1996.

Gamma, E., Helm, R., Johnson, R., and Vlissides, J. Design Patterns: Elements of Reusable ObjectOriented
Software. Addison-Wesley, 1995.

Kerievsky, J. Refactoring to Patterns. Addison-Wesley, 2004.

Manolescu, D., Voelter, M., and Noble, J. Pattern Languages of Program Design, Vol. 5. Addison-Wesley,
2006.
Shalloway, A., and Trott, J. Design Patterns Explained: A New Perspective on Object-Oriented Design, 2nd
edition. Addison-Wesley, 2005.

 )(40828
Software Testing

:

: :
: ) ( 3 :
- : - :

.
.

.1
.2
.3
.4
.5
.6
.7

- -
23
. ) 3(
.
. .
.
7

Ammann, P., and Offutt, J. Introduction to Software Testing, Cambridge University Press, 2008.

 )(40647
Parallel Processing

:

: :
: ) ( 3 :
- : - :

.

.
.

.1
(a
(b
(c
.2
(a ) (
(b ) (
(c ) (
(d ) (systolic )
(
.3 NC
.4 ) (PRAM
(a
(b ) (
(c ) (
.5
(a retiming
(b

 (c ) Batcher-(
(d
(e FFT
.6
(a Shearsort :
(b
(c )(packet routing
(d ) (
(e
.7 ) (
(a
(b
(c ) (..
(d
(e
(f
(g

- -
5-4 ) 15 (
2 3 15) MPI (
: .
.
15) . (
) 25 (
) 30 (

Parhami, B. Introduction to Parallel Processing: Algorithms and Architectures, Plenum Press, 2000.
Leighton, F.T. Introduction to Parallel Algorithms and Architectures: Arrays, Trees, Hypercubes, Morgan
Kaufmann, 1992.
MPI Foru.m, MPI: A Message-Passing Interface Standard, April 1994.

 )(40735
Computational Geometry

:

: :
: ) ( 3 :
- : - :

. CAD GIS Robotics
.

.
. (LEDA:
)LEDA: Library of Efficient Data structures and Algorithms

.1
.2
) (Plane Sweep DCEL
.
.3 ) (Art Gallery Problem
.
.4 ) (

.
)(Orthogonal Range Searching
.5
) (Kd-Trees
.
)(Point Location .6
.
.7 ) (Proximity Problems

 .8 )(Convex Hull
) (Voronoi Diagram )(Delaunay Triangulation .9
.
.10
.
.11
.
.12 :
) (Visibility .

- -

4



. .
.
16 20 .

de Berg, M., van Kreveld, M., Overmars, M., and Schwarzkopf, O. Computational Geometry: Algorithms and
Applications, 3rd edition, Springer, 2008.
Mehlhorn, K., et al. The LEDA User Manual, ftp://ftp.mpi-sb.mpg.de/pub/LEDA, 1998.

 )(40765
Advanced Algorithms

:

: :
: ) ( 3 :
- : - :

)(Amortized .1
.2 -)Complete
)(NP-Complete
(a
(b -
(c
(d
(e ) Clique Vertex-Cover 3D-matching 3-Sat (
(f -
(g
.3
(Relabel-to-front
(a ) Ford-Fulkerson Preflow-Push front
(b
(c
(d )(Matching
(e )(Assignmentt
)(Transportation (f
(g
.4
(a Karp
Robin-Karp
(b Pratt
Knuth-Morris-Pratt
(c Moore
Boyer-Moore


)(Sorting Networks .5
)(Linear Programming .6
)(Computational Geometry .7
NP-hard .8
]) (Probabilistic Algorithms [ .9

- -
4
) ( :
.1
.2
.

Cormen, T., Leiserson, C., Riverst, R., and Stein, C. Introduction to Algorithms, MIT Press, 2001.
Kleinberg, J., and Tardos, E. Algorithm Design, Addison-Wesley, 2005.
Vazirani, V. Approximation Algorithms, Springer, 2002.

 )(40775
Theory of Computational Complexity

:

: :
: ) ( 3 :
- : - :

.1 ) (Nondeterministic -
. .
.2 .
.3
.
. NP P .4
EXP NEXP . NPSPACE PSPACE NL L
.
(C-Complete . P-
) (Reduction C )Complete .5
.NP-Complete - P ..NP
Complete Complete
.NP-Complete .6
.7 coNP . PSPACE-Complete .
.8 .
.9 .
.10 .
.11 .
.12 ) (Oracle TM

 - -
) %25 (
) %40 (
: ) %10 (
: ) %25 (

Papadimitriou, C.H. Computational Complexity, 2003.

Du, D.Z., and Ko, K.I. Theory of Computational Complexity, 2000.
Arora, S., and Barak, B. Computational Complexity: A Modern Approach, 2009.

 )(40834
Approximation Algorithms

:

: :
: ) ( 3 :
- : - :

.
.

.1
.1
)(Cut .2
Bin Packing .3
.4
Primal-Dual .5
Rounding .6
Multi-cut .7
Multiway-cut .8
Steiner .9
Facility Location .10
.11

- -
3 )5(
)6(
)3(
)6(

Vazirani, V. Approximation Algorithms,

Algorithms 2nd edition, Springer, 2004.

 )(40835
Algorithmic Game Theory

:

: :
: ) ( 3 :
- : - :

) (Multiagents Systems
. .

.1
.a )2(
.b ) (Nash Equilibrium )5(
.c )2) (Price of Anarchy(
.2
.a - )2) (Impossiblity Theorems(
.b VCG )3(
.c ) 3(
.d ) 4(
.e ) 4(
.f ) 3(

- -
3 )6(
)6(
)4(
)4(

Nisan, N., Roughgarden, T., Tardos, E., and Vazirani, V. Algorithmic Game Theory, Cambridge University
Press, 2007.
Shoham, Y., and Brown, K.L. Multiagent Systems: Algorithmic, Game-Theoretic and Logical
Foundations,Cambridge University Press, 2008.

 )(40685
Randomized Algorithms

:

: :
: ) ( 3 :
- : :

: .1

.2
: .3
.4
: 2-SAT .5
.6
: .7

R. Motwni, and P. Raghavan, Randomized Algorithms,

Algorithms Cambridge University Press,, 1997.

 )(40785
Combinatorial Optimization

:

: :
: ) ( 3 :
- : :

Simplex Prime-Dual .

: .1

:Simplex .2


):(Duality .3
lacknessS

:Primal-Dual .4

) (
: .5
NP-Complete NP-Hard

Papadimitriou, C.H., and Steiglitz, K. Combinatorial Optimization: Algorithms and Complexity,

Complexity Dover
Publications, 1998.