Перейти к содержимому 
База данных: Электронный каталог ДВФУ
Страница 7, Результатов: 90
Отмеченные записи: 0
61.
Подробнее
Апресян, Юрий Дереникович
Исследования по семантике и лексикографии / Ю. Д. Апресян. - Москва : Языки славянских культур, 2009 - . - (Studia philologica.).
т. 1 : Парадигматика. - 567 с. - Библиогр. : с. 553 - 567.. - ISBN 9785955103044
Рубрики: русский язык--семантика--лексикография--сборники статей
Кл.слова (ненормированные):
семантика русского языка -- лексикография русского языка -- парадигматика русского языка -- семантический метаязык -- предикаты (русская семантика) -- лексикографические принципы описания -- лексическая синонимия -- лексическая полисемия -- системная лексикография -- лексическая многозначность
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Апресян, Юрий Дереникович
Исследования по семантике и лексикографии / Ю. Д. Апресян. - Москва : Языки славянских культур, 2009 - . - (Studia philologica.).
т. 1 : Парадигматика. - 567 с. - Библиогр. : с. 553 - 567.. - ISBN 9785955103044
| УДК |
Рубрики: русский язык--семантика--лексикография--сборники статей
Кл.слова (ненормированные):
семантика русского языка -- лексикография русского языка -- парадигматика русского языка -- семантический метаязык -- предикаты (русская семантика) -- лексикографические принципы описания -- лексическая синонимия -- лексическая полисемия -- системная лексикография -- лексическая многозначность
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
62.
Подробнее
Игошин, Владимир Иванович.
Математическая логика и теория алгоритмов : учебное пособие для вузов / В. И. Игошин. - Москва : Академия, 2004. - 447 с. - (Высшее профессиональное образование). - Библиогр. : с. 435-442.. - ISBN 5769513632
Рубрики: математическая логика--учебные издания для вузов
алгоритмов теория--учебные издания для вузов
Кл.слова (ненормированные):
алгебра высказываний -- высказывания (математическая логика) -- формулы (математическая логика) -- булевы функции -- системы булевых функций -- формализованное исчисление высказываний -- логика предикатов -- логические операции -- предикаты (математическая логика) -- формализованное исчисление предикатов -- аксиоматические теории -- теория алгоритмов -- Тьюринга машины -- Маркова алгоритмы -- искусственный интеллект
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Игошин, Владимир Иванович.
Математическая логика и теория алгоритмов : учебное пособие для вузов / В. И. Игошин. - Москва : Академия, 2004. - 447 с. - (Высшее профессиональное образование). - Библиогр. : с. 435-442.. - ISBN 5769513632
| УДК |
Рубрики: математическая логика--учебные издания для вузов
алгоритмов теория--учебные издания для вузов
Кл.слова (ненормированные):
алгебра высказываний -- высказывания (математическая логика) -- формулы (математическая логика) -- булевы функции -- системы булевых функций -- формализованное исчисление высказываний -- логика предикатов -- логические операции -- предикаты (математическая логика) -- формализованное исчисление предикатов -- аксиоматические теории -- теория алгоритмов -- Тьюринга машины -- Маркова алгоритмы -- искусственный интеллект
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
63.
Подробнее
Янсон, Александр.
Турбо-Пролог в сжатом изложении / А. Янсон; пер.с нем. Н. С. Сойфер; под ред. Ю. А. Бухштаба. - Москва : Мир, 1991. - 94 с. : ил., табл.. - ISBN 5030020101
Предметный указатель : с. 93
Рубрики: Турбо-Пролог, система программирования
Кл.слова (ненормированные):
TURBO PROLOG, язык программирования -- компьютерное программирование -- типы данных -- редакторы -- компиляторы -- предикаты арифметические -- предикаты логические
Доп.точки доступа:
Сойфер, Н. С. \пер.\
Бухштаб, Ю. А. \ред.\
Экземпляры всего: 1
Абонемент учебной и научной литературы (402) (1)
Свободны: Абонемент учебной и научной литературы (402) (1)
Янсон, Александр.
Турбо-Пролог в сжатом изложении / А. Янсон; пер.с нем. Н. С. Сойфер; под ред. Ю. А. Бухштаба. - Москва : Мир, 1991. - 94 с. : ил., табл.. - ISBN 5030020101
Предметный указатель : с. 93
| УДК |
Рубрики: Турбо-Пролог, система программирования
Кл.слова (ненормированные):
TURBO PROLOG, язык программирования -- компьютерное программирование -- типы данных -- редакторы -- компиляторы -- предикаты арифметические -- предикаты логические
Доп.точки доступа:
Сойфер, Н. С. \пер.\
Бухштаб, Ю. А. \ред.\
Экземпляры всего: 1
Абонемент учебной и научной литературы (402) (1)
Свободны: Абонемент учебной и научной литературы (402) (1)
64.
Подробнее
Алгебра и логика / Академия наук СССР, Сибирское отделение, Институт математики ; [ред. кол. : Ю. Л. Ершов, М. И. Каргаполов (гл. ред.), Ю. И. Мерзляков и др.]. - Новосибирск : [б. и.], 1975. - С. 491-607. - (Труды / Институт математики СО АН СССР. ; т. 14 : № 5.). - Библиогр. в конце глав.
Кл.слова (ненормированные):
алгебра -- Логика -- сопряженность инволюций -- теория абелевых групп -- эндоморфизмы -- предикаты -- доказательство леммы
Доп.точки доступа:
Ершов, Юрий Леонидович \ред.\
Каргаполов, М. И. \ред.\
Мерзляков, Ю. И. \ред.\
Институт математики (Новосибирск)
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Алгебра и логика / Академия наук СССР, Сибирское отделение, Институт математики ; [ред. кол. : Ю. Л. Ершов, М. И. Каргаполов (гл. ред.), Ю. И. Мерзляков и др.]. - Новосибирск : [б. и.], 1975. - С. 491-607. - (Труды / Институт математики СО АН СССР. ; т. 14 : № 5.). - Библиогр. в конце глав.
| УДК |
Кл.слова (ненормированные):
алгебра -- Логика -- сопряженность инволюций -- теория абелевых групп -- эндоморфизмы -- предикаты -- доказательство леммы
Доп.точки доступа:
Ершов, Юрий Леонидович \ред.\
Каргаполов, М. И. \ред.\
Мерзляков, Ю. И. \ред.\
Институт математики (Новосибирск)
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
65.
Подробнее
Калужнин, Лев Аркадьевич.
Что такое математическая логика? / Л. А. Калужнин. - Москва : Наука, 1964. - 151 c. : ил. - Библиогр. : с. 149-150.
Рубрики: математическая логика--популярные издания
Кл.слова (ненормированные):
логика высказываний -- логика педикатов -- булевы функции -- Буля алгебра -- основания математики -- логические операции -- предикаты -- кванторы -- силлогизмы -- применение алгебры логики
Экземпляры всего: 3
Ч/З о. Русский (2), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (2), Абонемент учебной и научной литературы (1)
Калужнин, Лев Аркадьевич.
Что такое математическая логика? / Л. А. Калужнин. - Москва : Наука, 1964. - 151 c. : ил. - Библиогр. : с. 149-150.
| УДК |
Рубрики: математическая логика--популярные издания
Кл.слова (ненормированные):
логика высказываний -- логика педикатов -- булевы функции -- Буля алгебра -- основания математики -- логические операции -- предикаты -- кванторы -- силлогизмы -- применение алгебры логики
Экземпляры всего: 3
Ч/З о. Русский (2), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (2), Абонемент учебной и научной литературы (1)
66.
Подробнее
Клевчихин, Юрий Александрович.
Введение в математический анализ [Электронный ресурс] : лекция 1 (02/09/08) / Ю. А. Клевчихин. - Электроные текстовые данные. - Владивосток : [б. и.], 2008. - 9 с. : табл.
Текстовое электронное издание
Кл.слова (ненормированные):
математический анализ -- предикаты -- логические операции -- математическая логика
Клевчихин, Юрий Александрович.
Введение в математический анализ [Электронный ресурс] : лекция 1 (02/09/08) / Ю. А. Клевчихин. - Электроные текстовые данные. - Владивосток : [б. и.], 2008. - 9 с. : табл.
Текстовое электронное издание
Кл.слова (ненормированные):
математический анализ -- предикаты -- логические операции -- математическая логика
67.
Подробнее
Клевчихин, Юрий Александрович.
Введение в математический анализ [Электронный ресурс] : (лекции) : учебное пособие / Ю. А. Клевчихин. - Электроные текстовые данные. - Владивосток : Изд-во Дальневосточного университета, 2002. - 111 с. : табл.
Текстовое электронное издание
Кл.слова (ненормированные):
логика математическая -- предикаты (математический анализ) -- математической индукции метод -- Ньютона бином -- множеств теория -- множества (математический анализ) -- функции (математический анализ) -- последовательности (математический анализ) -- ДВГУ (труды преподавателей) -- математический анализ
Клевчихин, Юрий Александрович.
Введение в математический анализ [Электронный ресурс] : (лекции) : учебное пособие / Ю. А. Клевчихин. - Электроные текстовые данные. - Владивосток : Изд-во Дальневосточного университета, 2002. - 111 с. : табл.
Текстовое электронное издание
Кл.слова (ненормированные):
логика математическая -- предикаты (математический анализ) -- математической индукции метод -- Ньютона бином -- множеств теория -- множества (математический анализ) -- функции (математический анализ) -- последовательности (математический анализ) -- ДВГУ (труды преподавателей) -- математический анализ
68.
Подробнее
Тихонов, Юрий Вениаминович.
Пролог - язык логического программирования. Версия 2.3 / Ю. В. Тихонов. - Москва : Машиностроение, 1994. - 80 c. : табл. - (Пользователю ПК). - Библиогр. : с. 80. - ISBN 5217015578
Кл.слова (ненормированные):
Пролог, язык программирования -- логическое программирование -- предикаты системы
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Тихонов, Юрий Вениаминович.
Пролог - язык логического программирования. Версия 2.3 / Ю. В. Тихонов. - Москва : Машиностроение, 1994. - 80 c. : табл. - (Пользователю ПК). - Библиогр. : с. 80. - ISBN 5217015578
| УДК |
Кл.слова (ненормированные):
Пролог, язык программирования -- логическое программирование -- предикаты системы
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
69.
Подробнее
Черкашин, Евгений Александрович.
Рекурсивно-логическое программирование : учебное пособие / Е. А. Черкашин ; Иркутский государственный университет, Институт динамики систем и теории управления Сибирского отделения РАН. - Иркутск : Изд-во Иркутского университета, 2013. - 109 с. : ил., табл. - Библиогр. : с. 109.. - ISBN 9785962409382
Рубрики: рекурсивно-логическое программирование--искусственный интеллект--учебные издания для вузов
Кл.слова (ненормированные):
информационные технологии -- Пролог, язык программирования -- логический вывод (информационные технологии) -- программирование (информационные технологии) -- языки программирования -- пролог-программы -- предикаты (информационные технологии)
Доп.точки доступа:
Иркутский государственный университет
Российская академия наук. Сибирское отделение; Институт динамики систем и теории управления
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Черкашин, Евгений Александрович.
Рекурсивно-логическое программирование : учебное пособие / Е. А. Черкашин ; Иркутский государственный университет, Институт динамики систем и теории управления Сибирского отделения РАН. - Иркутск : Изд-во Иркутского университета, 2013. - 109 с. : ил., табл. - Библиогр. : с. 109.. - ISBN 9785962409382
| УДК |
Рубрики: рекурсивно-логическое программирование--искусственный интеллект--учебные издания для вузов
Кл.слова (ненормированные):
информационные технологии -- Пролог, язык программирования -- логический вывод (информационные технологии) -- программирование (информационные технологии) -- языки программирования -- пролог-программы -- предикаты (информационные технологии)
Доп.точки доступа:
Иркутский государственный университет
Российская академия наук. Сибирское отделение; Институт динамики систем и теории управления
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
70.
Подробнее
Грис, Дэвид.
Наука программирования / Д. Грис ; пер. с англ. Н. Н. Непейводы. - Москва : Мир, 1984. - 416 с. - Библиогр. : с. 413-414.
Парал. тит. л. на англ. яз.
Кл.слова (ненормированные):
программирование -- эквивалентные преобразования -- предикаты -- документирование программ -- построение программ -- конъюнктивный член -- Бэкуса-Наура форма
Доп.точки доступа:
Непейвода, Н. Н. \пер.\
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Грис, Дэвид.
Наука программирования / Д. Грис ; пер. с англ. Н. Н. Непейводы. - Москва : Мир, 1984. - 416 с. - Библиогр. : с. 413-414.
Парал. тит. л. на англ. яз.
| УДК |
Кл.слова (ненормированные):
программирование -- эквивалентные преобразования -- предикаты -- документирование программ -- построение программ -- конъюнктивный член -- Бэкуса-Наура форма
Доп.точки доступа:
Непейвода, Н. Н. \пер.\
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Страница 7, Результатов: 90