An introduction to mathematical logic: truth tables

							                      ‫بسم هللا الرحمن الرحيم‬
                EL-MINIA UNIVERSITY
         FACULTY OF SCIENCE - DEPARTMENT OF MATHEMATICS


         PROF.DR. MAHMOUD HASHEM FARAG


             PHONE: +2 / 02 /247224377 (Cairo)
              Mobile : +2 / 0118986616
              Fax : +2 / 086 /342601 (El-Minia)
              E-mail: farag52358@yahoo.com
                Web : mhfarag.jeeran.com


Personal data                      Education
Academic Employment                Professional Memberships
Programming skills                 Research Topics
Research Topics                    Teaching
Papers published (Internet)        Publications

               Awards and Certificates
      1) International Prize for a published paper
      2) Experience Certificate
      3) B.A Certificate
      4) M.Sc Certificate
      5) PhD Certificate
      6) Computer Skills Certificate
      7) Member Staff and Leadership development Certificate
      8) Award Certificate (faculty of Education -Ibri -Oman)
      9) Passport
1) Personal data
Date of birth  5 March 1958
Address        Project of 17th buildings, 8th Region
               Nasr City, Cairo
Marital Status Married with 3 children (Mostafa-Ahmed-Yousef)

2) Education
  Ph.D. in Computing Mathematics (Optimal Control PDEs), 1992
 University of Baku, Azerbaijan SSR
 "Numerical solution of optimal control problems for quasilinear parabolic equations ."

 M.Sc. in Optimization, 1985
 Assiut University , Egypt
 Thesis: "Numerical study of the constrained optimization problems"

 B.Sc. in Mathematics, 1980
 Faculty of Science, El-Minia, Egypt - B.Sc. : "Pure and Applied Mathematics"

3) Academic Employment
Professor of Mathematics, El-Minia University, 2005-
Associate Professor of Mathematics, El-Minia University, 1998–2005
Assistant Professor of Mathematics, El-Minia University, 1985–1998
Lecturer of Mathematics, El-Minia University, 1980–1985

4) Professional Memberships
   Egyptian Mathematical Society

5) Programming skills
  Networking - UNIX system programming - Web programming (HTML)
  Languages programming: Basic, FORTRAN, C++
6) Masters Students
  Two PhD (Numerical Analysis for Differential Equations)

   Three M. Sc. (Optimization + Optimal control PDEs)

7) Research Topics
   Optimization - Control Theory involving PDEs - Numerical Analysis

8) Teaching
                  Calculus I                               Calculus II
        Partial Differential Equations               Differential Equations
                 Optimization                 Matrix Analysis and Linear Algebra
   Optimal Control Theory and Applications            Numerical Analysis
             Mathematical Logic                      Linear Programming
             Theory of Numbers                             Geometry
           Mathematical Methods                         Linear Algebra II


 9) Papers published through Internet
           Please , write (M. H. Farag Optimal control ) in search Yahoo
                    to see all my papers in Internet , For example

             Journal of Vibration and Control
                     Virginia Polytechnic Institute and State
  Editor: Ali Nayfeh University - USA



 Volume 09 Issue 08 - Publication Date: 08/2003

  Necessary Optimality Conditions for Constrained Optimal
  Control Problems Governed by Parabolic Equations                       949
  M. H. Farag , Mathematics Department, Faculty of
  Education, Ibri, Sultanate of Oman


     Journal of Computational Mathematics, 2004; 22 (5)
                                        Sumario
    Título / Autor(es)                                                Página(s)
    A Stability Theorem for Constrained Optimal                        633-640
    Control Problems /          Farag , M H
                             List of Publications
1- FARAG,M. H., 1990, A numerical solution to a nonlinear problem of the identification
   of the of the characteristics of a mathematical model of heat exchange, Math and
   Autom. Systems, Bakin. Gos. Uni., Baku , pp. 23-30.

2- FARAG,M. H., 1990, Program of identification to heat exchange physical
   characteristics, Practical Scientific Conf. of optimal Problem , Baku, pp. 5-6.

3- FARAG,M. H., 1991, Optimal control problem for discrete quasilinear parabolic
   equation, Journal of Azer. Scient. Research Inst., Baku, pp. 1-18.

4- FARAG,M. H., 1994, Numerical solution of one optimal control identification
   problem, Int. J. Infor. Theories and Appl., Vol. 2(7), pp. 21-30 .

5- FARAG,M. H. and S. H. FARAG, S. H,1995 , An existence and uniqueness theorem
   for one optimal control problem, Periodica Math. Hungarica,Vol. 30(1), pp. 61-65.

6- FARAG,M. H., 1995, Software tools for solving optimal control problems involving
   PDEs, Int. J. Infor. Theories and Appl., Vol. 3(5), pp. 36-43.

7- FARAG,M. H. and S. H. FARAG, S. H,1996 ,On the derivation of gradient formulae
   by solving the conjugated boundary value problem for an optimal control problem,
   Egyp. Mathematical Society, Vol. 4, pp. 41-47.




8- FARAG,M. H., 1996, The gradient projection method for solving an optimal
   control problem, Applicationes Mathematicae, Vol. 24(2), pp. 141-147.

9- FARAG,M. H., 1996, Application of the exterior penalty method for solving
   constrained problems, The Math. and Physical Society of Egypt, Vol. 71, pp. 125-138.

