Библиотека Амурского Государственного Университета

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

БД "Книги" - результаты поиска

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

Выпускные квалификационные работы

Антитеррор

Область поиска

Найдено в других БД:

БД "Статьи" (7)

Труды АМГУ (1)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=логические операции<.>)

Общее количество найденных документов : 11
Показаны документы с 1 по 11

   22.12
   К72

    Костенко, Светлана Владимировна.
    Элементы математической логики с приложением [Текст] : Учеб. -метод. пособие / С. В. Костенко, Т. А. Маничева, А. П. Филимонова ; АмГУ, ФМиИ. - Благовещенск : Изд-во Амур. гос. ун-та, 2002. - 32 с. - Библиогр.: с. 32. - 7.00 р.

ББК 22.12я73
Рубрики: Математическая логика
Кл.слова (ненормированные):
логические операции -- булевы функции -- релейно-контактные схемы

Доп.точки доступа:
Маничева, Татьяна Александровна; Филимонова, Анна Павловна; Амурский государственный университет. Факультет математики и информатики
Экземпляры всего: 5
аб., ч.з., эн.ф. (5)
Свободны: эн.ф. (5)
Найти похожие

   22.12
   И26

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов [Текст] : учеб. пособие: рек. Мин. обр. РФ / В. И. Игошин. - М. : Академия, 2004. - 448 с. - (Высшее проф. образование : педагогические специальности). - Библиогр.: с. 435. - ISBN 5-7695-1363-2 (в пер.) : 253.00 р., 2500002201361 р.

ББК 22.12я73
Рубрики: Математическая логика--теория алгоритмов
Кл.слова (ненормированные):
математическая логика -- логика и интуиция -- алгебра высказываний -- логическое следствие, понятие, следствия -- булевы функции -- система аксиом -- логика предикатов -- логические операции -- рекурсивные функции -- теорема Гёделя -- язык ПРОЛОГ, характеристика -- искусственный интеллект, математическая логика

Экземпляры всего: 7
аб. (7), ч.з.
Свободны: аб. (7)
Найти похожие

   22.12
   У77

    Успенский, Владимир Андреевич.
    Вводный курс математической логики [Текст] : [учеб. пособие] / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - М. : Физматлит, 2004. - 126 с. - Библиогр.: с. 122. - Предм. указ.: с. 123. - ISBN 5-9221-0278-8 : 114.44 р.

ББК 22.12я73
Рубрики: Математическая логика
Кл.слова (ненормированные):
теория множеств -- теорема Кантора -- языки первого порядка -- логические операции -- кванторы -- элементы теории доказательств -- логическое следование -- теорема Гёделя -- теорема алгоритмов

Доп.точки доступа:
Верещагин, Н.К.; Плиско, В.Е.
Экземпляры всего: 5
аб. (3), ч.з. (2)
Свободны: аб. (2), ч.з. (2)
Найти похожие

   87.4
   К43

    Кириллов, Вячеслав Иванович.
    Логика [Текст] : учеб. / В. И. Кириллов, А. А. Старченко. - 6-е изд., перераб. и доп. - М. : Проспект, 2009. - 233 с. : табл. - Библиогр. : с. 228 . - Предм. указ. : с. 229 . - ISBN 978-5-392-00567-3 (в пер.) : 178.64 р., 199.80 р., 55.27 р., 128.24 р.

ББК 87.4я73
Рубрики: Логика
Общие вопросы логики
Кл.слова (ненормированные):
логика как наука -- логические операции -- простые суждения -- сложные суждения -- модальность суждений -- дедуктивные умозаключения -- индуктивные умозаключения -- умозаключение по анологии -- аргументация -- логика вопросов и ответов -- гипотеза

Доп.точки доступа:
Старченко, Анатолий Александрович
Экземпляры всего: 46
аб. (46)
Свободны: аб. (45)
Найти похожие

   32.81
   П58

    Попов, Александр Михайлович.
    Информатика и математика для юристов [Текст] : учеб. : рек. УМЦ / А. М. Попов, В. Н. Сотников, Е. И. Нагаева. - М. : ЮНИТИ-ДАНА, 2009. - 391 с. : ил. - Библиогр. : с. 362. - ISBN 978-5-238-01512-5 (в пер.) : 287.28 р.
Прил. : с. 364

ББК 32.81я73 + 22.1я73
Рубрики: Информатика
Математика
Кл.слова (ненормированные):
дискретная математика, основы -- теория множеств -- математическая логика -- высказывания -- логические операции -- теория графов -- случайные события -- теория вероятностей -- случайные величины -- предельные теоремы -- методы принятия решений -- математическая статистика -- проверка статистических гипотез -- информатика, наука -- информационные процессы -- кодирование данных -- языки программирования -- вычислительная техника -- программное обеспечение -- табличный процессор -- текстовый процессор -- защита информации -- компьютерные преступления -- алгоритмизация

