Поисковый запрос: (<.>KL=ЛОГИЧЕСКИЕ ОПЕРАЦИИ<.>) |
Общее количество найденных документов : 23
Показаны документы с 1 по 20 |
|
1. 
|
Вид документа : Однотомное издание
Шифр издания : 16/С 34
Автор(ы) : Сидоренко О. И.
Заглавие : Секреты логической зависимости
: научное издание
Выходные данные : Саратов: Изд-во Сарат. ун-та, 2001
Колич.характеристики :56 с.:
ил.; 21 см
Примечания : Библиогр.: с. 55 (8 назв.)
ISBN, Цена 5-292-02564-x: 25.00 р.
ГРНТИ : 02.21
УДК : 16
ББК : 87.4
Предметные рубрики: Философия-- Логика
Ключевые слова (''Своб.индексиров.''): бинарные отношения--булевы функции--логические операции--семантическое пространство--логическая зависимость
Найти похожие
|
2.
|
Вид документа : Однотомное издание
Шифр издания : 743510
16(075)/В 72
Автор(ы) : Вольфенгаген, Вячеслав Эрнстович
Заглавие : Логика. Конспект лекций: Техника рассуждений
: учебное пособие
. -2-е изд., доп. и перераб.
Выходные данные : Москва: Центр ЮрИнфоР [изд.], 2004
Колич.характеристики :227, [7] с
Серия: Библиотека "ЮрИнфоР"
Примечания : Библиогр.: с. 213-215 (48 назв.)
ISBN (в пер.), Цена 5-89158-135-3: 102.00 р.
УДК : 16(075.8)
Предметные рубрики: логика-- логика
Ключевые слова (''Своб.индексиров.''): логика--семантический анализ--отношения--рассуждения--аргументация--логические операции
Найти похожие
|
3.
|
Вид документа : Однотомное издание
Шифр издания : 681.3(075)/С 12
Автор(ы) : Савельев А. Я.
Заглавие : Арифметические и логические основы цифровых автоматов
: учебник
Выходные данные : М.: Высшая школа, 1980
Колич.характеристики :255 с.:
ил.; 20см
Цена : 0.90 р.
ГРНТИ : 50.01.11.01.33
УДК : 681.3(075)
ББК : 32.97
Предметные рубрики: Вычислительная техника-- Электронные вычислительные машины
Ключевые слова (''Своб.индексиров.''): вычислительная техника--проектирование эвм--цифровые автоматы--арифметические операции--логические операции
Аннотация: В книге рассмотрены основные вопросы теории ЭВМ, широко используемые при проектировании ЭВМ: разработка машинных алгоритмов выполнения арифметических и логических операций, методы логического анализа и синтеза электронных схем ЭВМ; изложены требования к курсовой работе по данной дисциплине; дан пример типового задания на курсовую работу. Теоретический материал иллюстрируется примерами. Для студентов.
Найти похожие
|
4.
|
Вид документа : Монографическая серия
Шифр издания : 621.382/А 47
Автор(ы) : Алексенко А. Г.
Заглавие : Современная микросхемотехника
Выходные данные : М.: Энергия, 1979
Колич.характеристики :112 с.:
ил.; 20см
Серия: Массовая радиоб-ка; Вып.994
Цена : 0.50 р.
ГРНТИ : 47.03.05
УДК : 621.382.181.48
ББК : 32.844
Предметные рубрики: Электроника-- Микроэлектроника-- Микросхемотехника
Ключевые слова (''Своб.индексиров.''): операционный усилитель--логические операции--логическое проектирование--аналоговый компаратор--реальный компаратор--микроэлектроника--электроника--микросхемотехника
Аннотация: В книге излагаются основы микроэлектроники микросхемотехники. Она поможет приобрести начальные навыки схемотехнического проектирования и применения интегральных микросхем.
Найти похожие
|
5.
|
Вид документа : Однотомное издание
Шифр издания : 517(075)/Н 64
Автор(ы) : Никольская И. Л.
Заглавие : Математическая логика
: учеб.
Выходные данные : М.: Высшая школа, 1981
Колич.характеристики :127 с.:
ил.; 20 см
Цена : 0.25 р.
ГРНТИ : 27.03.19.01.33
УДК : 51(075.32)
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): математика--математическая логика--логические операции--логическая равносильность--логическое следование--нормальные формы
Аннотация: Книга предназначена для учащихся техникумов по специальности 1750 "Прикладная математика" и содержит теоретический материал, соответствующий программе курса "Математическая логика", а также упражнения для активного усвоения курса и приобретения необходимых навыков. Изложение базируется на знаниях по математике, полученных учащимися в восьмилетней школе, и на усвоенных ими языковых нормах.
Найти похожие
|
6.
|
Вид документа : Однотомное издание
Шифр издания : 681.3(075)/В 78
Автор(ы) : Вострикова З. П.
Заглавие : Программирование на языке ассемблера ЕС ЭВМ
: учеб. пособие для вузов
Выходные данные : М.: Наука, 1981
Колич.характеристики :304 с.:
ил.; 20см
Цена : 0.80 р.
ГРНТИ : 50.05.09.01.33
УДК : 681.3.06:518.5(075.8)
ББК : 22.18
Предметные рубрики: Вычислительная техника-- Языки программирования
Ключевые слова (''Своб.индексиров.''): программирование--язык ассемблер--команда ес эвм--логические операции--методы программирования
Аннотация: Книга предназначена для изучения основ программирования на языке ассемблера для ЕС ЭВМ. Основное внимание уделено изучению команд и методов программирования на машинно-ориентированном языке. Даны сведения об операторах ассемблера, процессе трансляции, макросредствах и элементах программного обеспечения. Пособие рекомендовано для студентов вузов, аспирантов, научных работников и программистов.
Найти похожие
|
7.
|
Вид документа : Однотомное издание
Шифр издания : 681.3/К 60
Автор(ы) : Колдербэнк В.
Заглавие : Программирование на Фортране
: Фортран 66 и Фортран 77
Выходные данные : М.: Радио и связь, 1986
Колич.характеристики :176 с.:
ил.; 21 см
Цена : 0.70 р.
ГРНТИ : 50.05.09
УДК : 681.3.06:519.6
Предметные рубрики: Вычислительная техника-- Языки программирования
Ключевые слова (''Своб.индексиров.''): структура программы--язык fortran--команды управления--логический тип--типовые сои--логические операции--индексные структуры
Аннотация: В книге английского автора дано полное описание языка Фортран на основе стандартов ANSI 66 и ANSI 77, специально выделены отличия Фортрана 77 от Фортрана 66. Приведено большое число примеров и задач с решениями. Материал книги полезен при переводе программ с Фортрана 66 на Фортран 77, а также при разработке мобильного программного обеспечения.
Найти похожие
|
8.
|
Вид документа : Однотомное издание
Шифр издания : 681.3/Н 50
Автор(ы) : Немнюгин С., Перколаб Л.
Заглавие : Изучаем Turbo Pascal
: научное издание
Выходные данные : М.; СПб.: Питер, 2002
Колич.характеристики :320 с.:
ил.; 21 см
Серия: Компас
ISBN, Цена 5-272-00201-6: 100.00 р.
ГРНТИ : 50.05.09
УДК : 681.3.06:519.6
ББК : 32.973.26-018.1
Предметные рубрики: Вычислительная техника-- Языки программирования
Ключевые слова (''Своб.индексиров.''): вычислительная техника--языки программирования--язык pascal--язык turbo pascal--турбо паскаль--программирование--логические операции--условные операторы--графика--массивы--файлы
Аннотация: В книге рассказываетсяы об основах программирования на Турбо Паскале.
Найти похожие
|
9.
|
Вид документа : Однотомное издание
Шифр издания : 681.3/С 34
Автор(ы) : Сибеста Р.
Заглавие : Структурное программирование на языке ассемблера ЭВМ VAX-11
Выходные данные : М.: Мир, 1988
Колич.характеристики :536 с.:
ил.; 21 см
Примечания : Предм. указ.: с. 529-530. - Прил.: с. 457-528
Цена : 2.40 р.; 25.00 р.
ГРНТИ : 50.05.09
УДК : 681.3.06:519.6
ББК : 32.973-01
Предметные рубрики: Вычислительная техника-- Языки программирования
Ключевые слова (''Своб.индексиров.''): языки программирования--макрокоманды--логические операции--система vax--подпрограммы--символьные данные--косвенная адресация--кодирование символов--ассемблер (язык программирования)--машинные команды
Аннотация: В книге излагаются основы программирования на языке ассемблера ЭВМ VAX-11, которая отличается от PDP-11 более развитой архитектурой, возможностью обработки 32- и 64-разрядных слов, виртуальной памятью до 4 Гбайт и высоким быстродействием.
Найти похожие
|
10.
|
Вид документа : Однотомное издание
Шифр издания : 87.4
Автор(ы) : Сидоренко, Олег Иванович
Заглавие : Секреты логической зависимости
Выходные данные : Саратов: Издательство Саратовского национального государственного университета имени Н. Г. Чернышевского, 2001
Колич.характеристики :56 с.:
ил.
Примечания : Библиогр.: с. 55
ISBN, Цена 5-292-02564-Х: 5.00 р.
ББК : 87.4
Предметные рубрики: Логика-- Общие вопросы логики
Ключевые слова (''Своб.индексиров.''): бинарные отношения--булевы функции--булевы функции--логическая зависимость--логические операции--ограниченное пространство--ограниченное симантическое пространство
Аннотация: Книга посвящена проблеме построения конечно-элементных моделей оболочек малой и средней толщины.
Найти похожие
|
11.
|
Вид документа : Однотомное издание
Шифр издания : 004(075)/Н 50
Автор(ы) : Немнюгин С. , Перколаб Л.
Заглавие : Изучаем Turbo Pascal
: учебник
Выходные данные : СПб. [и др.]: Питер, 2008
Колич.характеристики :320 с.:
ил.; 20 см
Серия: КомпАс
ISBN, Цена 978-5-272-00201-3: 75.70 р.
ГРНТИ : 50.05.09.01.33
УДК : 004.43(075)
ББК : 32.973.26-018.1
Предметные рубрики: Вычислительная техника-- Языки программирования
Ключевые слова (''Своб.индексиров.''): турбо паскаль--переменные--преобразование типов--операторы--логические операции--логический тип--циклы--массивы--двумерные массивы--программы--модули--типы переменных--запись--множества--файлы--текстовые файлы--работа с графикой--вывод текста
Аннотация: В книге, адресованной прежде всего школьникам, рассказывается об основах программирования на Турбо Паскале. Основные конструкции языка излагаются так, чтобы его мог освоить каждый без посторонней помощи. В книге имеется много примеров и готовых к выполнению интересных программ. Последовательность изложения материалов такова/ что читатель может сразу приступить к самостоятельной работе на компьютере, программируя и решая конкретные задачи.
Найти похожие
|
12.
|
Вид документа : Однотомное издание
Шифр издания : 62-50/М 54
Заглавие : Методы контроля и диагноза сложных систем и автоматов
: сборник
Выходные данные : К.: Ин-т кибернетики, 1972
Колич.характеристики :49 с.:
ил.; 20 см
Коллективы :
Ин-т кибернетики (Киев), Акад. наук Укр. ССР (Киев)
Цена : 0.14 р.
ГРНТИ : 50.43
УДК : 62-50
Предметные рубрики: Автоматика-- Сложные системы
Ключевые слова (''Своб.индексиров.''): диагностика неисправностей--арифметические устройства--вычислительные машины--диагностические системы--арифметические операции--логические операции--идентификация автоматов
Аннотация: В сборнике рассказывается о диагностике неисправностей в арифметических устройствах цифровых вычислительных машин.
Найти похожие
|
13.
|
Вид документа : Однотомное издание
Шифр издания : 681.3(076)/С 23
Заглавие : Сборник задач по вычислительным машинам и программированию
: учеб. пособие
Выходные данные : М.: Статистика, 1975
Колич.характеристики :273 с.:
ил., рис., табл.; 21 см
Примечания : Гриф: допущено М-вом высш. и сред. спец. образования СССР в качестве учеб. пособия для студ. вузов, обуч. по спец. "Организация механизир. обработки экон. информации"
Цена : 0.73 р.
ГРНТИ : 50.33.01.33
УДК : 681.3(076)
Предметные рубрики: Вычислительная техника-- Электронные вычислительные машины
Ключевые слова (''Своб.индексиров.''): цифровые вычислительные машины--арифметические операции--логические операции--арифметические устройства--запоминающие устройства--перфорационные машины--блок дешифрации--блок счетчика
Аннотация: В сборнике, в начале каждой главы, предлагаются методические указания, где даются краткая технико-эксплуатационная характеристика машин, а также пояснения и примеры, необходимые для решения задач данной главы.
Найти похожие
|
14.
|
Вид документа : Однотомное издание
Шифр издания : 62-50/К 28
Автор(ы) : Касаткин В. Н.
Заглавие : Азбука кибернетики
: научно-популярная литература
Выходные данные : М.: Изд-во "Молодая гвардия", 1968
Колич.характеристики :160 с.:
ил., рис.; 14 см
Цена : 0.13 р.
УДК : 62-50
Ключевые слова (''Своб.индексиров.''): кибернетика--логические операции--задачи алгебры--логика и автоматы--задачи для умелых
Найти похожие
|
15.
|
Вид документа : Однотомное издание
Шифр издания : 621-52/З-56
Автор(ы) : Зенченко В. П., Крейнин Г. В.
Заглавие : Воздух управляет автоматами (пневматические системы машин-автоматов)
: научное издание
Выходные данные : М.: Изд-во "Академия наук СССР", 1963
Колич.характеристики :109 с.:
ил.; 21 см
Коллективы :
Акад. наук СССР
Серия: Научно-популярная серия
Цена : 0.16 р.
УДК : 621-52
Ключевые слова (''Своб.индексиров.''): пневматические приводы--логические машины--математическая логика--логические операции--гидроцилиндры
Найти похожие
|
16.
|
Вид документа : Однотомное издание
Шифр издания : 62-50/С 50
Автор(ы) : Смирнов И. Н.
Заглавие : Синтез систем управления на логических элементах
: научное издание
Выходные данные : Л.: Изд-во Ленингр. ун-та, 1975
Колич.характеристики :78 с.:
ил.; 21 см
Примечания : Библиогр.: с. 76
Цена : 0.46 р.
ГРНТИ : 50.43
УДК : 62-501
Предметные рубрики: Автоматика-- Системы автоматического управления
Ключевые слова (''Своб.индексиров.''): логический синтез--дискретное действие--схемы управления--логические операции--многотактные системы управления
Аннотация: Посвящена методам логического синтеза систем управления на элементах дискретного действия. Рассматриваются методы, основанные на использовании таблиц состояний и карт Карно.
Найти похожие
|
17.
|
Вид документа : Однотомное издание
Шифр издания : 621.39/С 89
Автор(ы) : Субье-Ками А.
Заглавие : Двоичная техника и обработка информации
: научное издание
Выходные данные : М.: Изд-во "Мир", 1964
Колич.характеристики :500 с.:
ил.; 21 см
Примечания : Библиогр.: с. 481-483
Цена : 2.10 р.
УДК : 621.39
Ключевые слова (''Своб.индексиров.''): логические операции--обработка информации--переключательные функции--дешифраторы--двоичные функции--арифметические операции--вычислительные машины
Найти похожие
|
18.
|
Вид документа : Однотомное издание
Шифр издания : 681.42/Ш 67
Автор(ы) : Шкут Н. В.
Заглавие : Автоматизация программирования для вычислительной машины "Минск-2(22)"
: научное издание
Выходные данные : Минск: Наука и техника, 1967
Колич.характеристики :69 с.:
табл.; 20 см
Цена : 0.20 р.
УДК : 681.142.2-52
Ключевые слова (''Своб.индексиров.''): входной язык--вычислительные машины--логические операции--программирование--язык вычислительной машины
Аннотация: В книге излагается система автоматизации программирования на основе алгоритмического языка АЛГОЛ-60 для вычислительной машины "Минск-2(22)". Дается описание входного языка, транслятора с входного на язык вычислительной машины "Минск-2(22)" и алгоритмов трансляции.
Найти похожие
|
19.
|
Вид документа : Однотомное издание
Шифр издания : 16(075)/Л 69
Автор(ы) : Кириллов В. И., Зыков П. Г., Старченко А. А., Чураков Ю. Д.
Заглавие : Логика
: учебник
Выходные данные : М.: Изд-во "Высшая школа", 1964
Колич.характеристики :207 с.:
ил.; 22 см
Примечания : Гриф: допущено М-вом высш. и сред. спец. образования РСФСР в качестве учебника для студ.-заоч. юрид. ин-тов и фак.
Цена : 0.65 р.
ГРНТИ : 02.21.01.33
УДК : 16(075)
Предметные рубрики: Философия-- Логика
Ключевые слова (''Своб.индексиров.''): мышление--понятия--логические операции--суждение--формально-логические законы--умозаключение--индуктивные умозаключения--доказательство--опровержение
Аннотация: В учебнике учтены особенности преподавания курса логики в юридических высших учебных заведениях. Использован материал из области правовых наук, показано значение логики, ее законов, приемов и операций в практической работе юриста, отражены актуальные проблемы логики.
Найти похожие
|
20.
|
Вид документа : Однотомное издание
Шифр издания : 510/Т 33
Заглавие : Теория логического вывода
: научное издание
Выходные данные : М.: Наука, 1973
Колич.характеристики :272 с.:
граф., рис., табл.; 20 см
Коллективы :
Ин-т философии (Москва), Акад. наук СССР
Примечания : Библиогр.: с. 270
Цена : 0.76 р.
ГРНТИ : 27.03
УДК : 510.6
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): логическое следование--теория кванторов--логика классов--модальная логика--парадокс зенона--логические операции
Аннотация: Даны проблемы теории логического следования, в которых анализируются роль и место этой теории в логике, философии и методологии науки, рассматриваются проблемы общей теории дедукции, теории кванторов, логики классов, модальной логики, логики пространственно-временных отношений.
Найти похожие
|
|
|
|
Электронный каталог
Стандартный (по одному полю)