10- Shamarden Ali H., FARAG,M. H. and Samira M. Refaat,1996,Spatial finite difference
    and temporal dirk method for solving a parabolic equation governing convections
    diffusion processes , J. of faculty of education, Ain Shams Univ.,No. 21,pp. 83-97

11- Shamarden Ali H., FARAG,M. H. and Samira M. Refaat,1997, On the numerical
    solution of stiff systems of ordinary differential equations, El-Minia Science Bulletin,
   El-Minia Univ., Vol. 10 , pp. 1-10.

12- FARAG , M. H , 1997, About  approximation theory for navier- stokes
    equations, Journal vestink KazGU, series Mathematics and Makhanika.

13- Shamarden Ali H., FARAG,M. H. and Samira M. Refaat,1998, Spatial central finite
   difference with DIRK(3,3) temporal schemes for nonlinear dispersive waves,
    Ricerche di Matematica , Vol. XLVII, No. 2 , pp. 382-398.

14 - Khater A. K., Shamarden A. H., FARAG,M. H. and A. H. Abed-Hamid,1998,
     Analytical and numerical solutions of a quasilinear parabolic optimal control problem,
     Journal Computational and Applied Mathematics, Vol. 95, pp. 29-43.

15- Shamarden A. H., Kuepper T., FARAG,M. H., Moubarak M. R. A and Bahgat M. S.
    M. , 1998. Application of the El-Gendi method for nonlinear volterra integro-differential
    equations with infinite delay and bounded delay, El-Minia Science Bulletin,
    El-Minia Univ., Vol. 11(2) , pp. 21-40.

16- Shamarden Ali H., Kuepper T., FARAG,M. H., Moubarak M. R. A,
    and Bahgat M. S. M, 1998, Application of the El-Gendi method for classes of
    hereditsry system of neutral type, El-Minia Science Bulletin, El-Minia Univ.,
    Vol. 10 , pp. 1-20.




17- FARAG S. H. and FARAG , M. H , 2000, Necessary optimality conditions in
    control problems for hyperbolic equations, J. Egyp. Math. Soc., V. 8(2), pp 189-198.

18- FARAG , M. H , 2000, An optimization problem in distributed parameter systems,
    Int. J. Appl. Math., Vol. 2(10),pp. 1197-1204.


19- FARAG , M. H , 2000,The scaled partial conjugate gradient method for optimal control
    problems of parabolic systems, Proc. Math. Phys. Soc. Egypt.,pp. 51-66.

20 - FARAG S. H. and FARAG , M. H , 2000, On an optimal control problem for a
     quasilinear parabolic equation, Applicationes Mathematicae, V. 27(2), pp. 239-250.

21 - FARAG , M. H , 2001, A MAPLE program for solving constrained optimal control
     problems by conditional gradient method, Proc. Math. Phys. Soc. Egypt., No. 50.

22 - FARAG , M. H , 2002, On the application of a gradient method for solving optimal
     control problems, Proc. Math. Phys. Soc. Egypt., No. 77.
23- FARAG, M. H , 2002, A SPG program for solving hyperbolic control problems,
    Proc. Math. Phys. Soc. Egypt., No. 78.

24- FARAG, M. H., 2003, A gradient-type optimization technique for the optimal control
    for Schrödinger equations, Int. J. Infor. Theories and Appl., Vol. 10(5), pp. 414-424.

25. FARAG , M. H , 2003, Necessary optimality conditions for constrained optimal
    control problems governed by parabolic equations, Journal of vibration and
     control , Volume 9, pp. 949-963.

26- FARAG , M. H , 2003, On the derivation of discrete conjugate boundary value
    problem for an optimal control parabolic problem, New Zeal J. of Maths, 32,pp. 21-31.




27- FARAG, M. H , 2004, A stability theorem for constrained optimal control problems,
    J. of Computational Mathematics, Vol. 22(5),pp. 635-640.

28- FARAG , M. H , 2005, Necessary optimality conditions for a class of
    distributed parameters systems, Proc. Math. Phys. Soc. Egypt ,Vol. 83,No. 2,
    pp. 183-193.

29- FARAG , M. H , 2006, A stability theorem for a class of distributed parameter
    control systems, Rocky Mountain J. of Mathematices,Vol 36, No. 3,pp. 915-946 .

30- FARAG , M. H and M. El-Monzery,2007 , Optimal control of a second order
    parabolic heat equation, Int. J. Infor. Theories and Appl., Vol. 13(2), pp. 215-224.

31- FARAG, M. H.,2007 , Identification and Optimal control of system described
    by quasilinear parabolic equations, Int. Journal Infor. Theo. and Appl., Vol.1 (1),
    pp. 111-117.

32. FARAG, M. H.,2008, ON THE NUMERICAL COMPUTATION OF A CLASS
   OF DISTRIBUTED PARAMETERS SYSTEMS, Accepted ,Applied Mathematics
    and Information Sciences ,USA.

33. FARAG, M. H.,2009 , COMPUTING OPTIMAL CONTROL WITH A QUASILINEAR
    PARABOLIC PARTIAL DIFFERENTIAL EQUATION, Surveys in Mathematics and its
    Applications, Vol. 4 , pp. 119-133,Romania.

34. - FARAG, M. H.,2010, The study of convergence for an optimal control problem
      involving quasilinear parabolic systems, Accepted , Publications de L'insttut Math,
      Serbia.