RUSSIAN

Лекции по математической логике и теории алгоритмов. Часть 1

By Гордон Е.И.

Book information

Publisher
ННГУ им. Н.И. Лобачевского
Year
1998
Language
russian
Format
PDF
Filesize
534 kB (546315 bytes)
Pages
86\86
Library
http://window.edu.ru/
Time added
2011-04-06 12:16:06

Description

Настоящее учебное пособие представляет собой почти точную запись лекций по первой части курса ''Теория алгоритмов и математическая логика'', который автор читает для студентов 3-его курса механико-математического факультета, обучающихся по специальности ''Математика''. Пособие содержит следующие разделы: введение в логику, язык логики предикатов и его интерпретации, исчисление предикатов и формальные теории

Similar books