Новые поступления (книга в стадии обработки) Сидоренко, О. И. Секреты логической зависимости [Текст] : научное издание / О. И. Сидоренко. - Саратов : Изд-во Сарат. ун-та, 2001. - 56 с. : ил. ; 21 см. - Библиогр.: с. 55 (8 назв.). - ISBN 5-292-02564-x : 25.00 р.
Рубрики: Философия--Логика Кл.слова (ненормированные): БИНАРНЫЕ ОТНОШЕНИЯ -- БУЛЕВЫ ФУНКЦИИ -- ЛОГИЧЕСКИЕ ОПЕРАЦИИ -- СЕМАНТИЧЕСКОЕ ПРОСТРАНСТВО -- логическая зависимость Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Вольфенгаген, Вячеслав Эрнстович. Логика. Конспект лекций: Техника рассуждений [Текст] : учебное пособие / В. Э. Вольфенгаген ; . - 2-е изд., доп. и перераб. - Москва : Центр ЮрИнфоР [изд.], 2004. - 227, [7] с. - (Библиотека "ЮрИнфоР"). - Библиогр.: с. 213-215 (48 назв.). - ISBN 5-89158-135-3 (в пер.) : 102.00 р.
Рубрики: логика--логика Кл.слова (ненормированные): логика -- семантический анализ -- отношения -- рассуждения -- аргументация -- логические операции Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Савельев, А. Я. Арифметические и логические основы цифровых автоматов [Текст] : учебник / А. Я. Савельев. - М. : Высшая школа, 1980. - 255 с. : ил. ; 20см. - 0.90 р.
Рубрики: Вычислительная техника--Электронные вычислительные машины Кл.слова (ненормированные): вычислительная техника -- проектирование ЭВМ -- цифровые автоматы -- арифметические операции -- логические операции Аннотация: В книге рассмотрены основные вопросы теории ЭВМ, широко используемые при проектировании ЭВМ: разработка машинных алгоритмов выполнения арифметических и логических операций, методы логического анализа и синтеза электронных схем ЭВМ; изложены требования к курсовой работе по данной дисциплине; дан пример типового задания на курсовую работу. Теоретический материал иллюстрируется примерами. Для студентов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Алексенко, А. Г. Современная микросхемотехника [Текст] / А. Г. Алексенко. - М. : Энергия, 1979. - 112 с. : ил. ; 20см. - (Массовая радиоб-ка ; вып.994). - 0.50 р.
Рубрики: Электроника--Микроэлектроника--Микросхемотехника Кл.слова (ненормированные): операционный усилитель -- логические операции -- логическое проектирование -- аналоговый компаратор -- реальный компаратор -- микроэлектроника -- электроника -- микросхемотехника Аннотация: В книге излагаются основы микроэлектроники микросхемотехники. Она поможет приобрести начальные навыки схемотехнического проектирования и применения интегральных микросхем. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Никольская, И. Л. Математическая логика [Текст] : учеб. / И. Л. Никольская. - М. : Высшая школа, 1981. - 127 с. : ил. ; 20 см. - 0.25 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): математика -- математическая логика -- логические операции -- логическая равносильность -- логическое следование -- нормальные формы Аннотация: Книга предназначена для учащихся техникумов по специальности 1750 "Прикладная математика" и содержит теоретический материал, соответствующий программе курса "Математическая логика", а также упражнения для активного усвоения курса и приобретения необходимых навыков. Изложение базируется на знаниях по математике, полученных учащимися в восьмилетней школе, и на усвоенных ими языковых нормах. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Вострикова, З. П. Программирование на языке ассемблера ЕС ЭВМ [Текст] : учеб. пособие для вузов / З. П. Вострикова. - М. : Наука, 1981. - 304 с. : ил. ; 20см. - 0.80 р.
Рубрики: Вычислительная техника--Языки программирования Кл.слова (ненормированные): программирование -- язык Ассемблер -- команда ЕС ЭВМ -- логические операции -- методы программирования Аннотация: Книга предназначена для изучения основ программирования на языке ассемблера для ЕС ЭВМ. Основное внимание уделено изучению команд и методов программирования на машинно-ориентированном языке. Даны сведения об операторах ассемблера, процессе трансляции, макросредствах и элементах программного обеспечения. Пособие рекомендовано для студентов вузов, аспирантов, научных работников и программистов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Колдербэнк, В. Программирование на Фортране [Текст] : фортран 66 и Фортран 77 / В. Колдербэнк; пер. с англ. В. А. Волынского; под ред. Б. А. Ашкинази. - М. : Радио и связь, 1986. - 176 с. : ил. ; 21 см. - 0.70 р.
Рубрики: Вычислительная техника--Языки программирования Кл.слова (ненормированные): структура программы -- язык FORTRAN -- команды управления -- логический тип -- типовые СОИ -- логические операции -- индексные структуры Аннотация: В книге английского автора дано полное описание языка Фортран на основе стандартов ANSI 66 и ANSI 77, специально выделены отличия Фортрана 77 от Фортрана 66. Приведено большое число примеров и задач с решениями. Материал книги полезен при переводе программ с Фортрана 66 на Фортран 77, а также при разработке мобильного программного обеспечения. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Немнюгин, С. Изучаем Turbo Pascal [Текст] : научное издание / С. Немнюгин, Л. Перколаб. - М.; СПб. : Питер, 2002. - 320 с. : ил. ; 21 см. - (Компас). - ISBN 5-272-00201-6 : 100.00 р.
Рубрики: Вычислительная техника--Языки программирования Кл.слова (ненормированные): вычислительная техника -- языки программирования -- язык PASCAL -- язык Turbo Pascal -- Турбо Паскаль -- программирование -- логические операции -- условные операторы -- графика -- массивы -- файлы Аннотация: В книге рассказываетсяы об основах программирования на Турбо Паскале. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Перколаб, Л. |
Новые поступления (книга в стадии обработки) Сибеста, Р. Структурное программирование на языке ассемблера ЭВМ VAX-11 [Текст] / Р. Сибеста; пер. с англ. В. И. Гуревича и др. ; под ред. В. К. Потоцкого. - М. : Мир, 1988. - 536 с. : ил. ; 21 см. - Предм. указ.: с. 529-530. - 2.40 р.; 25.00 р. Прил.: с. 457-528
Рубрики: Вычислительная техника--Языки программирования Кл.слова (ненормированные): языки программирования -- макрокоманды -- логические операции -- система VAX -- подпрограммы -- символьные данные -- косвенная адресация -- кодирование символов -- Ассемблер (язык программирования) -- машинные команды Аннотация: В книге излагаются основы программирования на языке ассемблера ЭВМ VAX-11, которая отличается от PDP-11 более развитой архитектурой, возможностью обработки 32- и 64-разрядных слов, виртуальной памятью до 4 Гбайт и высоким быстродействием. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Сидоренко, Олег Иванович. Секреты логической зависимости [Текст] / О. И. Сидоренко. - Саратов : Издательство Саратовского национального государственного университета имени Н. Г. Чернышевского, 2001. - 56 с. : ил. - Библиогр.: с. 55. - ISBN 5-292-02564-Х : 5.00 р. Рубрики: Логика--Общие вопросы логики Кл.слова (ненормированные): бинарные отношения -- булевы функции -- булевы функции -- логическая зависимость -- логические операции -- ограниченное пространство -- ограниченное симантическое пространство Аннотация: Книга посвящена проблеме построения конечно-элементных моделей оболочек малой и средней толщины. Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) |
Новые поступления (книга в стадии обработки) Немнюгин, С. Изучаем Turbo Pascal [Текст] : учебник / С. Немнюгин, Л. Перколаб. - СПб. [и др.] : Питер, 2008. - 320 с. : ил. ; 20 см. - (КомпАс). - ISBN 978-5-272-00201-3 : 75.70 р.
Рубрики: Вычислительная техника--Языки программирования Кл.слова (ненормированные): ТУРБО ПАСКАЛЬ -- ПЕРЕМЕННЫЕ -- ПРЕОБРАЗОВАНИЕ ТИПОВ -- ОПЕРАТОРЫ -- ЛОГИЧЕСКИЕ ОПЕРАЦИИ -- ЛОГИЧЕСКИЙ ТИП -- ЦИКЛЫ -- МАССИВЫ -- ДВУМЕРНЫЕ МАССИВЫ -- ПРОГРАММЫ -- МОДУЛИ -- ТИПЫ ПЕРЕМЕННЫХ -- ЗАПИСЬ -- МНОЖЕСТВА -- ФАЙЛЫ -- ТЕКСТОВЫЕ ФАЙЛЫ -- РАБОТА С ГРАФИКОЙ -- ВЫВОД ТЕКСТА Аннотация: В книге, адресованной прежде всего школьникам, рассказывается об основах программирования на Турбо Паскале. Основные конструкции языка излагаются так, чтобы его мог освоить каждый без посторонней помощи. В книге имеется много примеров и готовых к выполнению интересных программ. Последовательность изложения материалов такова/ что читатель может сразу приступить к самостоятельной работе на компьютере, программируя и решая конкретные задачи. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Перколаб, Л. |
Новые поступления (книга в стадии обработки) Методы контроля и диагноза сложных систем и автоматов [Текст] : сборник / Ин-т кибернетики (Киев) ; сост. Г. Д. Вачиберидзе [и др.]. - К. : Ин-т кибернетики, 1972. - 49 с. : ил. ; 20 см. - 0.14 р.
Рубрики: Автоматика--Сложные системы Кл.слова (ненормированные): ДИАГНОСТИКА НЕИСПРАВНОСТЕЙ -- АРИФМЕТИЧЕСКИЕ УСТРОЙСТВА -- ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ -- ДИАГНОСТИЧЕСКИЕ СИСТЕМЫ -- АРИФМЕТИЧЕСКИЕ ОПЕРАЦИИ -- ЛОГИЧЕСКИЕ ОПЕРАЦИИ -- ИДЕНТИФИКАЦИЯ АВТОМАТОВ Аннотация: В сборнике рассказывается о диагностике неисправностей в арифметических устройствах цифровых вычислительных машин. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Вачиберидзе, Г. Д. Корноушенко, Е. К. Коган, И. В. Гурвич, Е. И. |
Новые поступления (книга в стадии обработки) Сборник задач по вычислительным машинам и программированию [Текст] : учеб. пособие / под ред. В. Н. Криушина. - М. : Статистика, 1975. - 273 с. : ил., рис., табл. ; 21 см. - 0.73 р. Гриф: допущено М-вом высш. и сред. спец. образования СССР в качестве учеб. пособия для студ. вузов, обуч. по спец. "Организация механизир. обработки экон. информации"
Рубрики: Вычислительная техника--Электронные вычислительные машины Кл.слова (ненормированные): ЦИФРОВЫЕ ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ -- АРИФМЕТИЧЕСКИЕ ОПЕРАЦИИ -- ЛОГИЧЕСКИЕ ОПЕРАЦИИ -- АРИФМЕТИЧЕСКИЕ УСТРОЙСТВА -- ЗАПОМИНАЮЩИЕ УСТРОЙСТВА -- ПЕРФОРАЦИОННЫЕ МАШИНЫ -- БЛОК ДЕШИФРАЦИИ -- БЛОК СЧЕТЧИКА Аннотация: В сборнике, в начале каждой главы, предлагаются методические указания, где даются краткая технико-эксплуатационная характеристика машин, а также пояснения и примеры, необходимые для решения задач данной главы. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Криушин, В. Н. |
Новые поступления (книга в стадии обработки) Касаткин, В. Н. Азбука кибернетики [Текст] : научно-популярная литература / В. Н. Касаткин. - М. : Изд-во "Молодая гвардия", 1968. - 160 с. : ил., рис. ; 14 см. - 0.13 р.
Кл.слова (ненормированные): КИБЕРНЕТИКА -- ЛОГИЧЕСКИЕ ОПЕРАЦИИ -- ЗАДАЧИ АЛГЕБРЫ -- ЛОГИКА И АВТОМАТЫ -- ЗАДАЧИ ДЛЯ УМЕЛЫХ Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Зенченко, В. П. Воздух управляет автоматами (пневматические системы машин-автоматов) [Текст] : научное издание / В. П. Зенченко, Г. В. Крейнин ; Акад. наук СССР. - М. : Изд-во "Академия наук СССР", 1963. - 109 с. : ил. ; 21 см. - (Научно-популярная серия). - 0.16 р.
Кл.слова (ненормированные): ПНЕВМАТИЧЕСКИЕ ПРИВОДЫ -- ЛОГИЧЕСКИЕ МАШИНЫ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЛОГИЧЕСКИЕ ОПЕРАЦИИ -- ГИДРОЦИЛИНДРЫ Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Крейнин, Г. В. |
Новые поступления (книга в стадии обработки) Смирнов, И. Н. Синтез систем управления на логических элементах [Текст] : научное издание / И. Н. Смирнов. - Л. : Изд-во Ленингр. ун-та, 1975. - 78 с. : ил. ; 21 см. - Библиогр.: с. 76. - 0.46 р.
Рубрики: Автоматика--Системы автоматического управления Кл.слова (ненормированные): ЛОГИЧЕСКИЙ СИНТЕЗ -- ДИСКРЕТНОЕ ДЕЙСТВИЕ -- СХЕМЫ УПРАВЛЕНИЯ -- ЛОГИЧЕСКИЕ ОПЕРАЦИИ -- МНОГОТАКТНЫЕ СИСТЕМЫ УПРАВЛЕНИЯ Аннотация: Посвящена методам логического синтеза систем управления на элементах дискретного действия. Рассматриваются методы, основанные на использовании таблиц состояний и карт Карно. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Субье-Ками, А. Двоичная техника и обработка информации [Текст] : научное издание / А. Субъе-Ками ; под ред. Д. Ю. Панова ; пер. с фр.: Е. В. Бабичевой, М. М. Новоселова. - М. : Изд-во "Мир", 1964. - 500 с. : ил. ; 21 см. - Библиогр.: с. 481-483. - 2.10 р.
Кл.слова (ненормированные): ЛОГИЧЕСКИЕ ОПЕРАЦИИ -- ОБРАБОТКА ИНФОРМАЦИИ -- ПЕРЕКЛЮЧАТЕЛЬНЫЕ ФУНКЦИИ -- ДЕШИФРАТОРЫ -- ДВОИЧНЫЕ ФУНКЦИИ -- АРИФМЕТИЧЕСКИЕ ОПЕРАЦИИ -- ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Панов, Д. Ю. Бабичева, Е. В. Новоселов, М. М. |
Новые поступления (книга в стадии обработки) Шкут, Н. В. Автоматизация программирования для вычислительной машины "Минск-2(22)" [Текст] : научное издание / Н. В. Шкут. - Минск : Наука и техника, 1967. - 69 с. : табл. ; 20 см. - 0.20 р.
Кл.слова (ненормированные): ВХОДНОЙ ЯЗЫК -- ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ -- ЛОГИЧЕСКИЕ ОПЕРАЦИИ -- ПРОГРАММИРОВАНИЕ -- ЯЗЫК ВЫЧИСЛИТЕЛЬНОЙ МАШИНЫ Аннотация: В книге излагается система автоматизации программирования на основе алгоритмического языка АЛГОЛ-60 для вычислительной машины "Минск-2(22)". Дается описание входного языка, транслятора с входного на язык вычислительной машины "Минск-2(22)" и алгоритмов трансляции. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Логика [Текст] : учебник / В. И. Кириллов [и др.]. - М. : Изд-во "Высшая школа", 1964. - 207 с. : ил. ; 22 см. - 0.65 р. Гриф: допущено М-вом высш. и сред. спец. образования РСФСР в качестве учебника для студ.-заоч. юрид. ин-тов и фак.
Рубрики: Философия--Логика Кл.слова (ненормированные): МЫШЛЕНИЕ -- ПОНЯТИЯ -- ЛОГИЧЕСКИЕ ОПЕРАЦИИ -- СУЖДЕНИЕ -- ФОРМАЛЬНО-ЛОГИЧЕСКИЕ ЗАКОНЫ -- УМОЗАКЛЮЧЕНИЕ -- ИНДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ -- ДОКАЗАТЕЛЬСТВО -- ОПРОВЕРЖЕНИЕ Аннотация: В учебнике учтены особенности преподавания курса логики в юридических высших учебных заведениях. Использован материал из области правовых наук, показано значение логики, ее законов, приемов и операций в практической работе юриста, отражены актуальные проблемы логики. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Кириллов, В. И. Зыков, П. Г. Старченко, А. А. Чураков, Ю. Д. |
Новые поступления (книга в стадии обработки) Теория логического вывода [Текст] : научное издание / Ин-т философии (Москва) ; отв. ред. П. В. Таванец. - М. : Наука, 1973. - 272 с. : граф., рис., табл. ; 20 см. - Библиогр.: с. 270 . - 0.76 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ -- ТЕОРИЯ КВАНТОРОВ -- ЛОГИКА КЛАССОВ -- МОДАЛЬНАЯ ЛОГИКА -- ПАРАДОКС ЗЕНОНА -- ЛОГИЧЕСКИЕ ОПЕРАЦИИ Аннотация: Даны проблемы теории логического следования, в которых анализируются роль и место этой теории в логике, философии и методологии науки, рассматриваются проблемы общей теории дедукции, теории кванторов, логики классов, модальной логики, логики пространственно-временных отношений. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Таванец, П. В. |