Перейти к содержимому 
База данных: Электронный каталог ДВФУ
Страница 2, Результатов: 20
Отмеченные записи: 0
11.
Подробнее
Жоль, Константин Константинович.
Логика в лицах и символах : учебник для вузов / К. К. Жоль. - Изд. 2-е, испр. и доп. - Москва : АСТ : Восток-Запад, 2006. - 319 с. : ил.. - ISBN 5170372868. - ISBN 5478003131
ББК 87.4я73
Рубрики: логика--учебные издания для вузов
Кл.слова (ненормированные):
математическая логика -- ценность логической науки -- логика и естественные науки -- логика и компьютеры -- логика в лицах и символах
Экземпляры всего: 3
Абонемент учебной и научной литературы (3)
Свободны: Абонемент учебной и научной литературы (3)
Жоль, Константин Константинович.
Логика в лицах и символах : учебник для вузов / К. К. Жоль. - Изд. 2-е, испр. и доп. - Москва : АСТ : Восток-Запад, 2006. - 319 с. : ил.. - ISBN 5170372868. - ISBN 5478003131
| УДК |
Рубрики: логика--учебные издания для вузов
Кл.слова (ненормированные):
математическая логика -- ценность логической науки -- логика и естественные науки -- логика и компьютеры -- логика в лицах и символах
Экземпляры всего: 3
Абонемент учебной и научной литературы (3)
Свободны: Абонемент учебной и научной литературы (3)
12.
Подробнее
Сборник задач по специальным главам высшей математики : учебное пособие / Г. И. Кручкович, Г. М. Мордасова, В. А. Подольский и др. ; под ред. Г. И. Кручковича. - Москва : Высшая школа, 1970. - 512 с.
Кл.слова (ненормированные):
исчисление матричное -- поля скалярные -- комплексного переменного функции -- намма-функции -- Фурье преобразование -- Лапласа преобразования -- теории вероятностей основы -- Фурье метод -- Муара - Лапласа теоремы -- вероятностей алгебра -- дифференциальные уравнения
Доп.точки доступа:
Мордасова, Галина Михайловна
Подольский, Владимир Алексеевич
Крукович, Георгий Ионович \ред.\
Экземпляры всего: 1
Абонемент учебной и научной литературы (1)
Свободны: Абонемент учебной и научной литературы (1)
Сборник задач по специальным главам высшей математики : учебное пособие / Г. И. Кручкович, Г. М. Мордасова, В. А. Подольский и др. ; под ред. Г. И. Кручковича. - Москва : Высшая школа, 1970. - 512 с.
| УДК |
Кл.слова (ненормированные):
исчисление матричное -- поля скалярные -- комплексного переменного функции -- намма-функции -- Фурье преобразование -- Лапласа преобразования -- теории вероятностей основы -- Фурье метод -- Муара - Лапласа теоремы -- вероятностей алгебра -- дифференциальные уравнения
Доп.точки доступа:
Мордасова, Галина Михайловна
Подольский, Владимир Алексеевич
Крукович, Георгий Ионович \ред.\
Экземпляры всего: 1
Абонемент учебной и научной литературы (1)
Свободны: Абонемент учебной и научной литературы (1)
13.
Подробнее
В 474
Гильдерман, Юрий Ильич.
Лекции по высшей математике для биологов : учебное пособие / Ю. И. Гильдерман ; отв. ред. Г. П. Акимов ; Академия наук СССР, Сибирское отделение, Новосибирский государственный университет. ; Академия наук СССР, Сибирское отделение, Новосибирский государственный университет. - Новосибирск : Наука, 1974. - 408 с.
Кл.слова (ненормированные):
множества и функции -- непрерывные функции -- производная -- дифференциал -- интеграл -- ряды -- линейная алгебра -- многомерное пространство -- анализ функций -- дифференциаоьные уравнения -- элементы дискретной математики
Доп.точки доступа:
Акилов, Глеб Павлович \ред.\
Академия наук СССР. Сибирское отделение
Новосибирский государственный университет
Экземпляры всего: 1
Абонемент учебной и научной литературы (1)
Свободны: Абонемент учебной и научной литературы (1)
В 474
Гильдерман, Юрий Ильич.
Лекции по высшей математике для биологов : учебное пособие / Ю. И. Гильдерман ; отв. ред. Г. П. Акимов ; Академия наук СССР, Сибирское отделение, Новосибирский государственный университет. ; Академия наук СССР, Сибирское отделение, Новосибирский государственный университет. - Новосибирск : Наука, 1974. - 408 с.
| УДК |
Кл.слова (ненормированные):
множества и функции -- непрерывные функции -- производная -- дифференциал -- интеграл -- ряды -- линейная алгебра -- многомерное пространство -- анализ функций -- дифференциаоьные уравнения -- элементы дискретной математики
Доп.точки доступа:
Акилов, Глеб Павлович \ред.\
Академия наук СССР. Сибирское отделение
Новосибирский государственный университет
Экземпляры всего: 1
Абонемент учебной и научной литературы (1)
Свободны: Абонемент учебной и научной литературы (1)
14.
Подробнее
Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов : учебное пособие для вузов / М. М. Глухов, О. А. Козлитин, В. А. Шапошников [и др.]. - Санкт-Петербург : Лань, 2008. - 111 с. - (Учебники для вузов. Специальная литература). - Библиогр. : с. 109 - 110.. - ISBN 9785811408535
Сер. указ. на обор. тит. л.
Рубрики: математическая логика--учебные издания для вузов
алгоритмов теория--учебные издания для вузов
дискретные функции--учебные издания для вузов
Кл.слова (ненормированные):
логика высказываний -- булева алгебра -- логика предикатов -- булевы функции -- алгебра высказываний -- исчисление высказываний -- алгебра предикатов -- исчисление предикатов -- функции алгебры логики -- алгебра логики
Доп.точки доступа:
Глухов, Михаил Михайлович
Козлитин, Олег Алексеевич
Шапошников, Виталий Анатольевич
Экземпляры всего: 3
Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
Свободны: Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов : учебное пособие для вузов / М. М. Глухов, О. А. Козлитин, В. А. Шапошников [и др.]. - Санкт-Петербург : Лань, 2008. - 111 с. - (Учебники для вузов. Специальная литература). - Библиогр. : с. 109 - 110.. - ISBN 9785811408535
Сер. указ. на обор. тит. л.
| УДК |
Рубрики: математическая логика--учебные издания для вузов
алгоритмов теория--учебные издания для вузов
дискретные функции--учебные издания для вузов
Кл.слова (ненормированные):
логика высказываний -- булева алгебра -- логика предикатов -- булевы функции -- алгебра высказываний -- исчисление высказываний -- алгебра предикатов -- исчисление предикатов -- функции алгебры логики -- алгебра логики
Доп.точки доступа:
Глухов, Михаил Михайлович
Козлитин, Олег Алексеевич
Шапошников, Виталий Анатольевич
Экземпляры всего: 3
Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
Свободны: Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
15.
Подробнее
Васильев, В. И.
Дискретная математика : учеб. пособие / В.И. Васильев, Ю.Ф. Касимов; Моск. гос. ун-т гражд. авиации. - М. : [б. и.], 1995. - 108с.. - ISBN 5863110538
Кл.слова (ненормированные):
дискретная математика -- математический язык -- Логика -- математическая логика -- математика -- учебные пособия
Доп.точки доступа:
Касимов, Ю. Ф.
Моск. гос. ун-т гражд. авиации
Экземпляры всего: 1
ЕКВ ауд.301 учебная (1)
Свободны: ЕКВ ауд.301 учебная (1)
Васильев, В. И.
Дискретная математика : учеб. пособие / В.И. Васильев, Ю.Ф. Касимов; Моск. гос. ун-т гражд. авиации. - М. : [б. и.], 1995. - 108с.. - ISBN 5863110538
| УДК |
Кл.слова (ненормированные):
дискретная математика -- математический язык -- Логика -- математическая логика -- математика -- учебные пособия
Доп.точки доступа:
Касимов, Ю. Ф.
Моск. гос. ун-т гражд. авиации
Экземпляры всего: 1
ЕКВ ауд.301 учебная (1)
Свободны: ЕКВ ауд.301 учебная (1)
16.
Подробнее
Васильев, В. И.
Дискретная математика : учеб. пособие / В.И. Васильев, Ю.Ф. Касимов; Моск. гос. техн. ун-т гражд. авиации. - М. : [б. и.], 1995. - 228с.. - ISBN 5863110546
Кл.слова (ненормированные):
дискретная математика -- математика -- теория множеств -- бинарные отношения -- учебные пособия
Доп.точки доступа:
Касимов, Ю. Ф.
Экземпляры всего: 1
ЕКВ ауд.301 учебная (1)
Свободны: ЕКВ ауд.301 учебная (1)
Васильев, В. И.
Дискретная математика : учеб. пособие / В.И. Васильев, Ю.Ф. Касимов; Моск. гос. техн. ун-т гражд. авиации. - М. : [б. и.], 1995. - 228с.. - ISBN 5863110546
| УДК |
Кл.слова (ненормированные):
дискретная математика -- математика -- теория множеств -- бинарные отношения -- учебные пособия
Доп.точки доступа:
Касимов, Ю. Ф.
Экземпляры всего: 1
ЕКВ ауд.301 учебная (1)
Свободны: ЕКВ ауд.301 учебная (1)
17.
Подробнее
Е 515
Елисеенко, Ирина Леонидовна.
Математическая логика : учебно-методический комплекс для вузов / И. Л. Елисеенко, Г. Ю. Дмух ; Дальневосточный государственный технический университет. ; Дальневосточный государственный технический университет (Владивосток). - Владивосток : Изд-во Дальневосточного технического университета, 2008. - 131 с. : табл., ил. - (Инновационная образовательная программа ДВГТУ.). - Библиогр. : с. 129.. - ISBN 9785759609223
Рубрики: математическая логика--учебные издания для вузов
Кл.слова (ненормированные):
Поста теорема -- базисы -- исчисление высказываний -- система аксиом -- дедукции теорема -- исчисление предикатов -- алгоритмов теория -- Тьюринга машины -- практикумы учебные (математическая логика) -- булевы функции
Доп.точки доступа:
Дмух, Галина Юрьевна
Дальневосточный государственный технический университет (Владивосток)
Экземпляры всего: 57
ЕКВ ауд.402 учебная (48), Хранение Отдела организации и использования фонда (1), Абонемент о. Русский (5), Ч/З о. Русский (3)
Свободны: ЕКВ ауд.402 учебная (48), Хранение Отдела организации и использования фонда (1), Абонемент о. Русский (5), Ч/З о. Русский (3)
Е 515
Елисеенко, Ирина Леонидовна.
Математическая логика : учебно-методический комплекс для вузов / И. Л. Елисеенко, Г. Ю. Дмух ; Дальневосточный государственный технический университет. ; Дальневосточный государственный технический университет (Владивосток). - Владивосток : Изд-во Дальневосточного технического университета, 2008. - 131 с. : табл., ил. - (Инновационная образовательная программа ДВГТУ.). - Библиогр. : с. 129.. - ISBN 9785759609223
| УДК |
Рубрики: математическая логика--учебные издания для вузов
Кл.слова (ненормированные):
Поста теорема -- базисы -- исчисление высказываний -- система аксиом -- дедукции теорема -- исчисление предикатов -- алгоритмов теория -- Тьюринга машины -- практикумы учебные (математическая логика) -- булевы функции
Доп.точки доступа:
Дмух, Галина Юрьевна
Дальневосточный государственный технический университет (Владивосток)
Экземпляры всего: 57
ЕКВ ауд.402 учебная (48), Хранение Отдела организации и использования фонда (1), Абонемент о. Русский (5), Ч/З о. Русский (3)
Свободны: ЕКВ ауд.402 учебная (48), Хранение Отдела организации и использования фонда (1), Абонемент о. Русский (5), Ч/З о. Русский (3)
18.
Подробнее
Блох, Абрам Шлемович.
Граф-схемы и алгоритмы : учебное пособие / А. Ш. Блох. - Минск : Вышэйшая школа, 1987. - 144 с. : ил.
Кл.слова (ненормированные):
алгоритмы -- граф-схемы -- программы -- вычислимые функции -- программирование -- рекурсивные функции
Экземпляры всего: 3
Абонемент учебной и научной литературы (3)
Свободны: Абонемент учебной и научной литературы (3)
Блох, Абрам Шлемович.
Граф-схемы и алгоритмы : учебное пособие / А. Ш. Блох. - Минск : Вышэйшая школа, 1987. - 144 с. : ил.
| УДК |
Кл.слова (ненормированные):
алгоритмы -- граф-схемы -- программы -- вычислимые функции -- программирование -- рекурсивные функции
Экземпляры всего: 3
Абонемент учебной и научной литературы (3)
Свободны: Абонемент учебной и научной литературы (3)
19.
Подробнее
Глухов, Михаил Михайлович.
Математическая логика. Дискретные функции. Теория алгоритмов : учебное пособие для вузов / М. М. Глухов, А. Б. Шишков. - Санкт-Петербург : Лань, 2012. - 405 с. : ил., табл. - (Учебники для вузов. Специальная литература). - Библиогр. : с. 398-401.. - ISBN 9785811413447
Рубрики: математическая логика--учебные издания для вузов
дискретные функции--учебные издания для вузов
алгоритмов теория--учебные издания для вузов
Кл.слова (ненормированные):
множества (математика) -- алгебра высказываний -- исчисление высказываний -- алгебра предикатов -- исчисление предикатов -- булевы функции -- функции алгебры логики -- функции k-значной логики -- алгебра логики -- теория дискретных функций -- теория алгоритмов
Доп.точки доступа:
Шишков, Алексей Борисович
Экземпляры всего: 3
Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
Свободны: Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
Глухов, Михаил Михайлович.
Математическая логика. Дискретные функции. Теория алгоритмов : учебное пособие для вузов / М. М. Глухов, А. Б. Шишков. - Санкт-Петербург : Лань, 2012. - 405 с. : ил., табл. - (Учебники для вузов. Специальная литература). - Библиогр. : с. 398-401.. - ISBN 9785811413447
| УДК |
Рубрики: математическая логика--учебные издания для вузов
дискретные функции--учебные издания для вузов
алгоритмов теория--учебные издания для вузов
Кл.слова (ненормированные):
множества (математика) -- алгебра высказываний -- исчисление высказываний -- алгебра предикатов -- исчисление предикатов -- булевы функции -- функции алгебры логики -- функции k-значной логики -- алгебра логики -- теория дискретных функций -- теория алгоритмов
Доп.точки доступа:
Шишков, Алексей Борисович
Экземпляры всего: 3
Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
Свободны: Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
20.
Подробнее
Мышкис, Анатолий Дмитриевич.
Математика для втузов. Специальные курсы : учебное пособие для втузов / А. Д. Мышкис. - Москва : Наука, 1971. - 632 с. : ил. - Библиогр. : с. 621-625.
Кл.слова (ненормированные):
математика -- теория поля -- теория аналитических функций -- операционное исчисление -- линейная алгебра -- тензоры -- вариационное исчисление -- интегральные уравнения -- дифференциальные уравнения -- современная математика
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Мышкис, Анатолий Дмитриевич.
Математика для втузов. Специальные курсы : учебное пособие для втузов / А. Д. Мышкис. - Москва : Наука, 1971. - 632 с. : ил. - Библиогр. : с. 621-625.
| УДК |
Кл.слова (ненормированные):
математика -- теория поля -- теория аналитических функций -- операционное исчисление -- линейная алгебра -- тензоры -- вариационное исчисление -- интегральные уравнения -- дифференциальные уравнения -- современная математика
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Страница 2, Результатов: 20