Перейти к содержимому 
База данных: Электронный каталог ДВФУ
Страница 3, Результатов: 90
Отмеченные записи: 0
21.
Подробнее
Фрейденталь, Ханс.
Язык логики : пер. с англ. / Х. Фрейденталь. - Москва : Наука, 1969. - 135 c.
Кл.слова (ненормированные):
Логика -- математика -- отображения (математика) -- формальная логика -- язык (математика) -- метаязык -- множества -- предикаты
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Фрейденталь, Ханс.
Язык логики : пер. с англ. / Х. Фрейденталь. - Москва : Наука, 1969. - 135 c.
| УДК |
Кл.слова (ненормированные):
Логика -- математика -- отображения (математика) -- формальная логика -- язык (математика) -- метаязык -- множества -- предикаты
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
22.
Подробнее
Задачи по логике. Пособие для студентов-математиков НГУ / Лавров И.А., Максимова Л.Л.; Новосиб.ун-т. - Новосибирск : Изд-во Новосибирского университета, 1970. - 112 c.
Кл.слова (ненормированные):
математика -- аксиоматические теории -- фильтры -- функции -- теория множеств -- предикаты -- Логика -- математическая логика -- бинарные отношения -- фильтрованные произведения -- алгебра высказываний -- ординальные числа -- кардинальные числа
Доп.точки доступа:
Максимова, Л. Л. \авт.\
Новосибирский государственный университет
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Задачи по логике. Пособие для студентов-математиков НГУ / Лавров И.А., Максимова Л.Л.; Новосиб.ун-т. - Новосибирск : Изд-во Новосибирского университета, 1970. - 112 c.
| УДК |
Кл.слова (ненормированные):
математика -- аксиоматические теории -- фильтры -- функции -- теория множеств -- предикаты -- Логика -- математическая логика -- бинарные отношения -- фильтрованные произведения -- алгебра высказываний -- ординальные числа -- кардинальные числа
Доп.точки доступа:
Максимова, Л. Л. \авт.\
Новосибирский государственный университет
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
23.
Подробнее
Избранные главы высшей математики : [учебное пособие] / А. М. Колобов, Г. С. Неверов. - Минск : Вышэйшая школа, 1971 - .
ч. 3 : Методы математической физики (дифференциальные уравнения в частных производных второго порядка). Элементы математической логики. - 309 c. : ил., табл. - Библиогр. в конце разд.
Кл.слова (ненормированные):
математика -- радиотехника -- энергетика -- высшая математика -- радиоэлектроника -- автоматика -- математическая логика -- машиностроение -- математическая физика -- дифференциальные уравнения -- электрические колебания -- Дирихле задачи -- предикаты -- методы интегрирования уравнений
Доп.точки доступа:
Неверов, Георгий Степанович
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Избранные главы высшей математики : [учебное пособие] / А. М. Колобов, Г. С. Неверов. - Минск : Вышэйшая школа, 1971 - .
ч. 3 : Методы математической физики (дифференциальные уравнения в частных производных второго порядка). Элементы математической логики. - 309 c. : ил., табл. - Библиогр. в конце разд.
| УДК |
Кл.слова (ненормированные):
математика -- радиотехника -- энергетика -- высшая математика -- радиоэлектроника -- автоматика -- математическая логика -- машиностроение -- математическая физика -- дифференциальные уравнения -- электрические колебания -- Дирихле задачи -- предикаты -- методы интегрирования уравнений
Доп.точки доступа:
Неверов, Георгий Степанович
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
24.
Подробнее
Е 804
Математическая логика : Лекции для студентов-математиков МГУ / Новосибирский государственный университет ; Ершов Ю.Л., Палютин Е.А., Тайцлин М.А.; Новосиб.ун-т. - Новосибирск : Изд-во Новосибирского университета, 1973. - 159 c.
Кл.слова (ненормированные):
фильтры -- эквивалентность формул -- математика -- множества -- алгебраические системы -- аксиома выбора -- математическая логика -- семантика -- ультрафильтры -- теорема компактности -- предикаты -- функции
Доп.точки доступа:
Палютин Е.А. \авт.\
Тайцлин М.А. \авт.\
Новосибирский государственный университет
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Е 804
Математическая логика : Лекции для студентов-математиков МГУ / Новосибирский государственный университет ; Ершов Ю.Л., Палютин Е.А., Тайцлин М.А.; Новосиб.ун-т. - Новосибирск : Изд-во Новосибирского университета, 1973. - 159 c.
| УДК |
Кл.слова (ненормированные):
фильтры -- эквивалентность формул -- математика -- множества -- алгебраические системы -- аксиома выбора -- математическая логика -- семантика -- ультрафильтры -- теорема компактности -- предикаты -- функции
Доп.точки доступа:
Палютин Е.А. \авт.\
Тайцлин М.А. \авт.\
Новосибирский государственный университет
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
25.
Подробнее
Бродский, Иосиф Нусимович.
Отрицательные высказывания / И. Н. Бродский. - Ленинград : Изд-во Ленинградского университета, 1973. - 104 c.
ББК 87
Кл.слова (ненормированные):
философский анализ -- предикаты -- философия -- логико-семантический анализ -- смысл отрицательных высказываний (философия)
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Бродский, Иосиф Нусимович.
Отрицательные высказывания / И. Н. Бродский. - Ленинград : Изд-во Ленинградского университета, 1973. - 104 c.
Кл.слова (ненормированные):
философский анализ -- предикаты -- философия -- логико-семантический анализ -- смысл отрицательных высказываний (философия)
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
26.
Подробнее
Гудстейн, Рейбен Луис.
Математическая логика / Р. Л. Гудстейн ; пер. с англ. В. С. Чернявского. - Москва : Иностранная литература, 1961. - 162 c. : ил. - (Библиотека сборника "Математика".). - Библиогр. : с. 142-148.
Парал. тит. л. на англ. яз.
Кл.слова (ненормированные):
математическая логика -- Геделя теоремы -- Логика -- математика -- логика предикатов -- предикаты -- теория чисел -- исчисление предикатов
Доп.точки доступа:
Чернявский, Р. Л. \пер.\
Экземпляры всего: 3
Абонемент учебной и научной литературы (2), Хранение Отдела организации и использования фонда (1)
Свободны: Абонемент учебной и научной литературы (2), Хранение Отдела организации и использования фонда (1)
Гудстейн, Рейбен Луис.
Математическая логика / Р. Л. Гудстейн ; пер. с англ. В. С. Чернявского. - Москва : Иностранная литература, 1961. - 162 c. : ил. - (Библиотека сборника "Математика".). - Библиогр. : с. 142-148.
Парал. тит. л. на англ. яз.
| УДК |
Кл.слова (ненормированные):
математическая логика -- Геделя теоремы -- Логика -- математика -- логика предикатов -- предикаты -- теория чисел -- исчисление предикатов
Доп.точки доступа:
Чернявский, Р. Л. \пер.\
Экземпляры всего: 3
Абонемент учебной и научной литературы (2), Хранение Отдела организации и использования фонда (1)
Свободны: Абонемент учебной и научной литературы (2), Хранение Отдела организации и использования фонда (1)
27.
Подробнее
Логический анализ языка / Институт языкознания (Москва) ; под ред. Н. Д. Арутюнова ; Академия наук СССР, Институт языкознания. - Москва : Наука, 1989. - 288 c.. - ISBN 5020109304
Рубрики: языкознание--логический анализ языка--сборники статей
Кл.слова (ненормированные):
логика языка -- интенсиональность -- прагматика языка -- семантика языка -- модальность высказывания -- референция высказывания -- пропозиция (языковая семантика) -- перцептивные предикаты -- ментальные предикаты -- эмоциональные предикаты -- волитивные предикаты -- глаголы речи -- предикаты (семантика языка)
Доп.точки доступа:
Арутюнова, Нина Давидовна \ред.\
Институт языкознания (Москва)
Экземпляры всего: 3
Абонемент учебной и научной литературы (2), Хранение Отдела организации и использования фонда (1)
Свободны: Абонемент учебной и научной литературы (2), Хранение Отдела организации и использования фонда (1)
Логический анализ языка / Институт языкознания (Москва) ; под ред. Н. Д. Арутюнова ; Академия наук СССР, Институт языкознания. - Москва : Наука, 1989. - 288 c.. - ISBN 5020109304
| УДК |
Рубрики: языкознание--логический анализ языка--сборники статей
Кл.слова (ненормированные):
логика языка -- интенсиональность -- прагматика языка -- семантика языка -- модальность высказывания -- референция высказывания -- пропозиция (языковая семантика) -- перцептивные предикаты -- ментальные предикаты -- эмоциональные предикаты -- волитивные предикаты -- глаголы речи -- предикаты (семантика языка)
Доп.точки доступа:
Арутюнова, Нина Давидовна \ред.\
Институт языкознания (Москва)
Экземпляры всего: 3
Абонемент учебной и научной литературы (2), Хранение Отдела организации и использования фонда (1)
Свободны: Абонемент учебной и научной литературы (2), Хранение Отдела организации и использования фонда (1)
28.
Подробнее
Теоретические применения методов математической логики. III : сборник работ / под ред. Д. Ю. Григорьева, В. П. Оревкова ; Академия наук СССР, Ленинградское отделение, Математический институт. - Ленинград : Наука, 1981. - 196 c. - (Записки научных семинаров / Ленинградское отделение Математического института АН СССР. ; т. 105.). - Библиогр. в конце ст.
Кл.слова (ненормированные):
математика -- математическая логика -- доказательства (математика) -- теория категорий (математика) -- логический вывод (математика) -- арифметика -- математические исследования (XX век) -- предикаты -- теория доказательств -- изоморфизмы -- алгебра
Доп.точки доступа:
Григорьев, Д. Ю. \ред.\
Оревков, В. П. \ред.\
Академия наук СССР. Математический институт; Ленинградское отделение
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Теоретические применения методов математической логики. III : сборник работ / под ред. Д. Ю. Григорьева, В. П. Оревкова ; Академия наук СССР, Ленинградское отделение, Математический институт. - Ленинград : Наука, 1981. - 196 c. - (Записки научных семинаров / Ленинградское отделение Математического института АН СССР. ; т. 105.). - Библиогр. в конце ст.
| УДК |
Кл.слова (ненормированные):
математика -- математическая логика -- доказательства (математика) -- теория категорий (математика) -- логический вывод (математика) -- арифметика -- математические исследования (XX век) -- предикаты -- теория доказательств -- изоморфизмы -- алгебра
Доп.точки доступа:
Григорьев, Д. Ю. \ред.\
Оревков, В. П. \ред.\
Академия наук СССР. Математический институт; Ленинградское отделение
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
29.
Подробнее
Исследования по конструктивной математике и математической логике. Вып.8 : Сб. ст. / Академия наук СССР, Математический институт ; Под ред. Матиясевич Ю.В.; АН СССР.Мат.ин-т. - Л. : Наука, 1979. - 251 c.
Кл.слова (ненормированные):
теорема когеррентности -- конструктивная математика -- математика -- математическая логика -- канонические морфизмы -- гипотеза Хадвигера -- предикаты -- секвенции -- сборник работ -- изоморфизм графов
Доп.точки доступа:
Матиясевич Ю.В. \ред.\
Академия наук СССР. Математический институт
Свободных экз. нет
Исследования по конструктивной математике и математической логике. Вып.8 : Сб. ст. / Академия наук СССР, Математический институт ; Под ред. Матиясевич Ю.В.; АН СССР.Мат.ин-т. - Л. : Наука, 1979. - 251 c.
| УДК |
Кл.слова (ненормированные):
теорема когеррентности -- конструктивная математика -- математика -- математическая логика -- канонические морфизмы -- гипотеза Хадвигера -- предикаты -- секвенции -- сборник работ -- изоморфизм графов
Доп.точки доступа:
Матиясевич Ю.В. \ред.\
Академия наук СССР. Математический институт
Свободных экз. нет
30.
Подробнее
Амирова, О. Г.
Семантическая модель английских глаголов управления (на материале английских глаголов govern, rule, manage. run) : Автореф. дис... канд. фил. наук: 10.02.04 / Амирова О.Г. - Уфа : Б.и., 2002. - 26 c.
Кл.слова (ненормированные):
английский язык -- английские глаголы -- лексикография -- семантика -- предикаты -- глагольная семантика -- метаязык -- семантические роли -- авторефераты -- научная литература
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Амирова, О. Г.
Семантическая модель английских глаголов управления (на материале английских глаголов govern, rule, manage. run) : Автореф. дис... канд. фил. наук: 10.02.04 / Амирова О.Г. - Уфа : Б.и., 2002. - 26 c.
| УДК |
Кл.слова (ненормированные):
английский язык -- английские глаголы -- лексикография -- семантика -- предикаты -- глагольная семантика -- метаязык -- семантические роли -- авторефераты -- научная литература
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Страница 3, Результатов: 90