Пошуковий запит: (<.>U=В12 я73<.>) |
Загальна кількість знайдених документів : 24
Представлено документи з 1 до 20
|
| | |
1.  |
ВА577521
Воротников, С. М.
Введение в математическую логику [Текст] : учеб. пособие для студ. электротехн. спец. вузов региона / С. М. Воротников ; Комсомольский-на-Амуре гос. технический ун-т. - Комсомольск-на-Амуре : [б.в.], 1996. - 128 с. - ISBN 5-230-21447-3Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Комсомольский-на-Амуре гос. технический ун-т
Видання зберігається у :
|
| 2. |
ВА600415
Донской, Владимир Иосифович.
Дискретная математика [Текст] : учеб. пособие / В. И. Донской. - Симф. : "СОНАТ", 2000. - 358 с. - ISBN 966-7347-42-7Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 3. |
ВА606706
Авдеюк, Павло Іванович.
Елементи математичної логіки [Текст] / П. І. Авдеюк. - Кам'янець-Подільський : Кам'янець-Подільський держ. педагогічний ун-т, інформаційно-видавничий відділ, 2001. - 98 с.Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 4. |
ВА611104
Гамова, Алла Николаевна.
Математическая логика и теория алгоритмов [Текст] : учеб. пособие для студ. мех.-мат. фак. и фак. компьютерных наук и информ. технологий / А. Н. Гамова. - 2.изд., доп. - Саратов : Издательство Саратовского ун-та, 2000. - 80 с. - ISBN 5-292-02515-1Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 5. |
ВА614415
Кожухов, Игорь Борисович.
Курс дискретной математики [Текст] : учеб. пособие / И. Б. Кожухов [и др] ; Московский гос. ин-т электронной техники (технический ун-т). - М. : Издательство МИЭТ, 2000. - 206 с.: рис. - ISBN 5-7256-0245-1Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Прокофьев, Александр Александрович; Соколова, Татьяна Владимировна; Московский гос. институт электронной техники (технический университет)
Видання зберігається у :
Основний фонд
|
| 6. |
В345071/Ч. 1
Трофимов, Виктор Григорьевич
Дискретная математика [Текст] : учеб. пособие / В. Г. Трофимов, О. П. Бобров. - Воронеж : ВИ МВД России, 2000 .
Ч. 1 : Теория множеств. Математическая логика. - [Б. м.] : [б.и.], 2000. - 112 с. - Библиогр.: с. 108Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Бобров, Олег Петрович
Видання зберігається у :
Основний фонд
|
| 7. |
ВА619079
Гамова, Алла Николаевна.
Формальная логика [Текст] : учеб. пособие для студентов и аспирантов фак-та гуманитарных и соц. наук / А. Н. Гамова ; Саратовский гос. ун-т им. Н.Г.Чернышевского. - Саратов : Издательство Саратовского ун-та, 2001. - 72 с. - ISBN 5-292-02589-5Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Саратовский гос. университет имени Н. Г. Чернышевского
Видання зберігається у :
|
| 8. |
В346071/Ч. 2
Новоселов, Владимир Германович
Дискретная математика в задачах и примерах [Текст] : учеб. пособие / В. Г. Новоселов [и др.]. - Севастополь : Севастопольский национальный технический ун-т, 2002 .
Ч. 2. - Севастополь : [б.и.], 2002. - 122 с.: рис. - Библиогр.: с. 120-121Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Пластун, Татьяна Владимировна; Скатков, Александр Владимирович; Севастопольский национальный технический университет
Видання зберігається у :
Основний фонд
|
| 9. |
Р97419
Ложкин, С. А..
Структурное моделирование и декомпозиция для некоторых классов схем [Текст] : учеб. пособие по курсу "Основы кибернетики" / С. А. Ложкин ; Московский гос. ун-т им. М.В.Ломоносова. Факультет вычислительной математики и кибернетики. - М. : [б.и.], 2001. - 36 с. - Библиогр.: с. 35-36. - ISBN 5-89407-113-5Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Московский гос. университет имени М. В. Ломоносова. Факультет вычислительной математики и кибернетики
Видання зберігається у :
Основний фонд
|
| 10. |
ВА692793
 Дубовой, Володимир Михайлович.
