Перейти к содержимому
База данных: Электронный каталог ДВФУ
Страница 4, Результатов: 60
Отмеченные записи: 0
31.
Подробнее
Акимов, Олег Евгеньевич.
Дискретная математика. Логика, группы, графы / О. Е. Акимов. - Изд. 2-е, доп. - Москва : Лаборатория Базовых Знаний, 2003. - 376 c. : ил., табл. - (Технический университет). - ISBN 5932080256
Рубрики: дискретная математика
Кл.слова (ненормированные):
булевы функции -- логика предикатов -- алгебраические системы -- конструктивизм (математика) -- математическая логика -- группы (математика) -- графы (математика)
Экземпляры всего: 6
Ч/З о. Русский (1), Абонемент учебной и научной литературы (4), Абонемент 402 (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (4), Абонемент 402 (1)
Акимов, Олег Евгеньевич.
Дискретная математика. Логика, группы, графы / О. Е. Акимов. - Изд. 2-е, доп. - Москва : Лаборатория Базовых Знаний, 2003. - 376 c. : ил., табл. - (Технический университет). - ISBN 5932080256
| УДК |
Рубрики: дискретная математика
Кл.слова (ненормированные):
булевы функции -- логика предикатов -- алгебраические системы -- конструктивизм (математика) -- математическая логика -- группы (математика) -- графы (математика)
Экземпляры всего: 6
Ч/З о. Русский (1), Абонемент учебной и научной литературы (4), Абонемент 402 (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (4), Абонемент 402 (1)
32.
Подробнее
Игошин, Владимир Иванович.
Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для вузов / В. И. Игошин. - 2-е изд., стер. - Москва : Академия, 2006. - 303 с. : табл. - (Высшее профессиональное образование). - ISBN 5769529148
Рубрики: математическая логика--учебные издания для вузов
алгоритмов теория--учебные издания для вузов
Кл.слова (ненормированные):
теория алгоритмов -- алгебра высказываний -- булевы функции -- исчисление высказываний -- логика предикатов -- Маркова алгоритмы -- Тьюринга машины
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Игошин, Владимир Иванович.
Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для вузов / В. И. Игошин. - 2-е изд., стер. - Москва : Академия, 2006. - 303 с. : табл. - (Высшее профессиональное образование). - ISBN 5769529148
| УДК |
Рубрики: математическая логика--учебные издания для вузов
алгоритмов теория--учебные издания для вузов
Кл.слова (ненормированные):
теория алгоритмов -- алгебра высказываний -- булевы функции -- исчисление высказываний -- логика предикатов -- Маркова алгоритмы -- Тьюринга машины
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
33.
Подробнее
С 544
Соболева, Татьяна Сергеевна.
Дискретная математика : учебник для вузов / Т. С. Соболева, А. В. Чечкин ; под ред. А. В. Чечкина. - Москва : Академия, 2006. - 255 с. : табл. - (Университетский учебник). - Библиогр. : с. 252. - ISBN 5769528230
Кл.слова (ненормированные):
дискретная математика -- топология -- математическая логика -- математическая кибернетика -- математическая информатика -- теория множеств -- теория графов -- булевы функции -- логика предикатов -- логика высказываний -- синтаксис языков -- теория алгоритмов -- кодирования теория -- семантика языков -- базы знаний, математическое моделирование -- интеллектуальные системы -- системный анализ -- алгебра
Доп.точки доступа:
Чечкин, А. В. \ред.\
Экземпляры всего: 32
Ч/З о. Русский (4), Абонемент учебной и научной литературы (7), Абонемент 402 (21)
Свободны: Ч/З о. Русский (4), Абонемент учебной и научной литературы (7), Абонемент 402 (21)
С 544
Соболева, Татьяна Сергеевна.
Дискретная математика : учебник для вузов / Т. С. Соболева, А. В. Чечкин ; под ред. А. В. Чечкина. - Москва : Академия, 2006. - 255 с. : табл. - (Университетский учебник). - Библиогр. : с. 252. - ISBN 5769528230
| УДК |
Кл.слова (ненормированные):
дискретная математика -- топология -- математическая логика -- математическая кибернетика -- математическая информатика -- теория множеств -- теория графов -- булевы функции -- логика предикатов -- логика высказываний -- синтаксис языков -- теория алгоритмов -- кодирования теория -- семантика языков -- базы знаний, математическое моделирование -- интеллектуальные системы -- системный анализ -- алгебра
Доп.точки доступа:
Чечкин, А. В. \ред.\
Экземпляры всего: 32
Ч/З о. Русский (4), Абонемент учебной и научной литературы (7), Абонемент 402 (21)
Свободны: Ч/З о. Русский (4), Абонемент учебной и научной литературы (7), Абонемент 402 (21)
34.
Подробнее
П 58
Попов, Юрий Петрович.
Логика: традиционная логика, логика высказываний, логика предикатов : учебное пособие для вузов / Ю. П. Попов. - Изд. 2-е, испр. и доп. - Владивосток : Изд-во Дальневосточного университета, 2003. - 304 c. : ил., табл. - (Философская библиотека ДВГУ ; вып. 4). - ISBN 5744408622
ББК 87.4я73
Рубрики: логика--учебные издания для вузов
Кл.слова (ненормированные):
ДВГУ (труды преподавателей) -- логические категории -- логика предикатов -- логики законы -- символическая логика -- доказательство (логика) -- логика высказываний -- умозаключение (логика) -- мышление (логика) -- понятие (логика) -- суждение (логика) -- логическое конструирование -- логические системы -- индукция
Экземпляры всего: 15
Абонемент о. Русский (8), Абонемент учебной и научной литературы (5), Ч/З о. Русский (1), Книгохранение (1)
Свободны: Абонемент о. Русский (8), Абонемент учебной и научной литературы (5), Ч/З о. Русский (1), Книгохранение (1)
П 58
Попов, Юрий Петрович.
Логика: традиционная логика, логика высказываний, логика предикатов : учебное пособие для вузов / Ю. П. Попов. - Изд. 2-е, испр. и доп. - Владивосток : Изд-во Дальневосточного университета, 2003. - 304 c. : ил., табл. - (Философская библиотека ДВГУ ; вып. 4). - ISBN 5744408622
Рубрики: логика--учебные издания для вузов
Кл.слова (ненормированные):
ДВГУ (труды преподавателей) -- логические категории -- логика предикатов -- логики законы -- символическая логика -- доказательство (логика) -- логика высказываний -- умозаключение (логика) -- мышление (логика) -- понятие (логика) -- суждение (логика) -- логическое конструирование -- логические системы -- индукция
Экземпляры всего: 15
Абонемент о. Русский (8), Абонемент учебной и научной литературы (5), Ч/З о. Русский (1), Книгохранение (1)
Свободны: Абонемент о. Русский (8), Абонемент учебной и научной литературы (5), Ч/З о. Русский (1), Книгохранение (1)
35.
Подробнее
Бочаров, Вячеслав Александрович.
Основы логики : учебник для вузов по гуманитарным и естественнонаучным специальностям / В. А. Бочаров, В. И. Маркин ; Московский государственный университет. ; Московский государственный университет. - Москва : Форум : Инфра-М, 2005. - 333 с. : ил. - (Классический университетский учебник). - ISBN 581990169X. - ISBN 5160022937
ББК 87.4я73
Рубрики: логика--учебные издания для вузов
Кл.слова (ненормированные):
рациональное познание (логика) -- логические законы -- логика высказываний -- логические теории -- дедуктивные выводы (логика) -- силлогистика -- логика предикатов -- энтимемы (логика) -- понятия (логика) -- определения (логика) -- правдоподобные рассуждения (логика) -- причинные связи (логика)
Доп.точки доступа:
Маркин, Владимир Ильич
Московский государственный университет
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Бочаров, Вячеслав Александрович.
Основы логики : учебник для вузов по гуманитарным и естественнонаучным специальностям / В. А. Бочаров, В. И. Маркин ; Московский государственный университет. ; Московский государственный университет. - Москва : Форум : Инфра-М, 2005. - 333 с. : ил. - (Классический университетский учебник). - ISBN 581990169X. - ISBN 5160022937
Рубрики: логика--учебные издания для вузов
Кл.слова (ненормированные):
рациональное познание (логика) -- логические законы -- логика высказываний -- логические теории -- дедуктивные выводы (логика) -- силлогистика -- логика предикатов -- энтимемы (логика) -- понятия (логика) -- определения (логика) -- правдоподобные рассуждения (логика) -- причинные связи (логика)
Доп.точки доступа:
Маркин, Владимир Ильич
Московский государственный университет
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
36.
Подробнее
Просветов, Георгий Иванович.
Дискретная математика : задачи и решения : учебное пособие / Г. И. Просветов. - Москва : БИНОМ. Лаборатория знаний, 2008. - 222 с. : ил. - Библиогр. : с. 221-222.. - ISBN 9785947748291
Рубрики: дискретная математика--задачи--решение--учебные издания для вузов
Кл.слова (ненормированные):
математическая логика -- множества (математика) -- булевы функции -- линейные функции -- двойственные функции -- монотонные функции -- Поста теорема -- логика предикатов -- вычислимые функции -- Маркова алгоритмы -- алгебраические системы -- кодирования теория -- математическая индукция -- многочлены -- рекуррентные соотношения -- Хемминга коды -- Хаффмана код -- комбинаторика -- Ньютона бином -- теория графов -- графы (математика) -- коммивояжера задача -- дерево решений (математика) -- сетевое планирование -- метод ветвей и границ (математика) -- задача о назначениях -- транспортная задача (математика) -- эйлеровы циклы
Экземпляры всего: 5
Книгохранение (1), Ч/З о. Русский (1), Абонемент учебной и научной литературы (3)
Свободны: Книгохранение (1), Ч/З о. Русский (1), Абонемент учебной и научной литературы (3)
Просветов, Георгий Иванович.
Дискретная математика : задачи и решения : учебное пособие / Г. И. Просветов. - Москва : БИНОМ. Лаборатория знаний, 2008. - 222 с. : ил. - Библиогр. : с. 221-222.. - ISBN 9785947748291
| УДК |
Рубрики: дискретная математика--задачи--решение--учебные издания для вузов
Кл.слова (ненормированные):
математическая логика -- множества (математика) -- булевы функции -- линейные функции -- двойственные функции -- монотонные функции -- Поста теорема -- логика предикатов -- вычислимые функции -- Маркова алгоритмы -- алгебраические системы -- кодирования теория -- математическая индукция -- многочлены -- рекуррентные соотношения -- Хемминга коды -- Хаффмана код -- комбинаторика -- Ньютона бином -- теория графов -- графы (математика) -- коммивояжера задача -- дерево решений (математика) -- сетевое планирование -- метод ветвей и границ (математика) -- задача о назначениях -- транспортная задача (математика) -- эйлеровы циклы
Экземпляры всего: 5
Книгохранение (1), Ч/З о. Русский (1), Абонемент учебной и научной литературы (3)
Свободны: Книгохранение (1), Ч/З о. Русский (1), Абонемент учебной и научной литературы (3)
37.
Подробнее
Дехтярь, Михаил Иосифович.
Лекции по дискретной математике : учебное пособие / М. И. Дехтярь. - Москва : Интернет-Университет Информационных Технологий : БИНОМ. Лаборатория знаний, 2007. - 259 с. : ил., табл. - (Основы информационных технологий). - Библиогр. : с. 258-259.. - ISBN 9785947747140. - ISBN 9785955601106
Рубрики: дискретная математика--учебные издания для вузов
Кл.слова (ненормированные):
множества (математика) -- комбинаторика -- математическая индукция -- булевы функции -- Жегалкина многочлены -- булевы формулы -- Поста теорема -- хорновские формулы -- логика предикатов (дискретная математика) -- деревья (математика) -- графы (математика) -- упорядоченные бинарные диаграммы решений -- конечные автоматы (математика) -- регулярные языки -- автоматные языки -- алгоритмы -- рекурсивные функции -- Тьюринга машины -- тьюрингово программирование -- вычислимые функции -- алгоритмически неразрешимые проблемы
Экземпляры всего: 2
Ч/З о. Русский (1), Книгохранение (1)
Свободны: Ч/З о. Русский (1), Книгохранение (1)
Дехтярь, Михаил Иосифович.
Лекции по дискретной математике : учебное пособие / М. И. Дехтярь. - Москва : Интернет-Университет Информационных Технологий : БИНОМ. Лаборатория знаний, 2007. - 259 с. : ил., табл. - (Основы информационных технологий). - Библиогр. : с. 258-259.. - ISBN 9785947747140. - ISBN 9785955601106
| УДК |
Рубрики: дискретная математика--учебные издания для вузов
Кл.слова (ненормированные):
множества (математика) -- комбинаторика -- математическая индукция -- булевы функции -- Жегалкина многочлены -- булевы формулы -- Поста теорема -- хорновские формулы -- логика предикатов (дискретная математика) -- деревья (математика) -- графы (математика) -- упорядоченные бинарные диаграммы решений -- конечные автоматы (математика) -- регулярные языки -- автоматные языки -- алгоритмы -- рекурсивные функции -- Тьюринга машины -- тьюрингово программирование -- вычислимые функции -- алгоритмически неразрешимые проблемы
Экземпляры всего: 2
Ч/З о. Русский (1), Книгохранение (1)
Свободны: Ч/З о. Русский (1), Книгохранение (1)
38.
Подробнее
Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов : учебное пособие для вузов / М. М. Глухов, О. А. Козлитин, В. А. Шапошников [и др.]. - Санкт-Петербург : Лань, 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)
39.
Подробнее
Лихтарников, Леонид Моисеевич.
Математическая логика. Курс лекций. Задачник - практикум и решения : учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева. - Изд. 3-е, испр. - Санкт-Петербург : Лань, 2008. - 276 с. : табл., ил. - (Учебники для вузов. Специальная литература). - Библиогр. : с. 273. - Сер. указ. на обор. тит. л.. - ISBN 9785811400829
Рубрики: математическая логика--учебные издания для вузов
Кл.слова (ненормированные):
алгебра логики -- Буля алгебра -- двойственности закон -- исчисление высказываний -- логика предикатов -- математические теории -- алгоритмы (математическая логика) -- Тьюринга машины -- Маркова нормальные алгоритмы -- вычислимые функции -- Геделя теорема -- дедукции теорема -- кванторные операции
Доп.точки доступа:
Сукачева, Тамара Геннадьевна
Экземпляры всего: 1
Абонемент 402 (1)
Свободны: Абонемент 402 (1)
Лихтарников, Леонид Моисеевич.
Математическая логика. Курс лекций. Задачник - практикум и решения : учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева. - Изд. 3-е, испр. - Санкт-Петербург : Лань, 2008. - 276 с. : табл., ил. - (Учебники для вузов. Специальная литература). - Библиогр. : с. 273. - Сер. указ. на обор. тит. л.. - ISBN 9785811400829
| УДК |
Рубрики: математическая логика--учебные издания для вузов
Кл.слова (ненормированные):
алгебра логики -- Буля алгебра -- двойственности закон -- исчисление высказываний -- логика предикатов -- математические теории -- алгоритмы (математическая логика) -- Тьюринга машины -- Маркова нормальные алгоритмы -- вычислимые функции -- Геделя теорема -- дедукции теорема -- кванторные операции
Доп.точки доступа:
Сукачева, Тамара Геннадьевна
Экземпляры всего: 1
Абонемент 402 (1)
Свободны: Абонемент 402 (1)
40.
Подробнее
Лихтарников, Леонид Моисеевич.
Математическая логика. Курс лекций. Задачник-практикум и решения : учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева. - Изд. 4-е, стер. - Санкт-Петербург : Лань, 2009. - 276 с. : табл., ил. - (Учебники для вузов. Специальная литература). - Библиогр. : с. 273. - Сер. указ. на обор. тит. л.. - ISBN 9785811400829
Рубрики: математическая логика--учебные издания для вузов
Кл.слова (ненормированные):
алгебра логики -- логика предикатов -- исчисление высказываний -- алгоритмы -- математические теории -- вычислимые функции -- Тьюринга машины -- задачники (математическая логика) -- практикумы учебные (математическая логика)
Доп.точки доступа:
Сукачева, Тамара Геннадьевна
Экземпляры всего: 5
Книгохранение (1), Ч/З о. Русский (1), Абонемент учебной и научной литературы (3)
Свободны: Книгохранение (1), Ч/З о. Русский (1), Абонемент учебной и научной литературы (3)
Лихтарников, Леонид Моисеевич.
Математическая логика. Курс лекций. Задачник-практикум и решения : учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева. - Изд. 4-е, стер. - Санкт-Петербург : Лань, 2009. - 276 с. : табл., ил. - (Учебники для вузов. Специальная литература). - Библиогр. : с. 273. - Сер. указ. на обор. тит. л.. - ISBN 9785811400829
| УДК |
Рубрики: математическая логика--учебные издания для вузов
Кл.слова (ненормированные):
алгебра логики -- логика предикатов -- исчисление высказываний -- алгоритмы -- математические теории -- вычислимые функции -- Тьюринга машины -- задачники (математическая логика) -- практикумы учебные (математическая логика)
Доп.точки доступа:
Сукачева, Тамара Геннадьевна
Экземпляры всего: 5
Книгохранение (1), Ч/З о. Русский (1), Абонемент учебной и научной литературы (3)
Свободны: Книгохранение (1), Ч/З о. Русский (1), Абонемент учебной и научной литературы (3)
Страница 4, Результатов: 60