RUSSIAN

Математическая логика и теория алгоритмов: Рабочая программа, методические указания к изучению дисциплины, задания на контрольные работы

By Анкудинов Г.И. , Иванова И.В. , Бригаднов И.А.

Book information

Publisher
СЗТУ
Year
2003
Language
russian
Format
PDF
Filesize
596 kB (610812 bytes)
Pages
30\30
Library
http://window.edu.ru/
Time added
2011-04-06 12:16:06

Description

Рабочая программа разработана в соответствии с государственными образовательными стандартами высшего профессионального образования подготовки дипломированного специалиста 654600 - ''Информатика и вычислительная техника'' (Специальность 220100 - ''Вычислительные машины, комплексы, системы и сети'') и направлению подготовки бакалавра 552800 - ''Информатика и вычислительная техника''. Методический сборник содержит рабочую программу, методические указания к изучению дисциплины, тематический план лекций, перечень основной и дополнительной литературы, задания на контрольные работы и методические указания к их выполнению. Рабочая программа раскрывает содержание основных разделов дисциплины по изучению логики высказываний и предикатов, формальных теорий и теории алгоритмов. Методические указания к выполнению контрольных работ содержат методические материалы, необходимые для правильного их выполнения и оформления

Similar books