Перейти к содержимому
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 52
Отмеченные записи: 0
1.
Подробнее
Хаггарти, Р.
Дискретная математика для программистов : учебное пособие для вузов / Р. Хаггарти ; пер. с англ. С. А. Кулешова. - Москва : Техносфера, 2003. - 315 c. : ил., табл. - (Мир программирования ; VIII, 02). - Библиогр. : с. 312. - Предметный указатель : с. 313-315. - ISBN 5948360164
Рубрики: дискретная математика--учебные издания для вузов
Кл.слова (ненормированные):
графы (математика) -- булева алгебра -- теория множеств (математика) -- комбинаторика -- ориентированные графы (математика) -- логика высказываний -- логические методы доказательств -- бинарные отношения
Доп.точки доступа:
Кулешов, С. А. \пер.\
Экземпляры всего: 6
Ч/З о. Русский (3), Абонемент учебной и научной литературы (2), Абонемент учебной и научной литературы (Пушкинская, 10) (1)
Свободны: Ч/З о. Русский (3), Абонемент учебной и научной литературы (2), Абонемент учебной и научной литературы (Пушкинская, 10) (1)
Хаггарти, Р.
Дискретная математика для программистов : учебное пособие для вузов / Р. Хаггарти ; пер. с англ. С. А. Кулешова. - Москва : Техносфера, 2003. - 315 c. : ил., табл. - (Мир программирования ; VIII, 02). - Библиогр. : с. 312. - Предметный указатель : с. 313-315. - ISBN 5948360164
| УДК |
Рубрики: дискретная математика--учебные издания для вузов
Кл.слова (ненормированные):
графы (математика) -- булева алгебра -- теория множеств (математика) -- комбинаторика -- ориентированные графы (математика) -- логика высказываний -- логические методы доказательств -- бинарные отношения
Доп.точки доступа:
Кулешов, С. А. \пер.\
Экземпляры всего: 6
Ч/З о. Русский (3), Абонемент учебной и научной литературы (2), Абонемент учебной и научной литературы (Пушкинская, 10) (1)
Свободны: Ч/З о. Русский (3), Абонемент учебной и научной литературы (2), Абонемент учебной и научной литературы (Пушкинская, 10) (1)
2.
Подробнее
Ивин, Александр Архипович.
Логика : учебник для вузов / А. А. Ивин. - Москва : Гардарики, 2003. - 347 c. - (Disciplinae.). - ISBN 5797501228
ББК 87.4я73
Рубрики: логика--учебные издания для вузов
Кл.слова (ненормированные):
логические законы -- логическое мышение -- логика высказываний -- неклассическая логика -- логические парадоксы -- софизмы -- логические ошибки -- логический анализ
Экземпляры всего: 2
Абонемент о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Абонемент о. Русский (1), Абонемент учебной и научной литературы (1)
Ивин, Александр Архипович.
Логика : учебник для вузов / А. А. Ивин. - Москва : Гардарики, 2003. - 347 c. - (Disciplinae.). - ISBN 5797501228
Рубрики: логика--учебные издания для вузов
Кл.слова (ненормированные):
логические законы -- логическое мышение -- логика высказываний -- неклассическая логика -- логические парадоксы -- софизмы -- логические ошибки -- логический анализ
Экземпляры всего: 2
Абонемент о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Абонемент о. Русский (1), Абонемент учебной и научной литературы (1)
3.
Подробнее
Ивин, Александр Архипович.
Логика : учебник для гуманитарных факультетов / А. А. Ивин. - Москва : Фаир-пресс, 1999. - 319 c.. - ISBN 5818300455
ББК 87.4я73 + Ю4
Кл.слова (ненормированные):
учебники -- логика высказываний -- Логика -- задачи логики -- дедукция -- спор
Свободных экз. нет
Ивин, Александр Архипович.
Логика : учебник для гуманитарных факультетов / А. А. Ивин. - Москва : Фаир-пресс, 1999. - 319 c.. - ISBN 5818300455
Кл.слова (ненормированные):
учебники -- логика высказываний -- Логика -- задачи логики -- дедукция -- спор
Свободных экз. нет
4.
Подробнее
Попов, Юрий Петрович.
Логика: традиционная логика, логика высказываний, логика предикатов : учебное пособие для вузов / Ю. П. Попов. - Владивосток : Изд-во Дальневосточного университета, 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)
5.
Подробнее
К 431
Кириллов, Вячеслав Иванович.
Логика : учебник для юридических вузов / В. И. Кириллов, А. А. Старченко. - Изд. 5-е, перераб. и доп. - Москва : Юристъ, 1998. - 256 c. : ил., табл. - Библиогр. : с. 248. - ISBN 5797500590
ББК 87.4я73
Кл.слова (ненормированные):
история логики -- логика высказываний -- суждение -- дедуктивные умозаключения -- гипотетико-дедуктивный метод -- язык логики -- индуктивные умозаключения
Доп.точки доступа:
Старченко, Анатолий Александрович
Экземпляры всего: 6
Книгохранение (1), Ч/З о. Русский (1), Абонемент учебной и научной литературы (3), Абонемент о. Русский (1)
Свободны: Книгохранение (1), Абонемент учебной и научной литературы (3), Абонемент о. Русский (1)
К 431
Кириллов, Вячеслав Иванович.
Логика : учебник для юридических вузов / В. И. Кириллов, А. А. Старченко. - Изд. 5-е, перераб. и доп. - Москва : Юристъ, 1998. - 256 c. : ил., табл. - Библиогр. : с. 248. - ISBN 5797500590
Кл.слова (ненормированные):
история логики -- логика высказываний -- суждение -- дедуктивные умозаключения -- гипотетико-дедуктивный метод -- язык логики -- индуктивные умозаключения
Доп.точки доступа:
Старченко, Анатолий Александрович
Экземпляры всего: 6
Книгохранение (1), Ч/З о. Русский (1), Абонемент учебной и научной литературы (3), Абонемент о. Русский (1)
Свободны: Книгохранение (1), Абонемент учебной и научной литературы (3), Абонемент о. Русский (1)
6.
Подробнее
Метакидес, Г.
Принципы логики и логическое программирование / Г. Метакидес, А. Нероуд ; пер. с англ. В. А. Захарова, С. Н. Селезневой, В. В. Спануполо. - Москва : Факториал, 1998. - 288 c. - Библиогр. : с. 275-278. - Парал. тит. л. на англ. яз.. - ISBN 5886880372
Кл.слова (ненормированные):
математическая логика -- семантические таблицы -- логическое программирование -- резолютивный вывод -- искусственный интеллект -- языки программирования -- логика высказываний -- логика предикатов -- логика и программирование
Доп.точки доступа:
Нероуд, А.
Захаров, В. А. \пер.\
Селезнева, С. Н. \пер.\
Спануполо, В. В. \пер.\
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Метакидес, Г.
Принципы логики и логическое программирование / Г. Метакидес, А. Нероуд ; пер. с англ. В. А. Захарова, С. Н. Селезневой, В. В. Спануполо. - Москва : Факториал, 1998. - 288 c. - Библиогр. : с. 275-278. - Парал. тит. л. на англ. яз.. - ISBN 5886880372
| УДК |
Кл.слова (ненормированные):
математическая логика -- семантические таблицы -- логическое программирование -- резолютивный вывод -- искусственный интеллект -- языки программирования -- логика высказываний -- логика предикатов -- логика и программирование
Доп.точки доступа:
Нероуд, А.
Захаров, В. А. \пер.\
Селезнева, С. Н. \пер.\
Спануполо, В. В. \пер.\
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
7.
Подробнее
С 568
Современная логика и методология науки : Сборник научных статей / Московский государственный университет ; Под ред. Ю.В.Ивлев; Моск.ун-т. - Москва : Изд-во Московского университета, 1987. - 195 c.
Кл.слова (ненормированные):
сборник статей -- философские направления -- методология науки -- логика высказываний -- философский анализ
Доп.точки доступа:
Ивлев, Ю. В \ред.\
Московский государственный университет
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
С 568
Современная логика и методология науки : Сборник научных статей / Московский государственный университет ; Под ред. Ю.В.Ивлев; Моск.ун-т. - Москва : Изд-во Московского университета, 1987. - 195 c.
Кл.слова (ненормированные):
сборник статей -- философские направления -- методология науки -- логика высказываний -- философский анализ
Доп.точки доступа:
Ивлев, Ю. В \ред.\
Московский государственный университет
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
8.
Подробнее
Л 694
Логическое следование и условные высказывания / Институт философии (Москва) ; Сидоренко Е.А.; Под ред. П.В.Таванец; АН СССР.Ин-т философии. - Москва : Наука, 1983. - 173 c.
Кл.слова (ненормированные):
философский анализ -- логика высказываний -- логическое познание
Доп.точки доступа:
Таванец, Петр Васильевич \ред.\
Институт философии (Москва)
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Л 694
Логическое следование и условные высказывания / Институт философии (Москва) ; Сидоренко Е.А.; Под ред. П.В.Таванец; АН СССР.Ин-т философии. - Москва : Наука, 1983. - 173 c.
Кл.слова (ненормированные):
философский анализ -- логика высказываний -- логическое познание
Доп.точки доступа:
Таванец, Петр Васильевич \ред.\
Институт философии (Москва)
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
9.
Подробнее
Чень, Ч.
Математическая логика и автоматическое доказательство теорем / Ч. Чень, Р. Ли ; пер. с англ. Г. В. Давыдова, Г. Е. Минца, А. В. Сочилиной. - Москва : Наука, 1983. - 358 c. : ил. - (Математическая логика и основания математики). - Библиогр. в конце гл.
Кл.слова (ненормированные):
математическая логика -- доказательство теорем -- логика высказываний -- Эрбрана теорема -- линейная резолюция -- математические теоремы -- математика
Доп.точки доступа:
Ли, Р.
Давыдов, Г. В. \пер.\
Минц, Г. Е. \пер.\
Сочилина, А. В. \пер.\
Экземпляры всего: 3
Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
Чень, Ч.
Математическая логика и автоматическое доказательство теорем / Ч. Чень, Р. Ли ; пер. с англ. Г. В. Давыдова, Г. Е. Минца, А. В. Сочилиной. - Москва : Наука, 1983. - 358 c. : ил. - (Математическая логика и основания математики). - Библиогр. в конце гл.
| УДК |
Кл.слова (ненормированные):
математическая логика -- доказательство теорем -- логика высказываний -- Эрбрана теорема -- линейная резолюция -- математические теоремы -- математика
Доп.точки доступа:
Ли, Р.
Давыдов, Г. В. \пер.\
Минц, Г. Е. \пер.\
Сочилина, А. В. \пер.\
Экземпляры всего: 3
Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
10.
Подробнее
Караваев, Эдуард Федорович.
Основания временной логики / Э. Ф. Караваев. - Ленинград : Изд-во Ленинградского университета, 1983. - 177 c.
ББК 87
Кл.слова (ненормированные):
логика отношений -- философия -- философский анализ -- логика высказываний -- логика метрическая временная -- конкретность истины -- проблема времени -- логика модальная
Экземпляры всего: 3
Абонемент учебной и научной литературы (2), Книгохранение (1)
Свободны: Абонемент учебной и научной литературы (2), Книгохранение (1)
Караваев, Эдуард Федорович.
Основания временной логики / Э. Ф. Караваев. - Ленинград : Изд-во Ленинградского университета, 1983. - 177 c.
Кл.слова (ненормированные):
логика отношений -- философия -- философский анализ -- логика высказываний -- логика метрическая временная -- конкретность истины -- проблема времени -- логика модальная
Экземпляры всего: 3
Абонемент учебной и научной литературы (2), Книгохранение (1)
Свободны: Абонемент учебной и научной литературы (2), Книгохранение (1)
Страница 1, Результатов: 52