Математическая логика и теория алгоритмов

Изложены основные понятия математической логики, а также качественной и количественной теории алгоритмов.

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awduron:	Крупский В. Н. (070), Плиско В. Е. (070)
Fformat:	Llyfr
Cyhoeddwyd:	NCFU NLR
Cyfres:	авт. по кн.
Pynciau:	метод резолюций интуиционистская логика
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!


LEADER	02180nam0a2200397 i 4500
001	F.NCFU.000029.05FD22
005	20140324152717.0
010			\|9 1000 экз. \|a 978-5-7695-9559-2
021			\|a RU \|b 2013-34688
100			\|a 20130530d2013 u y0rusy50 ca
101	0		\|a rus
102			\|a RU
105			\|a y j
200	1		\|a Математическая логика и теория алгоритмов \|e учеб. пособие для вузов \|f В.Н. Крупский, В.Е. Плиско
210			\|a Москва \|c Академия \|d 2013
215			\|a 415,[1] с. \|d 22
225	1		\|a Высшее профессиональное образование \|i Информатика и вычислительная техника \|i Бакалавриат
300			\|a Гриф: Рек. НМС МО
320			\|a Библиогр.: с. 412-413
330			\|a Изложены основные понятия математической логики, а также качественной и количественной теории алгоритмов.
606	1		\|3 RU\NLR\auth\6620994 \|a Математическая логика \|j Учебные издания для высших учебных заведений
606	1		\|3 RU\NLR\auth\661349362 \|a Теория алгоритмов \|j Учебные издания для высших учебных заведений
606			\|a алгоритмов теория
608			\|9 Информатика и вычислительная техника \|a учебники
608			\|9 Информационные системы \|a учебники
610			\|a метод резолюций
610			\|a интуиционистская логика
686			\|2 ББК \|a 51.02(075.3)
700		1	\|4 070 \|a Крупский \|b В. Н. \|g Владимир Николаевич
701		1	\|4 070 \|a Плиско \|b В. Е. \|g Валеий Егорович
801		2	\|a RU \|b NCFU \|c 20140114 \|g rcr
801		0	\|a RU \|b NLR \|c 20130530 \|g RCR
801		1	\|a RU \|b NLR \|c 20130530
830			\|a авт. по кн.
856	7		\|u libdata.ncstu.ru/cgi-bin/ftreview.pl?t05FD22 \|z Оглавление
899			\|a НБ СКФУ \|h 51.02 \|i К 84

Математическая логика и теория алгоритмов

Eitemau Tebyg