Перейти к содержимому
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 60
Отмеченные записи: 0
1.
Подробнее
Кузнецов, Олег Петрович.
Дискретная математика для инженера / О. П. Кузнецов. - Изд. 6-е, стер. - Санкт-Петербург : Лань, 2014. - 395 с. : ил., табл. - (Учебники для вузов. Специальная литература). - Библиогр. : с. 388-389.. - ISBN 9785811405701
Рубрики: дискретная математика--учебные издания
графов теория--учебные издания
Кл.слова (ненормированные):
множеств теория -- общая алгебра -- математические операции -- логические функции -- логика предикатов -- алгоритмов теория -- рекурсивные функции -- Тьюринга машины -- формальные системы -- исчисление предикатов -- математическое исчисление -- логическое исчисление -- формальные грамматики -- семантика формальных языков -- вычислительная сложность
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Кузнецов, Олег Петрович.
Дискретная математика для инженера / О. П. Кузнецов. - Изд. 6-е, стер. - Санкт-Петербург : Лань, 2014. - 395 с. : ил., табл. - (Учебники для вузов. Специальная литература). - Библиогр. : с. 388-389.. - ISBN 9785811405701
| УДК |
Рубрики: дискретная математика--учебные издания
графов теория--учебные издания
Кл.слова (ненормированные):
множеств теория -- общая алгебра -- математические операции -- логические функции -- логика предикатов -- алгоритмов теория -- рекурсивные функции -- Тьюринга машины -- формальные системы -- исчисление предикатов -- математическое исчисление -- логическое исчисление -- формальные грамматики -- семантика формальных языков -- вычислительная сложность
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
2.
Подробнее
Григорьев, Борис Васильевич.
Логика для самостоятельного практического изучения : учебное пособие / Б. В. Григорьев ; Дальневосточный государственный университет, Кафедра философии. ; Дальневосточный государственный университет, Кафедра философии. - Владивосток : Изд-во Дальневосточного университета, 2003. - 126 c. : табл. - (Философская библиотека ДВГУ ; вып. 15.). - Библиогр. : с. 126.
ББК 87.4я73
Рубрики: логика
Кл.слова (ненормированные):
суждения (логика) -- умозаключения (логика) -- логические отношения -- доказательства (логика) -- ДВГУ (труды преподавателей) -- софизмы -- логические ошибки -- доказательства тезиса -- опровержения тезиса -- аргументация (логика) -- логика предикатов
Доп.точки доступа:
Дальневосточный государственный университет. Кафедра философии
Экземпляры всего: 14
Абонемент учебной и научной литературы (13), Книгохранение (1)
Свободны: Абонемент учебной и научной литературы (13), Книгохранение (1)
Григорьев, Борис Васильевич.
Логика для самостоятельного практического изучения : учебное пособие / Б. В. Григорьев ; Дальневосточный государственный университет, Кафедра философии. ; Дальневосточный государственный университет, Кафедра философии. - Владивосток : Изд-во Дальневосточного университета, 2003. - 126 c. : табл. - (Философская библиотека ДВГУ ; вып. 15.). - Библиогр. : с. 126.
Рубрики: логика
Кл.слова (ненормированные):
суждения (логика) -- умозаключения (логика) -- логические отношения -- доказательства (логика) -- ДВГУ (труды преподавателей) -- софизмы -- логические ошибки -- доказательства тезиса -- опровержения тезиса -- аргументация (логика) -- логика предикатов
Доп.точки доступа:
Дальневосточный государственный университет. Кафедра философии
Экземпляры всего: 14
Абонемент учебной и научной литературы (13), Книгохранение (1)
Свободны: Абонемент учебной и научной литературы (13), Книгохранение (1)
3.
Подробнее
Солодухин, Олег Анатольевич.
Логика для юристов : [учебник] / О. А. Солодухин ; под ред. В. А. Бочарова. - Ростов-на-Дону : Феникс, 2003. - 377 c. - (Высшее образование). - ISBN 5222037665
ББК 87.4я73
Кл.слова (ненормированные):
диалогика -- логико-методологические исследования -- межличностное общение -- прагматика диалога -- логика предикатов -- логика (философия)
Доп.точки доступа:
Бочаров, В. А. \ред.\
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Солодухин, Олег Анатольевич.
Логика для юристов : [учебник] / О. А. Солодухин ; под ред. В. А. Бочарова. - Ростов-на-Дону : Феникс, 2003. - 377 c. - (Высшее образование). - ISBN 5222037665
Кл.слова (ненормированные):
диалогика -- логико-методологические исследования -- межличностное общение -- прагматика диалога -- логика предикатов -- логика (философия)
Доп.точки доступа:
Бочаров, В. А. \ред.\
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
4.
Подробнее
Рузавин, Георгий Иванович.
Логика и основы аргументации : учебник / Г. И. Рузавин. - Москва : Проект, 2003. - 304 c. - (Факультет). - ISBN 5901660250
ББК 87.4я73
Кл.слова (ненормированные):
логические операции -- логика предикатов -- логические доказательства -- дедуктивыне умозаключения -- категорические силлогизмы -- Логика -- разделительные силлогизмы -- статистические умозаключения -- суждения -- теория аргументации -- аргументация
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Рузавин, Георгий Иванович.
Логика и основы аргументации : учебник / Г. И. Рузавин. - Москва : Проект, 2003. - 304 c. - (Факультет). - ISBN 5901660250
Кл.слова (ненормированные):
логические операции -- логика предикатов -- логические доказательства -- дедуктивыне умозаключения -- категорические силлогизмы -- Логика -- разделительные силлогизмы -- статистические умозаключения -- суждения -- теория аргументации -- аргументация
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
5.
Подробнее
Гуц, А. К.
Математическая логика и теория алгоритмов : учебное пособие / А. К. Гуц. - Омск : Наследие, 2003. - 108 c.. - ISBN 5823901267
Кл.слова (ненормированные):
логика предикатов -- логические законы -- алгоритмы -- логическое программирование -- математическая логика
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Гуц, А. К.
Математическая логика и теория алгоритмов : учебное пособие / А. К. Гуц. - Омск : Наследие, 2003. - 108 c.. - ISBN 5823901267
| УДК |
Кл.слова (ненормированные):
логика предикатов -- логические законы -- алгоритмы -- логическое программирование -- математическая логика
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
6.
Подробнее
Солодухин, Олег Анатольевич.
Логика : учебник / О. А. Солодухин ; под ред. В. А. Бочарова. - Ростов-на-Дону : Феникс, 2000. - 377 c. - (Учебники, учебные пособия). - Библиогр. : с. 370-374. - ISBN 5222014320
ББК 87.4я73-1
Рубрики: логика--учебные издания для вузов
Кл.слова (ненормированные):
философские суждение -- софизмы -- парадоксы -- логика предикатов -- доказательство -- прагматика диалога
Доп.точки доступа:
Бочаров, В. А. \ред.\
Экземпляры всего: 9
Абонемент учебной и научной литературы (7), Книгохранение (1), Ч/З о. Русский (1)
Свободны: Абонемент учебной и научной литературы (7), Книгохранение (1), Ч/З о. Русский (1)
Солодухин, Олег Анатольевич.
Логика : учебник / О. А. Солодухин ; под ред. В. А. Бочарова. - Ростов-на-Дону : Феникс, 2000. - 377 c. - (Учебники, учебные пособия). - Библиогр. : с. 370-374. - ISBN 5222014320
Рубрики: логика--учебные издания для вузов
Кл.слова (ненормированные):
философские суждение -- софизмы -- парадоксы -- логика предикатов -- доказательство -- прагматика диалога
Доп.точки доступа:
Бочаров, В. А. \ред.\
Экземпляры всего: 9
Абонемент учебной и научной литературы (7), Книгохранение (1), Ч/З о. Русский (1)
Свободны: Абонемент учебной и научной литературы (7), Книгохранение (1), Ч/З о. Русский (1)
7.
Подробнее
Косовский, Николай Кириллович.
Логики конечнозначных предикатов на основе неравенств : учебное пособие / Н. К. Косовский, А. В. Тишков ; Санкт-Петербургский государственный университет. - [Санкт-Петербург] : Изд-во Санкт-Петербургского университета, 2000. - 268 c. - Библиогр. : с. 225-231.. - ISBN 5288020493
Прил. : с. 232-268.
Кл.слова (ненормированные):
логическое моделирование -- математическая логика -- логика двузначная -- логика предикатов -- линейные неравенства -- предикаты -- математические теории -- Поста логика -- Лукасевича логика -- неравенства -- бесквантовые теории линейных неравенств
Доп.точки доступа:
Тишков, Артем Валерьевич
Санкт-Петербургский государственный университет
Экземпляры всего: 2
Ч/З о. Русский (2)
Свободны: Ч/З о. Русский (2)
Косовский, Николай Кириллович.
Логики конечнозначных предикатов на основе неравенств : учебное пособие / Н. К. Косовский, А. В. Тишков ; Санкт-Петербургский государственный университет. - [Санкт-Петербург] : Изд-во Санкт-Петербургского университета, 2000. - 268 c. - Библиогр. : с. 225-231.. - ISBN 5288020493
Прил. : с. 232-268.
| УДК |
Кл.слова (ненормированные):
логическое моделирование -- математическая логика -- логика двузначная -- логика предикатов -- линейные неравенства -- предикаты -- математические теории -- Поста логика -- Лукасевича логика -- неравенства -- бесквантовые теории линейных неравенств
Доп.точки доступа:
Тишков, Артем Валерьевич
Санкт-Петербургский государственный университет
Экземпляры всего: 2
Ч/З о. Русский (2)
Свободны: Ч/З о. Русский (2)
8.
Подробнее
А 391
Акимов, Олег Евгеньевич.
Дискретная математика : логика, группы, графы / О. Е. Акимов. - Москва : Лаборатория Базовых Знаний, 2001. - 349 c. : ил., табл. - (Технический университет). - ISBN 5932080531
Рубрики: дискретная математика
Кл.слова (ненормированные):
булевы функции -- логика предикатов -- алгебраические системы -- конструктивизм (математика) -- математическая логика -- группы (математика) -- графы (математика)
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
А 391
Акимов, Олег Евгеньевич.
Дискретная математика : логика, группы, графы / О. Е. Акимов. - Москва : Лаборатория Базовых Знаний, 2001. - 349 c. : ил., табл. - (Технический университет). - ISBN 5932080531
| УДК |
Рубрики: дискретная математика
Кл.слова (ненормированные):
булевы функции -- логика предикатов -- алгебраические системы -- конструктивизм (математика) -- математическая логика -- группы (математика) -- графы (математика)
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
9.
Подробнее
Попов, Юрий Петрович.
Логика: традиционная логика, логика высказываний, логика предикатов : учебное пособие для вузов / Ю. П. Попов. - Владивосток : Изд-во Дальневосточного университета, 1998. - 315 c. : ил. - (Философская библиотека ДВГУ ; вып. 4). - ISBN 5744408622
ББК 87.4я73
Рубрики: логика--учебные издания для вузов
Кл.слова (ненормированные):
логика высказываний -- традиционная логика -- символическая логика -- умозаключение (логика) -- суждение (логика) -- доказательство (логика) -- индукция научная -- логика предикатов -- ДВГУ (труды преподавателей) -- законы логики
Экземпляры всего: 39
Абонемент учебной и научной литературы (20), Абонемент о. Русский (5), Книгохранение (2), Ч/З о. Русский (5), Абонемент 301 (6), Абонемент учебной и научной литературы (Пушкинская, 10) (1)
Свободны: Абонемент учебной и научной литературы (20), Абонемент о. Русский (5), Книгохранение (2), Ч/З о. Русский (5), Абонемент 301 (6), Абонемент учебной и научной литературы (Пушкинская, 10) (1)
Попов, Юрий Петрович.
Логика: традиционная логика, логика высказываний, логика предикатов : учебное пособие для вузов / Ю. П. Попов. - Владивосток : Изд-во Дальневосточного университета, 1998. - 315 c. : ил. - (Философская библиотека ДВГУ ; вып. 4). - ISBN 5744408622
| УДК |
Рубрики: логика--учебные издания для вузов
Кл.слова (ненормированные):
логика высказываний -- традиционная логика -- символическая логика -- умозаключение (логика) -- суждение (логика) -- доказательство (логика) -- индукция научная -- логика предикатов -- ДВГУ (труды преподавателей) -- законы логики
Экземпляры всего: 39
Абонемент учебной и научной литературы (20), Абонемент о. Русский (5), Книгохранение (2), Ч/З о. Русский (5), Абонемент 301 (6), Абонемент учебной и научной литературы (Пушкинская, 10) (1)
Свободны: Абонемент учебной и научной литературы (20), Абонемент о. Русский (5), Книгохранение (2), Ч/З о. Русский (5), Абонемент 301 (6), Абонемент учебной и научной литературы (Пушкинская, 10) (1)
10.
Подробнее
Лихтарников, Леонид Моисеевич.
Математическая логика : курс лекций : задачник-практикум и решения : учебное пособие для вузов / Л. М. Лихтарников, Т. Г. Сукачева. - Санкт-Петербург : Лань, 1998. - 285 c. : ил. - Библиогр. : с. 282.. - ISBN 5811400829
Рубрики: математическая логика--учебные издания для вузов
Кл.слова (ненормированные):
алгебра логики -- Буля алгебра -- математические теории -- исчисление высказываний -- логика предикатов -- алгоритмы (математическая логика) -- аксиомы (математическая логика) -- задачники (математическая логика) -- практикумы учебные (математическая логика)
Доп.точки доступа:
Сукачева, Т. Г.
Экземпляры всего: 5
Абонемент учебной и научной литературы (2), Ч/З о. Русский (2), Абонемент 402 (1)
Свободны: Абонемент учебной и научной литературы (2), Ч/З о. Русский (2), Абонемент 402 (1)
Лихтарников, Леонид Моисеевич.
Математическая логика : курс лекций : задачник-практикум и решения : учебное пособие для вузов / Л. М. Лихтарников, Т. Г. Сукачева. - Санкт-Петербург : Лань, 1998. - 285 c. : ил. - Библиогр. : с. 282.. - ISBN 5811400829
| УДК |
Рубрики: математическая логика--учебные издания для вузов
Кл.слова (ненормированные):
алгебра логики -- Буля алгебра -- математические теории -- исчисление высказываний -- логика предикатов -- алгоритмы (математическая логика) -- аксиомы (математическая логика) -- задачники (математическая логика) -- практикумы учебные (математическая логика)
Доп.точки доступа:
Сукачева, Т. Г.
Экземпляры всего: 5
Абонемент учебной и научной литературы (2), Ч/З о. Русский (2), Абонемент 402 (1)
Свободны: Абонемент учебной и научной литературы (2), Ч/З о. Русский (2), Абонемент 402 (1)
Страница 1, Результатов: 60