Задачи по теории множеств, математической логике и теории алгоритмов

Задачи по теории множеств, математической логике и теории алгоритмов

Show other versions (5)
Bibliographic Details
Main Author: Лавров, Игорь Андреевич
Other Authors: Максимова, Лариса Львовна
Format: Book
Language:Russian
Published: Москва Физматлит [и др.] 2002
Edition:5-е изд.
Subjects:
Множеств теория > Задачи.
Математическая логика > Задачи.
Алгоритмы > Задачи.
кардинальные числа.
ординальные числа.
бинарные отношения.
алгебра высказываний.
алгебра логики.
логика предикатов.
исчисление предикатов.
аксиоматические теории.
фильтрованные произведения.
рекурсивные функции.
Тьюринга машины.
рекурсивные множества.
Клини нумерация.
Поста нумерация.
учебные пособия для вузов.
задачи.
Online Access:Перейти в каталог НБ ТГУ
LEADER 02643nam a2200577 i 4500
001 vtls000170446
003 RU-ToGU
005 20221103075711.0
008 020906s2002 ru 000 u rus
017 |a 02-28326  |b RuMoRKP 
020 |a 5922100262 
035 |a 0174-76360 
035 |a (RU-RKP)ru02-038020RKP 
039 9 |a 200708281544  |b 21  |c 200601222106  |d VLOAD  |y 200511080211  |z Александр Эльверович Гилязов 
040 |a RU-RKP  |b rus  |c RU-RKP  |d RU-ToGU  |e PSBO 
080 |a 510(082) 
080 |a 510(076.2)(075.8) 
084 |a 22.12  |2 rubbk 
100 1 |a Лавров, Игорь Андреевич.  |9 168540 
245 1 0 |a Задачи по теории множеств, математической логике и теории алгоритмов  |c И. А. Лавров, Л. Л. Максимова 
250 |a 5-е изд. 
260 |a Москва  |b Физматлит [и др.]  |c 2002  |9 727875 
300 |a 255 с.  |c 21 см. 
504 |a Библиогр.: с. 248-249 
504 |a Предм. указ.: с. 250-255 
650 7 |a Множеств теория  |x Задачи.  |2 RuMorurkp  |9 283462 
650 7 |a Математическая логика  |x Задачи.  |2 RuMorurkp  |9 283463 
650 7 |a Алгоритмы  |x Задачи.  |2 RuMorurkp  |9 283464 
653 |a кардинальные числа. 
653 |a ординальные числа. 
653 |a бинарные отношения. 
653 |a алгебра высказываний. 
653 |a алгебра логики. 
653 |a логика предикатов. 
653 |a исчисление предикатов. 
653 |a аксиоматические теории. 
653 |a фильтрованные произведения. 
653 |a рекурсивные функции. 
653 |a Тьюринга машины. 
653 |a рекурсивные множества. 
653 |a Клини нумерация. 
653 |a Поста нумерация. 
653 |a учебные пособия для вузов. 
653 |a задачи. 
700 1 |a Максимова, Лариса Львовна.  |9 168541 
852 4 |a RU-ToGU  |h 510  |i Л136  |n ru 
856 |y Перейти в каталог НБ ТГУ  |u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=204568 
908 |a учебник 
920 |a 5-9221-0026-2  |9 2000 экз. 
999 |c 204568  |d 204568 
952 |0 0  |1 0  |4 0  |6 1902382К  |7 0  |9 379080  |a RU-ToGU  |b RU-ToGU  |c 10024  |d 2021-04-03  |g 91.63  |l 0  |o 1-902382к   |p 13820000424629  |r 2021-04-03  |t 1  |w 2021-04-03  |y 1 

Similar Items