Математическая логика и теория алгоритмов : : учеб. пособие
Математическая логика и теория алгоритмов : : учеб. пособие
В полном объеме текст документа доступен в электронных читальных залах библиотек-участников НЭБ
В издании рассматриваются основные идеи, понятия и методы математической логики, интерес к которым вырос благодаря новым приложениям, появившимся за последнее время в связи с развитием информационных технологий.
Описание документа
Код документа в НЭБ
000199_000009_002563028
Каталог
Автор
Поздняков С.Н.
Заглавие
Математическая логика и теория алгоритмов : : учеб. пособие
Место издания
Санкт-Петербург
Издательство
ЛЭТИ
Год издания
2004
Объем
63, [1] с.
Ответственность
С. Н. Поздняков, С. В. Рыбин ; М-во образования и науки РФ, С.-Петерб. гос. электротехн. ун-т "ЛЭТИ"
ISBN
5-7629-0579-9 (в обл.)
ББК
В12я73-1
Библиотека
017
##
$a: 05-548
$a: 05-548
020
##
$a: 5-7629-0579-9 (в обл.)
$a: 5-7629-0579-9 (в обл.)
040
##
$a: RuMoRKP
$b: rus
$e: rcr
$d: RuMoRGB
$a: RuMoRKP
$b: rus
$e: rcr
$d: RuMoRGB
041
##
$a: rus
$a: rus
044
##
$a: ru
$a: ru
080
##
$a: 510.6
$a: 510.6
084
##
$a: В12я73-1
$2: rubbk
$a: В12я73-1
$2: rubbk
100
1#
$a: Поздняков, Сергей Николаевич
$a: Поздняков, Сергей Николаевич
245
##
$a: Математическая логика и теория алгоритмов :
$b: учеб. пособие
$c: С. Н. Поздняков, С. В. Рыбин ; М-во образования и науки РФ, С.-Петерб. гос. электротехн. ун-т "ЛЭТИ"
$a: Математическая логика и теория алгоритмов :
$b: учеб. пособие
$c: С. Н. Поздняков, С. В. Рыбин ; М-во образования и науки РФ, С.-Петерб. гос. электротехн. ун-т "ЛЭТИ"
260
##
$a: СПб.
$b: ЛЭТИ
$c: 2004
$a: СПб.
$b: ЛЭТИ
$c: 2004
300
##
$a: 63, [1] с.
$b: ил., табл.
$c: 21 см
$a: 63, [1] с.
$b: ил., табл.
$c: 21 см
336
##
$a: текст (text)
$b: txt
$2: rdacontent
$a: текст (text)
$b: txt
$2: rdacontent
337
##
$a: неопосредованный (unmediated)
$b: n
$2: rdamedia
$a: неопосредованный (unmediated)
$b: n
$2: rdamedia
338
##
$a: том (volume)
$b: nc
$2: rdacarrier
$a: том (volume)
$b: nc
$2: rdacarrier
504
##
$a: Библиогр.: с. 63
$a: Библиогр.: с. 63
520
##
$a: В издании рассматриваются основные идеи, понятия и методы математической логики, интерес к которым вырос благодаря новым приложениям, появившимся за последнее время в связи с развитием информационных технологий.
$a: В издании рассматриваются основные идеи, понятия и методы математической логики, интерес к которым вырос благодаря новым приложениям, появившимся за последнее время в связи с развитием информационных технологий.
650
#1
$a: Физико-математические науки -- Математика -- Основания математики. Математическая логика -- Учебник для высшей школы
$2: rubbk
$a: Физико-математические науки -- Математика -- Основания математики. Математическая логика -- Учебник для высшей школы
$2: rubbk
700
1#
$a: Рыбин, Сергей Витальевич
$a: Рыбин, Сергей Витальевич
852
##
$a: РГБ
$b: FB
$j: 3 05-7/90
$x: 90
$a: РГБ
$b: FB
$j: 3 05-7/90
$x: 90
856
11
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01002000000/rsl01002563000/rsl01002563028/rsl01002563028.pdf
$y: Читать
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01002000000/rsl01002563000/rsl01002563028/rsl01002563028.pdf
$y: Читать
977
##
$a: dllocal
$b: dlrgb
$c: osk
$d: Отдел сканирования
$a: dllocal
$b: dlrgb
$c: osk
$d: Отдел сканирования
979
##
$a: dllocal
$a: dllocal