Перейти к содержимому 
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 12
Отмеченные записи: 0
1.
Подробнее
Кузнецов, Олег Петрович.
Дискретная математика для инженера / О. П. Кузнецов. - Изд. 6-е, стер. - Санкт-Петербург : Лань, 2014. - 395 с. : ил., табл. - (Учебники для вузов. Специальная литература). - Библиогр. : с. 388-389.. - ISBN 9785811405701
Рубрики: дискретная математика--учебные издания
графов теория--учебные издания
Кл.слова (ненормированные):
множеств теория -- общая алгебра -- математические операции -- логические функции -- логика предикатов -- алгоритмов теория -- рекурсивные функции -- Тьюринга машины -- формальные системы -- исчисление предикатов -- математическое исчисление -- логическое исчисление -- формальные грамматики -- семантика формальных языков -- вычислительная сложность
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Кузнецов, Олег Петрович.
Дискретная математика для инженера / О. П. Кузнецов. - Изд. 6-е, стер. - Санкт-Петербург : Лань, 2014. - 395 с. : ил., табл. - (Учебники для вузов. Специальная литература). - Библиогр. : с. 388-389.. - ISBN 9785811405701
| УДК |
Рубрики: дискретная математика--учебные издания
графов теория--учебные издания
Кл.слова (ненормированные):
множеств теория -- общая алгебра -- математические операции -- логические функции -- логика предикатов -- алгоритмов теория -- рекурсивные функции -- Тьюринга машины -- формальные системы -- исчисление предикатов -- математическое исчисление -- логическое исчисление -- формальные грамматики -- семантика формальных языков -- вычислительная сложность
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
2.
Подробнее
К 268
Основания математической логики [Текст] : пер. с англ. / Карри Хаскелл Б. - М. : Мир, 1969. - 568 c.
Кл.слова (ненормированные):
кванторы -- НЛ -- исчисления -- теория модальностей -- математическая логика -- математика -- Биневский, Александр Александрович (библиотека) -- отрицание -- методология математики -- формальные системы -- импликация
Экземпляры всего: 1
Абонемент учебной и научной литературы (1)
Свободны: Абонемент учебной и научной литературы (1)
К 268
Основания математической логики [Текст] : пер. с англ. / Карри Хаскелл Б. - М. : Мир, 1969. - 568 c.
| УДК |
Кл.слова (ненормированные):
кванторы -- НЛ -- исчисления -- теория модальностей -- математическая логика -- математика -- Биневский, Александр Александрович (библиотека) -- отрицание -- методология математики -- формальные системы -- импликация
Экземпляры всего: 1
Абонемент учебной и научной литературы (1)
Свободны: Абонемент учебной и научной литературы (1)
3.
Подробнее
Карри, Хаскелл Б.
Основания математической логики / Хаскелл Б. Карри ; пер. с англ. В. В. Донченко. - Москва : Мир, 1969. - 568 c. - Библиогр. : с. 518-547.
Парал. тит. л. на англ. яз.
Кл.слова (ненормированные):
кванторы -- математическая логика -- теория модальностей -- методология математики -- импликация -- отрицание (математика) -- исчисления -- формальные системы -- математика
Доп.точки доступа:
Донченко, В. В. \пер.\
Экземпляры всего: 6
Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (2), Абонемент учебной и научной литературы (Пушкинская, 10) (3)
Свободны: Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (2), Абонемент учебной и научной литературы (Пушкинская, 10) (3)
Карри, Хаскелл Б.
Основания математической логики / Хаскелл Б. Карри ; пер. с англ. В. В. Донченко. - Москва : Мир, 1969. - 568 c. - Библиогр. : с. 518-547.
Парал. тит. л. на англ. яз.
| УДК |
Кл.слова (ненормированные):
кванторы -- математическая логика -- теория модальностей -- методология математики -- импликация -- отрицание (математика) -- исчисления -- формальные системы -- математика
Доп.точки доступа:
Донченко, В. В. \пер.\
Экземпляры всего: 6
Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (2), Абонемент учебной и научной литературы (Пушкинская, 10) (3)
Свободны: Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (2), Абонемент учебной и научной литературы (Пушкинская, 10) (3)
4.
Подробнее
Клини, С. К.
Математическая логика / С. К. Клини ; пер. с англ. Ю. А. Гастева. - Москва : Мир, 1973. - 480 c. : табл. - Библиогр. : с. 451-465.
Парал. тит. л. на англ. яз.
Рубрики: математическая логика--монографии
Кл.слова (ненормированные):
рекурсивные функции -- Тьюринга машина -- Черча теорема -- исчисление предикатов -- вычислимость -- исчисление высказываний -- разрешимость -- Геделя теорема -- основания математики -- теория моделей -- теория доказательств -- Скулема парадокс -- Генцена теорема -- формальные системы, метаматематика -- формальная арифметика -- Эрбрана теорема
Доп.точки доступа:
Гастев, Ю. А. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Клини, С. К.
Математическая логика / С. К. Клини ; пер. с англ. Ю. А. Гастева. - Москва : Мир, 1973. - 480 c. : табл. - Библиогр. : с. 451-465.
Парал. тит. л. на англ. яз.
| УДК |
Рубрики: математическая логика--монографии
Кл.слова (ненормированные):
рекурсивные функции -- Тьюринга машина -- Черча теорема -- исчисление предикатов -- вычислимость -- исчисление высказываний -- разрешимость -- Геделя теорема -- основания математики -- теория моделей -- теория доказательств -- Скулема парадокс -- Генцена теорема -- формальные системы, метаматематика -- формальная арифметика -- Эрбрана теорема
Доп.точки доступа:
Гастев, Ю. А. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
5.
Подробнее
Исследования по неклассическим логикам и формальным системам / Под ред. Михайлов А.И.; АН СССР.Всесоюз.ин-т науч.и техн.информ. - М. : Наука, 1983. - 360 c.
Кл.слова (ненормированные):
интуиционистские теории -- неклассические логики -- логики многозначные -- теория логик аксиоматическая -- теория множеств аксиоматическая -- формальные системы -- математика -- логики модальные
Доп.точки доступа:
Михайлов, А. И. \ред.\
Академия наук СССР. Всесоюзный институт научной и технической информации
Свободных экз. нет
Исследования по неклассическим логикам и формальным системам / Под ред. Михайлов А.И.; АН СССР.Всесоюз.ин-т науч.и техн.информ. - М. : Наука, 1983. - 360 c.
| УДК |
Кл.слова (ненормированные):
интуиционистские теории -- неклассические логики -- логики многозначные -- теория логик аксиоматическая -- теория множеств аксиоматическая -- формальные системы -- математика -- логики модальные
Доп.точки доступа:
Михайлов, А. И. \ред.\
Академия наук СССР. Всесоюзный институт научной и технической информации
Свободных экз. нет
6.
Подробнее
Исследования по неклассическим логикам и теории множеств / Академия наук СССР, Институт научной и технической информации ; [отв. ред. А. И. Михайлов]. - Москва : Наука, 1979. - 373 c. : ил. - Библиогр. в конце ст.
Рубрики: множеств теория--сборники
математическая логика--сборники
Кл.слова (ненормированные):
логики многозначные -- логики модальные -- интуиционистские теории -- теория множеств аксиоматическая -- формальные системы -- теория логик аксиоматическая -- математика -- логики неклассические
Доп.точки доступа:
Михайлов, А. И. \ред.\
Академия наук СССР. Институт научной и технической информации
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Исследования по неклассическим логикам и теории множеств / Академия наук СССР, Институт научной и технической информации ; [отв. ред. А. И. Михайлов]. - Москва : Наука, 1979. - 373 c. : ил. - Библиогр. в конце ст.
| УДК |
Рубрики: множеств теория--сборники
математическая логика--сборники
Кл.слова (ненормированные):
логики многозначные -- логики модальные -- интуиционистские теории -- теория множеств аксиоматическая -- формальные системы -- теория логик аксиоматическая -- математика -- логики неклассические
Доп.точки доступа:
Михайлов, А. И. \ред.\
Академия наук СССР. Институт научной и технической информации
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
7.
Подробнее
Кузнецов, Олег Петрович.
Дискретная математика для инженера / О. П. Кузнецов. - Изд. 4-е, стер. - Санкт-Петербург : Лань, 2005. - 395 с. : ил. - (Учебники для вузов. Специальная литература). - Библиогр. : с. 388-389. - ISBN 5811405707
Рубрики: дискретная математика
Кл.слова (ненормированные):
множеств теория -- общая алгебра -- математические операции -- логические функции -- логика предикатов -- алгоритмов теория -- рекурсивные функции -- Тьюринга машины -- формальные системы -- исчисление предикатов -- математическое исчисление -- логическое исчисление -- формальные грамматики -- семантика формальных языков -- автоматы (дискретная математика)
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Кузнецов, Олег Петрович.
Дискретная математика для инженера / О. П. Кузнецов. - Изд. 4-е, стер. - Санкт-Петербург : Лань, 2005. - 395 с. : ил. - (Учебники для вузов. Специальная литература). - Библиогр. : с. 388-389. - ISBN 5811405707
| УДК |
Рубрики: дискретная математика
Кл.слова (ненормированные):
множеств теория -- общая алгебра -- математические операции -- логические функции -- логика предикатов -- алгоритмов теория -- рекурсивные функции -- Тьюринга машины -- формальные системы -- исчисление предикатов -- математическое исчисление -- логическое исчисление -- формальные грамматики -- семантика формальных языков -- автоматы (дискретная математика)
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
8.
Подробнее
К 891
519.1 К 891 / К 891-ЕКВ ауд.402 учебная
519.1 К 891 / К 891-ЕКВ ауд.402 учебная
519.1 К 891 / К 891-ЕКВ ауд.402 учебная
519.1 К 821 / К 891-ЕКВ ауд.402 учебная
519.1 К 891 / К 891-ЕКВ ауд.402 учебная
519.1 К 891 / К 891-ЕКВ ауд.402 учебная
519.1 К 891 / К 891-ЕКВ ауд.402 учебная
519.1 К 891 / К 891-ЕКВ ауд.402 учебная
519.1 К 891 / К 891-ЕКВ ауд.402 учебная
519.1 К 891 / К 891-ЕКВ ауд.402 учебная
519.1 К 891 / К 891-Ч/З о. Русский
519.1 К 891 / К 891-Книгохранение
Кузнецов, Олег Петрович.
Дискретная математика для инженера / О. П. Кузнецов, Г. М. Адельсон-Вельский. - Москва : Энергия, 1980. - 342 с. : ил., табл. - Библиогр. : с. 335-337
Предметный указатель: с. 338-341
Кл.слова (ненормированные):
множества (алгебра) -- функции -- алгебра логики -- графы -- алгоритмы -- формальные системы
Доп.точки доступа:
Адельсон-Вельский, Георгий Максимович
Экземпляры всего: 13
ЕКВ ауд.402 учебная (11), Ч/З о. Русский (1), Книгохранение (1)
Свободны: ЕКВ ауд.402 учебная (11), Ч/З о. Русский (1), Книгохранение (1)
К 891
519.1 К 891 / К 891-ЕКВ ауд.402 учебная
519.1 К 891 / К 891-ЕКВ ауд.402 учебная
519.1 К 891 / К 891-ЕКВ ауд.402 учебная
519.1 К 821 / К 891-ЕКВ ауд.402 учебная
519.1 К 891 / К 891-ЕКВ ауд.402 учебная
519.1 К 891 / К 891-ЕКВ ауд.402 учебная
519.1 К 891 / К 891-ЕКВ ауд.402 учебная
519.1 К 891 / К 891-ЕКВ ауд.402 учебная
519.1 К 891 / К 891-ЕКВ ауд.402 учебная
519.1 К 891 / К 891-ЕКВ ауд.402 учебная
519.1 К 891 / К 891-Ч/З о. Русский
519.1 К 891 / К 891-Книгохранение
Кузнецов, Олег Петрович.
Дискретная математика для инженера / О. П. Кузнецов, Г. М. Адельсон-Вельский. - Москва : Энергия, 1980. - 342 с. : ил., табл. - Библиогр. : с. 335-337
Предметный указатель: с. 338-341
| УДК |
Кл.слова (ненормированные):
множества (алгебра) -- функции -- алгебра логики -- графы -- алгоритмы -- формальные системы
Доп.точки доступа:
Адельсон-Вельский, Георгий Максимович
Экземпляры всего: 13
ЕКВ ауд.402 учебная (11), Ч/З о. Русский (1), Книгохранение (1)
Свободны: ЕКВ ауд.402 учебная (11), Ч/З о. Русский (1), Книгохранение (1)
9.
Подробнее
Кузнецов, Олег Павлович.
Дискретная математика для инженера / О. П. Кузнецов, Г. М. Адельсон-Вельский. - 2-е изд., перераб. и доп. - Москва : Энергоатомиздат, 1988. - 480 с. : ил., табл. - Библиогр. : с. 473-475.. - ISBN 5283015637
Рубрики: дискретная математика
графов теория
Кл.слова (ненормированные):
множеств теория -- общая алгебра -- математические операции -- логические функции -- логика предикатов -- алгоритмов теория -- рекурсивные функции -- Тьюринга машины -- формальные системы -- исчисление предикатов -- математическое исчисление -- логическое исчисление -- формальные грамматики -- семантика формальных языков
Доп.точки доступа:
Адельсон-Вельский, Георгий Максимович
Экземпляры всего: 2
Ч/З о. Русский (2)
Свободны: Ч/З о. Русский (2)
Кузнецов, Олег Павлович.
Дискретная математика для инженера / О. П. Кузнецов, Г. М. Адельсон-Вельский. - 2-е изд., перераб. и доп. - Москва : Энергоатомиздат, 1988. - 480 с. : ил., табл. - Библиогр. : с. 473-475.. - ISBN 5283015637
| УДК |
Рубрики: дискретная математика
графов теория
Кл.слова (ненормированные):
множеств теория -- общая алгебра -- математические операции -- логические функции -- логика предикатов -- алгоритмов теория -- рекурсивные функции -- Тьюринга машины -- формальные системы -- исчисление предикатов -- математическое исчисление -- логическое исчисление -- формальные грамматики -- семантика формальных языков
Доп.точки доступа:
Адельсон-Вельский, Георгий Максимович
Экземпляры всего: 2
Ч/З о. Русский (2)
Свободны: Ч/З о. Русский (2)
10.
Подробнее
Вагин, Вадим Николаевич.
Дедукция и обобщение в системах принятия решений / В. Н. Вагин. - Москва : Наука, 1988. - 383 c. : ил. - (Проблемы искусственного интеллекта). - Библиогр. : с. 370-381. - ISBN 5020138878
Рубрики: принятие решений--системы поддержки--математическая теория
Кл.слова (ненормированные):
системы управления сложными объектами -- семантические сети -- формальные системы -- дедуктивная логика -- методы кластеризации -- дедуктивный вывод -- управление энергообъединениями -- исчисление высказываний -- исчисление предикатов -- системы принятия решений -- алгоритмы дедукции на семантических сетях -- алгоритмы обобщения по признакам -- алгоритмы кластеризации -- методы обобщения информации (интеллектуальные системы) -- графы семантические -- методы распознавания образов -- процедуры логического вывода дедуктивные -- логико-лингвистические модели управления -- структурное обобщение понятий -- модели представления знаний -- системы автоматизации научных исследований -- кластеризации методы -- кластеризации алгоритмы
Экземпляры всего: 2
Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1)
Свободны: Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1)
Вагин, Вадим Николаевич.
Дедукция и обобщение в системах принятия решений / В. Н. Вагин. - Москва : Наука, 1988. - 383 c. : ил. - (Проблемы искусственного интеллекта). - Библиогр. : с. 370-381. - ISBN 5020138878
| УДК |
Рубрики: принятие решений--системы поддержки--математическая теория
Кл.слова (ненормированные):
системы управления сложными объектами -- семантические сети -- формальные системы -- дедуктивная логика -- методы кластеризации -- дедуктивный вывод -- управление энергообъединениями -- исчисление высказываний -- исчисление предикатов -- системы принятия решений -- алгоритмы дедукции на семантических сетях -- алгоритмы обобщения по признакам -- алгоритмы кластеризации -- методы обобщения информации (интеллектуальные системы) -- графы семантические -- методы распознавания образов -- процедуры логического вывода дедуктивные -- логико-лингвистические модели управления -- структурное обобщение понятий -- модели представления знаний -- системы автоматизации научных исследований -- кластеризации методы -- кластеризации алгоритмы
Экземпляры всего: 2
Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1)
Свободны: Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1)
Страница 1, Результатов: 12