Перейти к содержимому 
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 15
Отмеченные записи: 0
1.
Подробнее
Яглом, Исаак Моисеевич.
Необыкновенная алгебра / И. М. Яглом. - Москва : Наука, 1968. - 71 с. : ил. - (Популярные лекции по математике ; вып. 45.). - Библиогр. : с. 68.
Кл.слова (ненормированные):
алгебра -- алгебра множеств -- Буля алгебра -- алгебра чисел -- алгебра высказываний
Экземпляры всего: 1
Абонемент учебной и научной литературы (1)
Свободны: Абонемент учебной и научной литературы (1)
Яглом, Исаак Моисеевич.
Необыкновенная алгебра / И. М. Яглом. - Москва : Наука, 1968. - 71 с. : ил. - (Популярные лекции по математике ; вып. 45.). - Библиогр. : с. 68.
| УДК |
Кл.слова (ненормированные):
алгебра -- алгебра множеств -- Буля алгебра -- алгебра чисел -- алгебра высказываний
Экземпляры всего: 1
Абонемент учебной и научной литературы (1)
Свободны: Абонемент учебной и научной литературы (1)
2.
Подробнее
Шапиро, Самуил Иосифович.
Решение логических и игровых задач (логико-психологические этюды) / С. И. Шапиро. - Москва : Радио и связь, 1984. - 153 с., включ. обл. : ил. - (Кибернетика)
Кл.слова (ненормированные):
алгебра высказываний -- алгебра предикатов -- задачи (алгебра)
Экземпляры всего: 2
Абонемент учебной и научной литературы (2)
Свободны: Абонемент учебной и научной литературы (2)
Шапиро, Самуил Иосифович.
Решение логических и игровых задач (логико-психологические этюды) / С. И. Шапиро. - Москва : Радио и связь, 1984. - 153 с., включ. обл. : ил. - (Кибернетика)
| УДК |
Кл.слова (ненормированные):
алгебра высказываний -- алгебра предикатов -- задачи (алгебра)
Экземпляры всего: 2
Абонемент учебной и научной литературы (2)
Свободны: Абонемент учебной и научной литературы (2)
3.
Подробнее
Лавров, Игорь Андреевич.
Задачи по теории множеств, математической логике и теории алгоритмов : [учебное пособие для математических факультетов университетов и педагогических институтов] / И. А. Лавров, Л. Л. Максимова. - Москва : Наука, 1975. - 240 c. - Библиогр. : с. 232.
Рубрики: математика--учебные издания для вузов
Кл.слова (ненормированные):
частично рекурсивные функции -- теория множеств -- математическая логика -- алгебра высказываний -- ординальные числа -- задачники (математика) -- аксиоматические теории -- кардинальные числа -- предикаты -- логика математическая -- функции рекурсивные -- кибернетика -- теория алгоритмов
Доп.точки доступа:
Максимова, Лариса Львовна
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Лавров, Игорь Андреевич.
Задачи по теории множеств, математической логике и теории алгоритмов : [учебное пособие для математических факультетов университетов и педагогических институтов] / И. А. Лавров, Л. Л. Максимова. - Москва : Наука, 1975. - 240 c. - Библиогр. : с. 232.
| УДК |
Рубрики: математика--учебные издания для вузов
Кл.слова (ненормированные):
частично рекурсивные функции -- теория множеств -- математическая логика -- алгебра высказываний -- ординальные числа -- задачники (математика) -- аксиоматические теории -- кардинальные числа -- предикаты -- логика математическая -- функции рекурсивные -- кибернетика -- теория алгоритмов
Доп.точки доступа:
Максимова, Лариса Львовна
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
4.
Подробнее
Новиков, Петр Сергеевич.
Конструктивная математическая логика с точки зрения классической / П. С. Новиков. - Москва : Наука, 1977. - 328 c. : ил. - (Математическая логика и основания математики). - Библиогр. : с. 318-320.
Кл.слова (ненормированные):
математическая логика -- исчисление предикатов -- логика высказываний -- классическая логика -- Гливенко теорема -- формализованная арифметика -- бэровское пространство -- алгебра высказываний
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Новиков, Петр Сергеевич.
Конструктивная математическая логика с точки зрения классической / П. С. Новиков. - Москва : Наука, 1977. - 328 c. : ил. - (Математическая логика и основания математики). - Библиогр. : с. 318-320.
| УДК |
Кл.слова (ненормированные):
математическая логика -- исчисление предикатов -- логика высказываний -- классическая логика -- Гливенко теорема -- формализованная арифметика -- бэровское пространство -- алгебра высказываний
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
5.
Подробнее
Пензов, Юрий Ефимович.
Элементы математической логики и теории множеств / Ю. Е. Пензов. - Саратов : Изд-во Саратовского университета, 1968. - 144 c. - Библиогр. : с. 141/
Кл.слова (ненормированные):
математическая логика -- математика -- алгебра высказываний -- логика предикатов -- частичные отображения -- алгебра подмножеств -- теория множеств -- теория бинарных отношений
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Пензов, Юрий Ефимович.
Элементы математической логики и теории множеств / Ю. Е. Пензов. - Саратов : Изд-во Саратовского университета, 1968. - 144 c. - Библиогр. : с. 141/
| УДК |
Кл.слова (ненормированные):
математическая логика -- математика -- алгебра высказываний -- логика предикатов -- частичные отображения -- алгебра подмножеств -- теория множеств -- теория бинарных отношений
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
6.
Подробнее
Задачи по логике. Пособие для студентов-математиков НГУ / Лавров И.А., Максимова Л.Л.; Новосиб.ун-т. - Новосибирск : Изд-во Новосибирского университета, 1970. - 112 c.
Кл.слова (ненормированные):
математика -- аксиоматические теории -- фильтры -- функции -- теория множеств -- предикаты -- Логика -- математическая логика -- бинарные отношения -- фильтрованные произведения -- алгебра высказываний -- ординальные числа -- кардинальные числа
Доп.точки доступа:
Максимова, Л. Л. \авт.\
Новосибирский государственный университет
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Задачи по логике. Пособие для студентов-математиков НГУ / Лавров И.А., Максимова Л.Л.; Новосиб.ун-т. - Новосибирск : Изд-во Новосибирского университета, 1970. - 112 c.
| УДК |
Кл.слова (ненормированные):
математика -- аксиоматические теории -- фильтры -- функции -- теория множеств -- предикаты -- Логика -- математическая логика -- бинарные отношения -- фильтрованные произведения -- алгебра высказываний -- ординальные числа -- кардинальные числа
Доп.точки доступа:
Максимова, Л. Л. \авт.\
Новосибирский государственный университет
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
7.
Подробнее
Лавров, Игорь Андреевич.
Логика и алгоритмы : лекции для слушателей факультетов повышения квалификации / И. А. Лавров ; Новосибирский государственный университет. - Новосибирск : Изд-во Новосибирского университета, 1970. - 173 c. : ил.
Рубрики: математическая логика--учебные издания для вузов
алгоритмов теория--учебные издания для вузов
Кл.слова (ненормированные):
теория алгоритмов -- машины Тьюринга -- частично рекурсивные функции -- теория моделей -- исчислений предикатов -- исчисление высказываний -- алгебра высказываний
Доп.точки доступа:
Новосибирский государственный университет
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Лавров, Игорь Андреевич.
Логика и алгоритмы : лекции для слушателей факультетов повышения квалификации / И. А. Лавров ; Новосибирский государственный университет. - Новосибирск : Изд-во Новосибирского университета, 1970. - 173 c. : ил.
| УДК |
Рубрики: математическая логика--учебные издания для вузов
алгоритмов теория--учебные издания для вузов
Кл.слова (ненормированные):
теория алгоритмов -- машины Тьюринга -- частично рекурсивные функции -- теория моделей -- исчислений предикатов -- исчисление высказываний -- алгебра высказываний
Доп.точки доступа:
Новосибирский государственный университет
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
8.
Подробнее
Депман, Иван Яковлевич.
Первое знакомство с математической логикой / И. Я. Депман ; Общество "Знание" РСФСР, Ленинградское отделение. - Ленинград : [б. и.], 1963. - 56 c. : ил.
Кл.слова (ненормированные):
история математики -- алгебра высказываний -- логические уравнения -- алгебра логики -- математика -- алгебра -- математическая логика
Доп.точки доступа:
"Знание", общество РСФСР. Ленинградское отделение
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Депман, Иван Яковлевич.
Первое знакомство с математической логикой / И. Я. Депман ; Общество "Знание" РСФСР, Ленинградское отделение. - Ленинград : [б. и.], 1963. - 56 c. : ил.
| УДК |
Кл.слова (ненормированные):
история математики -- алгебра высказываний -- логические уравнения -- алгебра логики -- математика -- алгебра -- математическая логика
Доп.точки доступа:
"Знание", общество РСФСР. Ленинградское отделение
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
9.
Подробнее
Новиков, Петр Сергеевич.
Элементы математической логики / П. С. Новиков. - Изд. 2-е, испр. - Москва : Наука, 1973. - 399 c. : ил. - (Математическая логика и основания математики)
Рубрики: математическая логика
Кл.слова (ненормированные):
аксиоматическая арифметика -- исчисление высказываний -- алгебра высказываний -- логика предикатов -- исчисление предикатов -- теория доказательств
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Новиков, Петр Сергеевич.
Элементы математической логики / П. С. Новиков. - Изд. 2-е, испр. - Москва : Наука, 1973. - 399 c. : ил. - (Математическая логика и основания математики)
| УДК |
Рубрики: математическая логика
Кл.слова (ненормированные):
аксиоматическая арифметика -- исчисление высказываний -- алгебра высказываний -- логика предикатов -- исчисление предикатов -- теория доказательств
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
10.
Подробнее
Л 886
004.3(076) Л 886 / Л 886-Ч/З о. Русский
004.3(076) Л 886 / Л 886-Ч/З о. Русский
32.81я7 Л 886 / Л 886-Абонемент учебной и научной литературы
Лыскова, Вероника Юрьевна.
Логика в информатике : методическое пособие / В. Лыскова, Е. Ракитина. - 2-е изд. - Москва : Лаборатория Базовых Знаний, 2006. - 158 с. : ил., табл. - Библиогр. : с. 158.. - ISBN 5932081872
Рубрики: математическая логика--задачи--решение на компьютерах--методические пособия
компьютеры--теория--математические основы--методические пособия
Кл.слова (ненормированные):
ЭВМ -- логика математическая -- алгебра высказываний -- логические операции -- логические функции -- логики законы -- преобразователи информации -- логические элементы компьютеров -- логические устройства ЭВМ -- конъюнктеры -- дизъюнкторы -- контрольные работы (информатика) -- лабораторные работы (информатика)
Доп.точки доступа:
Ракитина, Елена Александровна
Экземпляры всего: 3
Ч/З о. Русский (2), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (2), Абонемент учебной и научной литературы (1)
Л 886
004.3(076) Л 886 / Л 886-Ч/З о. Русский
004.3(076) Л 886 / Л 886-Ч/З о. Русский
32.81я7 Л 886 / Л 886-Абонемент учебной и научной литературы
Лыскова, Вероника Юрьевна.
Логика в информатике : методическое пособие / В. Лыскова, Е. Ракитина. - 2-е изд. - Москва : Лаборатория Базовых Знаний, 2006. - 158 с. : ил., табл. - Библиогр. : с. 158.. - ISBN 5932081872
| УДК |
Рубрики: математическая логика--задачи--решение на компьютерах--методические пособия
компьютеры--теория--математические основы--методические пособия
Кл.слова (ненормированные):
ЭВМ -- логика математическая -- алгебра высказываний -- логические операции -- логические функции -- логики законы -- преобразователи информации -- логические элементы компьютеров -- логические устройства ЭВМ -- конъюнктеры -- дизъюнкторы -- контрольные работы (информатика) -- лабораторные работы (информатика)
Доп.точки доступа:
Ракитина, Елена Александровна
Экземпляры всего: 3
Ч/З о. Русский (2), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (2), Абонемент учебной и научной литературы (1)
Страница 1, Результатов: 15