Спеціальні розділи математики [Текст] : навч. посібник для студ. напряму підгот. "Системна інженерія" всіх спец. / В. М. Дубовой, О. Д. Никитенко ; Вінницький національний технічний ун-т. - Вінниця : ВНТУ, 2007. - 165 с.: рис., табл. - Бібліогр.: в кінці розділів.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Никитенко, Олена Дмитрівна; Вінницький національний технічний університет
Видання зберігається у :
Основний фонд
|
| 11. |
В350425/Ч. 1
Математичні основи інформаційних технологій [Текст] : метод. рекомендації / Чернівецький національний ун-т ім. Юрія Федьковича. - Чернівці : Рута, 2007 .
Ч. 1 / уклад. І. С. Осадца. - [Б. м.] : [б.в.], 2007. - 60 с.: рис. - Бібліогр.: с. 58Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Осадца, Іван Степанович (уклад.); Чернівецький національний університет імені Юрія Федьковича
Видання зберігається у :
Основний фонд
|
| 12. |
ВА670186
Клини, Стивен Коул.
Математическая логика [Текст] / С. К. Клини ; пер. с англ. Ю. А. Гастев ; ред. пер. МиГ. Е. Минц. - 2.изд., стер. - М. : Едиториал УРСС, 2005. - 480 с. - Альтернативное название : Mathematical logic/ Kleene, S.C. - Библиогр.: с. 451-465. - ISBN 5-354-01011-XРубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Минц, Г. Е. (ред.); (ред.пер.); Гастев, Ю. А. (пер. с англ.)
Видання зберігається у :
Основний фонд
|
| 13. |
ВС46374
Шапорев, Сергей Дмитриевич.
Математическая логика. Курс лекций и практических занятий [Текст] : учеб. пособие для студ. вузов, обучающихся по спец. 220200 "Автоматизированные системы обработки информации и управления", 071900 "Информационные системы в технике и технологиях" / С. Д. Шапорев. - СПб. : БХВ-Петербург, 2007. - 410 с. - Библиогр.: с. 405. - ISBN 978-5-94157-702-6Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 14. |
ВА707033
Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов [Текст] : учеб. пособие для студ. вузов, обучающихся по спец. в обл. 090100 "Информационная безопасность" / М. М. Глухов [и др.]. - СПб. ; М. ; Краснодар : Лань, 2008. - 110 с. - Библиогр.: с. 109-110. - ISBN 978-5-8114-0853-5Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Глухов, Михаил Михайлович; Козлитин, Олег Алексеевич; Шапошников, Виталий Анатольевич; Шишков, Алексей Борисович
Видання зберігається у :
Основний фонд
|
| 15. |
Глушков В.М./ВА53
Рвачев, В. Л.
Элементы дискретного анализа и теории R- функций [Текст] : учеб. пособие / В. Л. Рвачев ; Харьк. политехн. ин-т им. В. И. Ленина, Каф. теорет. и мат. физики. - Х. : [б. и.], 1972. - 169 с. : рис., табл. - Бібліогр.: с. 168-169. - 1000 прим.
З дарчим написом В. М. Глушкову від авт.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Харьковский политехнический институт имени В. И. Ленина. Кафедра теоретической и математической физики
Видання зберігається у :
Основний фонд
|
| 16. |
Глушков В.М./ВА485
Ершов, Юрий Леонидович.
Математическая логика [Текст] : лекции для студ. - математиков НГУ / Ю. Л. Ершов, Е. А. Палютин, М. А. Тайцлин ; Новосиб. гос. ун-т. - Новосибирск : [б. и.], 1973. - 160 с. - (Серия "Библиотека кафедры алгебры и математической логики Новосибирского университета" ; вып. 12). - 1000 прим.
З дарчим написом В. М. Глушкову від авторів.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Палютин, Евгений Андреевич; Тайцлин, Михаил Абрамович; Новосибирский государственный университет
Видання зберігається у :
Основний фонд
|
| 17. |
Глушков В.М./ВА46
Ершов, Юрий Леонидович.
Математическая логика [Текст] : учеб. пособие для студ. мат. специальностей вузов / Ю. Л. Ершов, Е. А. Палютин. - М. : Наука, Гл. ред. физ.-мат. лит., 1979. - 320 с. - 45 000 прим.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Палютин, Евгений Андреевич
Видання зберігається у :
Основний фонд
|
| 18. |
Глушков В.М./ВА904
Ершов, Юрий Леонидович.
Математическая логика [Текст] : учеб. пособие для студ. матем. спец. высш. учеб. заведений / Ю. Л. Ершов, Е. А. Палютин. - М. : Наука, 1979. - 318 с. - 45000 прим.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Палютин, Евгений Андреевич
Видання зберігається у :
Основний фонд
|
| 19. |
ВА735539
Дрозд, Юрій Анатолійович.
Основи математичної логіки [Текст] : курс лекцій / Ю. А. Дрозд ; Київ. нац. ун-т ім. Т. Шевченка. - К. : Київ. ун-т, 2005. - 126 с. - Бібліогр.: с. 126. - 100 прим. - ISBN 966-594-590-4Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 20. |
ІВ208711/CDR689
Marcovitz, Alan B..
Introduction to logic design [Text] / A. B. Marcovitz. - 2. ed. - Boston[etc.] : McGraw-Hill. McGrow-Hill Higher Education, 2005. - XV, 652 p.: fig. + CD-ROM. - ISBN 0-07-286516-4
Z dodatkom CDR689Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
|
| | |
Простий
Розширений
Книжкові видання та компакт-диски
Пам`ятка користувача