Перейти к содержимому 
База данных: Электронный каталог ДВФУ
Страница 2, Результатов: 90
Отмеченные записи: 0
11.
Подробнее
Войшвилло, Евгений Казимирович
Логика как часть теории познания и научной методологии. Фундаментальный курс : учебное пособие для философских факультетов и преподавателей логики : в 2 кн / Е. К. Войшвилло, М. Г. Дегтярев. - Москва : Наука, 1994 - . - (Программа "Обновление гуманитарного образования в России").
Кн. 1. - 311 c.. - ISBN 5020135143
ББК 87.4я73
Рубрики: логика--учебные издания для вузов
Кл.слова (ненормированные):
научная методология -- символическая логика -- логические языки -- предикаты -- познание -- логический анализ языка -- дедукция -- Логика -- логические исчисления
Доп.точки доступа:
Дегтярев, Михаил Григорьевич
Экземпляры всего: 5
Абонемент учебной и научной литературы (2), Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (2)
Свободны: Абонемент учебной и научной литературы (2), Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (2)
Войшвилло, Евгений Казимирович
Логика как часть теории познания и научной методологии. Фундаментальный курс : учебное пособие для философских факультетов и преподавателей логики : в 2 кн / Е. К. Войшвилло, М. Г. Дегтярев. - Москва : Наука, 1994 - . - (Программа "Обновление гуманитарного образования в России").
Кн. 1. - 311 c.. - ISBN 5020135143
Рубрики: логика--учебные издания для вузов
Кл.слова (ненормированные):
научная методология -- символическая логика -- логические языки -- предикаты -- познание -- логический анализ языка -- дедукция -- Логика -- логические исчисления
Доп.точки доступа:
Дегтярев, Михаил Григорьевич
Экземпляры всего: 5
Абонемент учебной и научной литературы (2), Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (2)
Свободны: Абонемент учебной и научной литературы (2), Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (2)
12.
Подробнее
Войшвилло, Евгений Казимирович
Логика как часть теории познания и научной методологии. Фундаментальный курс : учебное пособие для философских факультетов и преподавателей логики : в 2 кн / Е. К. Войшвилло, М. Г. Дегтярев. - Москва : Наука, 1994 - .
Кн. 2. - 332 c.. - ISBN 5020135151
ББК 87.4я73
Рубрики: логика--учебные издания для вузов
Кл.слова (ненормированные):
логические исчисления -- познание -- логический анализ языка -- логические языки -- символическая логика -- Логика -- предикаты -- дедукция -- научная методология
Доп.точки доступа:
Дегтярев, Михаил Григорьевич
Экземпляры всего: 5
Абонемент учебной и научной литературы (2), Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (2)
Свободны: Абонемент учебной и научной литературы (2), Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (2)
Войшвилло, Евгений Казимирович
Логика как часть теории познания и научной методологии. Фундаментальный курс : учебное пособие для философских факультетов и преподавателей логики : в 2 кн / Е. К. Войшвилло, М. Г. Дегтярев. - Москва : Наука, 1994 - .
Кн. 2. - 332 c.. - ISBN 5020135151
Рубрики: логика--учебные издания для вузов
Кл.слова (ненормированные):
логические исчисления -- познание -- логический анализ языка -- логические языки -- символическая логика -- Логика -- предикаты -- дедукция -- научная методология
Доп.точки доступа:
Дегтярев, Михаил Григорьевич
Экземпляры всего: 5
Абонемент учебной и научной литературы (2), Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (2)
Свободны: Абонемент учебной и научной литературы (2), Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (2)
13.
Подробнее
Степанов, Юрий Сергеевич.
Имена. Предикаты. Предложения. Семиологическая грамматика / Ю. С. Степанов ; Академия наук СССР, Институт языкознания. ; Институт языкознания (Москва). - Москва : Наука, 1981. - 360 c.
Рубрики: языкознание--монографии
Кл.слова (ненормированные):
семиология -- имена (лингвистика) -- предикаты (лингвистика) -- предложения (лингвистика) -- грамматика (общее языкознание) -- семантическое согласование -- контраст (лингвистика) -- лингвистическая семантика -- философия языка -- референция (лингвистика)
Доп.точки доступа:
Институт языкознания (Москва)
Экземпляры всего: 3
Абонемент о. Русский (1), Абонемент учебной и научной литературы (1), Хранение Отдела организации и использования фонда (1)
Свободны: Абонемент о. Русский (1), Абонемент учебной и научной литературы (1), Хранение Отдела организации и использования фонда (1)
Степанов, Юрий Сергеевич.
Имена. Предикаты. Предложения. Семиологическая грамматика / Ю. С. Степанов ; Академия наук СССР, Институт языкознания. ; Институт языкознания (Москва). - Москва : Наука, 1981. - 360 c.
| УДК |
Рубрики: языкознание--монографии
Кл.слова (ненормированные):
семиология -- имена (лингвистика) -- предикаты (лингвистика) -- предложения (лингвистика) -- грамматика (общее языкознание) -- семантическое согласование -- контраст (лингвистика) -- лингвистическая семантика -- философия языка -- референция (лингвистика)
Доп.точки доступа:
Институт языкознания (Москва)
Экземпляры всего: 3
Абонемент о. Русский (1), Абонемент учебной и научной литературы (1), Хранение Отдела организации и использования фонда (1)
Свободны: Абонемент о. Русский (1), Абонемент учебной и научной литературы (1), Хранение Отдела организации и использования фонда (1)
14.
Подробнее
Гилберт, Давид.
Основания математики. Теория доказательств / Д. Гильберт, П. Бернайс ; пер. с нем. Н. М. Нагорного. - Москва : Наука, 1982. - 652 c. - (Математическая логика и основания математики)
Кл.слова (ненормированные):
математическая логика -- логические исчисления -- арифметика -- математика -- логический формализм -- предикаты -- Черча теорема
Доп.точки доступа:
Бернайс, Пауль
Нагорный, Н. М. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Гилберт, Давид.
Основания математики. Теория доказательств / Д. Гильберт, П. Бернайс ; пер. с нем. Н. М. Нагорного. - Москва : Наука, 1982. - 652 c. - (Математическая логика и основания математики)
| УДК |
Кл.слова (ненормированные):
математическая логика -- логические исчисления -- арифметика -- математика -- логический формализм -- предикаты -- Черча теорема
Доп.точки доступа:
Бернайс, Пауль
Нагорный, Н. М. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
15.
Подробнее
Марков, Андрей Андреевич.
Теория алгорифмов / А. А. Марков, Н. М. Нагорный. - Москва : Наука, 1984. - 432 c., [1] л. портр. - (Математическая логика и основания математики). - Библиогр. : с. 422-426.
Кл.слова (ненормированные):
математика -- математическая логика -- ассоциативные исчисления -- теория алгорифмов -- конструктивная семантика (математика) -- предикаты -- вычислимые вербальные функции -- Коши теорема -- математический анализ -- алгорифмы
Доп.точки доступа:
Нагорный, Николай Макарович
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Марков, Андрей Андреевич.
Теория алгорифмов / А. А. Марков, Н. М. Нагорный. - Москва : Наука, 1984. - 432 c., [1] л. портр. - (Математическая логика и основания математики). - Библиогр. : с. 422-426.
| УДК |
Кл.слова (ненормированные):
математика -- математическая логика -- ассоциативные исчисления -- теория алгорифмов -- конструктивная семантика (математика) -- предикаты -- вычислимые вербальные функции -- Коши теорема -- математический анализ -- алгорифмы
Доп.точки доступа:
Нагорный, Николай Макарович
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
16.
Подробнее
Марков, Андрей Андреевич.
Элементы математической логики / А. А. Марков ; под ред. А. Г. Драгалина. - Москва : Изд-во Московского университета, 1984. - 79 c. - логика (математика).
Кл.слова (ненормированные):
математическая логика -- предикаты -- семиотика -- логика высказываний -- теория алгорифмов -- математика -- языки математической логики
Доп.точки доступа:
Драгалин, Альберт Григорьевич \ред.\
Экземпляры всего: 3
Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
Марков, Андрей Андреевич.
Элементы математической логики / А. А. Марков ; под ред. А. Г. Драгалина. - Москва : Изд-во Московского университета, 1984. - 79 c. - логика (математика).
| УДК |
Кл.слова (ненормированные):
математическая логика -- предикаты -- семиотика -- логика высказываний -- теория алгорифмов -- математика -- языки математической логики
Доп.точки доступа:
Драгалин, Альберт Григорьевич \ред.\
Экземпляры всего: 3
Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
17.
Подробнее
Ф 366
Фейс, Роберт.
Модальная логика : перевод с [английского] / Р. Фейс. - Москва : Наука, 1974. - 520 с. - (Математическая логика и основания математики). - Библиогр. в конце разд. - В содержании:Полные системы модальной и интуиционистской логики / К. Шютте. Системы Льюиса и система T (1965-1973) / Г. Е. Минц.
Рубрики: математическая логика модальная
Кл.слова (ненормированные):
логика неклассическая -- модальная функциональная логика -- предикаты, модальное исчисление -- логика модальная -- немодальное исчисление -- интуиционистская логика -- модальная пропозициональная логика -- модальные системы -- математическая логика -- системы модальной логики -- логика интуиционистская -- модальности (логика) -- логика модальностей
Доп.точки доступа:
Шютте, Курт
Минц, Григорий Ефроимович (Ефимович)
Экземпляры всего: 2
Книгохранение (1), Ч/З о. Русский (1)
Свободны: Книгохранение (1), Ч/З о. Русский (1)
Ф 366
Фейс, Роберт.
Модальная логика : перевод с [английского] / Р. Фейс. - Москва : Наука, 1974. - 520 с. - (Математическая логика и основания математики). - Библиогр. в конце разд. - В содержании:Полные системы модальной и интуиционистской логики / К. Шютте. Системы Льюиса и система T (1965-1973) / Г. Е. Минц.
| УДК |
Рубрики: математическая логика модальная
Кл.слова (ненормированные):
логика неклассическая -- модальная функциональная логика -- предикаты, модальное исчисление -- логика модальная -- немодальное исчисление -- интуиционистская логика -- модальная пропозициональная логика -- модальные системы -- математическая логика -- системы модальной логики -- логика интуиционистская -- модальности (логика) -- логика модальностей
Доп.точки доступа:
Шютте, Курт
Минц, Григорий Ефроимович (Ефимович)
Экземпляры всего: 2
Книгохранение (1), Ч/З о. Русский (1)
Свободны: Книгохранение (1), Ч/З о. Русский (1)
18.
Подробнее
Лавров, Игорь Андреевич.
Задачи по теории множеств, математической логике и теории алгоритмов : [учебное пособие для математических факультетов университетов и педагогических институтов] / И. А. Лавров, Л. Л. Максимова. - Москва : Наука, 1975. - 240 c. - Библиогр. : с. 232.
Рубрики: математика--учебные издания для вузов
Кл.слова (ненормированные):
частично рекурсивные функции -- теория множеств -- математическая логика -- алгебра высказываний -- ординальные числа -- задачники (математика) -- аксиоматические теории -- кардинальные числа -- предикаты -- логика математическая -- функции рекурсивные -- кибернетика -- теория алгоритмов
Доп.точки доступа:
Максимова, Лариса Львовна
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Лавров, Игорь Андреевич.
Задачи по теории множеств, математической логике и теории алгоритмов : [учебное пособие для математических факультетов университетов и педагогических институтов] / И. А. Лавров, Л. Л. Максимова. - Москва : Наука, 1975. - 240 c. - Библиогр. : с. 232.
| УДК |
Рубрики: математика--учебные издания для вузов
Кл.слова (ненормированные):
частично рекурсивные функции -- теория множеств -- математическая логика -- алгебра высказываний -- ординальные числа -- задачники (математика) -- аксиоматические теории -- кардинальные числа -- предикаты -- логика математическая -- функции рекурсивные -- кибернетика -- теория алгоритмов
Доп.точки доступа:
Максимова, Лариса Львовна
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
19.
Подробнее
Такеути, Гаиси.
Теория доказательств / Г. Такеути ; пер. с англ. С. К. Соболева. - Москва : Мир, 1978. - 412 c.
Парал. тит. л. на англ. яз.
Кл.слова (ненормированные):
устранимость сечений -- математическая логика -- математический анализ -- проблемы непротиворечивости -- предикаты -- простая теория типов -- Пеано арифметика -- теория доказательств -- принципы рефлексии -- инфинитарная логика -- ординальные диаграммы -- математика
Доп.точки доступа:
Соболев, С. К. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Такеути, Гаиси.
Теория доказательств / Г. Такеути ; пер. с англ. С. К. Соболева. - Москва : Мир, 1978. - 412 c.
Парал. тит. л. на англ. яз.
| УДК |
Кл.слова (ненормированные):
устранимость сечений -- математическая логика -- математический анализ -- проблемы непротиворечивости -- предикаты -- простая теория типов -- Пеано арифметика -- теория доказательств -- принципы рефлексии -- инфинитарная логика -- ординальные диаграммы -- математика
Доп.точки доступа:
Соболев, С. К. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
20.
Подробнее
З-635
Зиновьев, Александр Александрович.
Основы логической теории научных знаний / А. А. Зиновьев ; [отв. ред. П. В. Таванец] ; Академия наук СССР, Институт философии ; Институт философии (Москва). - Москва : Наука, 1967. - 261 c.
ББК 87.4в
Рубрики: логика как методология науки
Кл.слова (ненормированные):
логическая теория -- Логика -- логические системы -- значения истинности -- модальные предикаты
Доп.точки доступа:
Таванец, Петр Васильевич \ред.\
Институт философии (Москва)
Экземпляры всего: 2
Книгохранение (1), Ч/З о. Русский (1)
Свободны: Книгохранение (1), Ч/З о. Русский (1)
З-635
Зиновьев, Александр Александрович.
Основы логической теории научных знаний / А. А. Зиновьев ; [отв. ред. П. В. Таванец] ; Академия наук СССР, Институт философии ; Институт философии (Москва). - Москва : Наука, 1967. - 261 c.
Рубрики: логика как методология науки
Кл.слова (ненормированные):
логическая теория -- Логика -- логические системы -- значения истинности -- модальные предикаты
Доп.точки доступа:
Таванец, Петр Васильевич \ред.\
Институт философии (Москва)
Экземпляры всего: 2
Книгохранение (1), Ч/З о. Русский (1)
Свободны: Книгохранение (1), Ч/З о. Русский (1)
Страница 2, Результатов: 90