Fundamental characteristics and properties of computer languages, algorithmic methods of solving problems on the computer. C programming language is taught and used. Includes symbolic logic, sets, structure of number systems, introduction to group theory, survey of algebra and proofs of theorems. Solutions of problems by numerical methods. Includes error analysis, polynomial approximations, numerical integration, and differentiation.