Доп.точки доступа:
Сотников, Валерий Николаевич; Нагаева, Елена Игоревна
Экземпляры всего: 1
аб. (1), ч.з.
Свободны: аб. (1)
Найти похожие

   32.973
   Х22

    Хартов, Вячеслав Яковлевич.
    Микропроцессорные системы [Текст] : учеб. пособие : рек. УМО / В. Я. Хартов. - М. : Академия, 2010. - 352 с. : рис., табл. - (Высшее проф. образование. Информатика и вычислительная техника). - Библиогр. : с. 347 . - ISBN 978-5-7695-7028-5 (в пер.) : 510.40 р., 510.40 р.

ББК 32.973-04я73
Рубрики: Вычислительная техника
Микропроцессоры
Кл.слова (ненормированные):
микропроцессорные системы -- восьмизарядный микропроцессор -- системный контроллер -- микроконтроллеры -- логические операции -- арифметическая обработка данных -- ввод-вывод микроконтроллеров -- таймеры -- интерфейсы последовательной связи -- аналоговый ввод-вывод -- проектирование микропроцессорной системы -- энергонезависимая память -- программирование микроконтроллеров -- микроконтроллеры с 16-разрядной архитектурой -- программируемы системы на кристалле -- встраиваемые компьютерные системы

Экземпляры всего: 8
аб. (7), а.к. (1), ч.з.
Свободны: аб. (7), а.к. (1)
Найти похожие

   87.4
   К 43

    Кириллов, Вячеслав Иванович.
    Логика [Текст] : учеб. / В. И. Кириллов, А. А. Старченко. - 6-е изд., перераб. и доп. - М. : Проспект, 2011. - 233 с. - Библиогр. : с. 228. - Предм. указ. : с. 229. - ISBN 978-5-392-01792-8 (в пер.) : 105.27 р., 105.27 р.

ББК 87.4я73
Рубрики: Логика
Кл.слова (ненормированные):
закон мышления -- история логики -- логические операции -- простые суждения -- сложные суждения -- модальность суждений -- дедуктивные умозаключения -- аргументация

Доп.точки доступа:
Старченко, Анатолий Александрович
Экземпляры всего: 8
ч.з. (1), аб. (7)
Свободны: ч.з. (1), аб. (6)
Найти похожие

   87.4
   К 43

    Кириллов, Вячеслав Иванович.
    Логика [Текст] : учеб. / В. И. Кириллов, А. А. Старченко. - 5-е изд., перераб. и доп. - М. : Юристъ, 2007. - 255 с. - ISBN 5-7975-0059-0 (в пер.) : 67.04 р., 56.54 р.

ББК 87.4я73
Рубрики: Логика
Кл.слова (ненормированные):
язык логики -- история логики -- логические операции -- суждение -- модальность суждений -- дедуктивные умозаключения

Доп.точки доступа:
Старченко, Анатолий Александрович
Экземпляры всего: 2
аб. (2)
Свободны: аб. (2)
Найти похожие

   87.4
   С 44

    Сковиков, Алексей Константинович.
    Логика [Текст] : учеб. и практикум для бакалавров : рек. Мин. обр. РФ / А. К. Сковиков. - М. : Юрайт, 2013. - 576 с. - (Бакалавр. Базовый курс). - Библиогр. : с. 395 . - ISBN 978-5-9916-2194-6 (в пер.) : 372.30 р.
Прил. : с. 398

ББК 87.4я73
Рубрики: Логика
Кл.слова (ненормированные):
логика, предмет -- логика и язык -- понятие как форма мысли -- логические операции -- суждение -- модальность суждений -- логика вопросов и ответов -- умозаключение -- дедуктивные умозаключения -- индуктивные умозаключения -- умозаключение по аналогии -- аргументация -- классическая логика -- гипотеза

Экземпляры всего: 10
ч.з. (3), аб. (7)
Свободны: ч.з. (3), аб. (7)
Найти похожие

10.

   22.1
   Л 77

    Лопатин, Павел Борисович.
    Математика для юристов [Текст] : подготовка к Федеральному экзамену в сфере высшего профессионального образования : учеб. пособие : рек. УМО / П. Б. Лопатин. - Ростов н/Д : Феникс, 2008. - 150 с. : рис. - (Высшее образование). - Библиогр. : с. 147 . - ISBN 978-5-222-14077-2 (в пер.) : 162.00 р.

ББК 22.1я73
Рубрики: Математика
Кл.слова (ненормированные):
аксиоматический метод -- алгебра высказываний -- логические операции -- теории множеств -- комбинаторика -- случайные величины -- математическая статистика -- недесятичная арифметика

Экземпляры всего: 1
аб. (1)
Свободны: аб. (1)
Найти похожие

11.

   87.4
   Р 83

    Руденко, Андрей Михайлович.
    Логика [Текст] : учебное пособие / А. М. Руденко. - Ростов-на-Дону : Феникс, 2016. - 252 с. : табл. - (Высшее образование). - ISBN 978-5-222-26124-8 : 146.93 р.

ББК 87.4я73
Рубрики: Логика
Кл.слова (ненормированные):
история логики -- формы мышления -- понятие -- логические операции -- суждение -- умозаключение -- закон тождества

Экземпляры всего: 1
аб. (1)
Свободны: аб. (1)
Найти похожие

Тематический навигатор

Статистика за 18.07.2024
Число запросов	28583
Число посетителей	1
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)