ВМК КГУ  
Неофициальный Сайт Факультета Вычислительной Математики и Кибернетики КГУ
  Главная |  Новости |  Гостевая книга
Мат. Логика
ГЭТУ СПб. (Мет. Указания)
ГЭТУ СПб. (Методические Указания)
Методические указания к практическим занятиям по дисциплине "Математическая логика и теория алгоритмов"
Авторы: Пантелеев М.Г., Календарев А.С.
Издательство: Издательско-полиграфический центр С.-Пб. ГЭТУ
Год издания: 1997, страниц: 28, формат: 60х84/16
Скачать DjVu Версию (107 Kb)
4958x7017 px, 600 dpi, version 21
  В данных методических указаниях к практическим занятиям рассматриваются формальные языки логики высказываний и логики предикатов, формализация рассуждений с использованием метода резолюций, методы оценки вычислительной сложности алгоритмов. Целью практикума является закрепление теоретических знаний, приобретаемых в курсе лекций дисциплины "Математическая логика и теория алгоритмов".
  Предназначены для студентов, обучающихся по программе подготовки бакалавров по направлению "Информатика и вычислительная техника" и инженерной специальности "Вычислительные машины, комплексы, системы и сети"
Для просмотра документов в DjVu-формате необходимо установить plugin для браузера.
Скачать версию для Internet Explorer вы можете с сайта www.djvu.com

 

статистика


Webmaster © 2004 - 2007 г.  Kazan State University Updated on 8 November 2007