| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска
Электронный каталог
ЭБС "ЛАНЬ"
ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")
ЭБС "ЮРАЙТ"
ЭБС "АЙБУКС"
ЭБС "РУКОНТ"
ЭБС "IPRBOOKS"
ЭБС "BOOK.ru"
Электронная библиотека
Известные деятели культуры в Саратовской губернии
Работы В. А. Артисевич и литература о ней
Издания вузовских библиотек Среднего и Нижнего Поволжья
Публикации учёных СГУ
Краеведческий обзор
Поступления журналов в ЗНБ СГУ
БД коллекций в фонде ЗНБ СГУ
БД выпускных квалификационных работ
Сводный каталог библиотек (СГУ, СГТУ, ЦБС)
Область поиска
в найденном
В текущей базе данных найдено документов :55
 В других БД по вашему запросу найдено:Электронный каталог (28)ЭБС "ЛАНЬ" (4)Публикации учёных СГУ (1)
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=алгебра логики<.>)
Общее количество найденных документов : 55
Показаны документы с 1 по 20
 1-20    21-40   41-55 
1.

Вид документа : Однотомное издание
Шифр издания : 510(07)/М 92
Автор(ы) : Муха Ю. П., Авдеюк О. А.
Заглавие : Математическая логика и теория алгоритмов : учеб. пособие
Выходные данные : Волгоград: РПК "Политехник", 2005
Колич.характеристики :92 с.: табл.; 20 см
Коллективы : Волгоградский гос. техн. ун-т
Примечания : Библиогр.: с. 92 (10 назв.)
ISBN, Цена 5-230-04465-5: 80.00 р.
ГРНТИ : 27.03.01.33
УДК : 510.6+510.5(07)
ББК : 22.1
Предметные рубрики: Математика-- Математическая логика
Математика-- Теория алгоритмов
Ключевые слова (''Своб.индексиров.''): математика--математическая логика--теория алгоритмов--логика высказываний--логика предикатов--алгебра логики
Аннотация: Излагаются основные положения математической логики и теории алгоритмов. Особое внимание уделяется алгебре логики, методам минимизации переключательных функций, синтезу и анализу логических схем.
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 51(075)/Ш 24
Автор(ы) : Шапорев С. Д.
Заглавие : Математическая логика : курс лекций и практ. занятий: учеб пособие
Выходные данные : СПб.: БХВ-Петербург, 2005
Колич.характеристики :416 с.: ил.; 24 см
Примечания : Библиогр.: с. 405 (26 назв.). - Гриф: допущено научно-метод. советом по математике вузов Северо-Запада в качестве учеб. пособия для студ. вузов, обуч. по спец. 220200 "Автоматизир. системы обработки информации и управления", 071900 "Информационные системы в технике и технологиях"
ISBN, Цена 5-94157-702-8: 153.51 р.
ГРНТИ : 27.03.01.33
УДК : 510.6(075.8)
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): математика--математическая логика--алгебра логики--логика предикатов--теория алгоритмов
Аннотация: Рассматриваются алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов.
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 51(07)/Л 65
Автор(ы) : Лихтарников Л. М., Сукачева Т. Г.
Заглавие : Математическая логика. Курс лекций. Задачник-практикум и решения : учеб. пособие . -3-е изд., испр.
Выходные данные : СПб.; М.; Краснодар: Лань, 2008
Колич.характеристики :288 с. ; 21 см
Серия: Учебники для вузов. Специальная литература
Примечания : Библиогр.: с. 273 (12 назв.)
ISBN, Цена 978-5-8114-0082-9: 304.48 р.
ГРНТИ : 27.01.01.33
УДК : 510.6(07)
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): математика--математическая логика--алгебра логики--исчисление высказываний--логика предикатов--математические теории--алгоритмы--задачник
Аннотация: Учебное пособие предназначено дли студентов университетов и педагогических институтов, изучающих курс математической логики. Включает в себя разделы: Алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы.
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 004(075)/Н 30
Автор(ы) : Нарышкин А. К.
Заглавие : Цифровые устройства и микропроцессоры : учеб. пособие . -2-е изд., стер.
Выходные данные : М.: ИЦ "Академия", 2008
Колич.характеристики :320 с.: рис.; 22 см.
Серия: Высшее профессиональное образование
Примечания : Библиогр.: с. 312-314 (48 назв.) . - Гриф: рек. Учеб. управлением Моск. энергет. ин-та (Техн. ун-та) в качестве учеб. пособия для студ. вузов радиотехн. спец.
ISBN, Цена 978-5-7695-4917-5: 298.10 р.
ГРНТИ : 50.09.01.33
УДК : 004.318(075.8)
ББК : 32.973.26-04
Предметные рубрики: Вычислительная техника-- Архитектура вычислительных машин
Вычислительная техника-- Микропроцессоры
Ключевые слова (''Своб.индексиров.''): алгебра логики--комбинационные цифровые устройства--цифровые устройства--микроконтроллеры
Аннотация: Рассматриваются основы алгебры логики, теории переключательных функций, теории асинхронных потенциальных и синхронных автоматов, синтез цифровых узлов (триггеров, счетчиков, сдвигающих регистров, мультиплексоров, демультиплексоров, сумматоров), применение интегральных схем для проектирования цифровых устройств, а также архитектура, система команд, шинные приемопередатчики, проектирование микроконтроллеров на микропроцессорах, разработка программного обеспечения. Наряду с известными приводятся разработанные автором в последние годы новые методики анализа и синтеза цифровых устройств.
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : 621.382(075)/Б 77
Автор(ы) : Бойт К.
Заглавие : Цифровая электроника : учебник
Выходные данные : М.: Техносфера, 2007
Колич.характеристики :472 с. ; 24 см
Серия: Мир электроники
ISBN, Цена 978-5-94836-124-6: 420.00 р.
ГРНТИ : 47.33.01.33
УДК : 621.382(075)
ББК : 32.85
Предметные рубрики: Электроника-- Цифровая электроника
Ключевые слова (''Своб.индексиров.''): логические элементы--анализ схем--алгебра логики--синтез схем--бинарные схемы--двоичные коды--системы счисления--преобразователи кодов--счетчики--цифровые схемы--регистры--запоминающие устройства--аналого-цифровой преобразователь--цифроаналоговый преобразователь--счетные схемы--микропроцессоры--микрокомпьютеры
Аннотация: В книге шаг за шагом раскрывается мир цифровой электроники, её взаимосвязь с другими областями техники. Материал изложен последовательно и понятно, начиная с основ. Контрольные тесты с вопросами и задачами в конце каждой главы позволяют проверить понимание пройденного материала, в конце учебника приведены решения.
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : 510/Н 16
Автор(ы) : Наголкин А. Н.
Заглавие : Алгебра логики в золотом сечении : еще один шаг в область нечетких логик и компьютерного интеллекта
Выходные данные : М.: МАКС Пресс, 2006
Колич.характеристики :184 с.: ил.; 22 см
Примечания : Библиогр.: с. 180-181 (26 назв.)
ISBN, Цена 5-317-01731-9: 180.00 р.
ГРНТИ : 27.03
УДК : 510.6
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): математика--математическая логика--алгебра логики--переменная--логические векторы--золотое сечение
Аннотация: В книге предложена оригинальная базовая основа алгебры логики, состоящая из двух корневых функций - обобщения и отрицания переменных. Значения логических векторов зависят от порядка расположения в них переменных. Порядок расположения переменных в логических векторах определяется временем возникновения переменных или присваиваемым им приоритетам.
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : 004(075)/Н 30
Автор(ы) : Нарышкин А. К.
Заглавие : Цифровые устройства и микропроцессоры : учеб. пособие
Выходные данные : М.: ИЦ "Академия", 2006
Колич.характеристики :320 с.: ил.; 22 см
Серия: Высшее профессиональное образование
Примечания : Гриф : рек. Учеб. управлением Моск. энергет. ин-та (техн. ун-та) в качестве учеб. пособия для студ. вузов радиотехн. спец.
ISBN, Цена 5-7695-1618-6: 272.57 р.
ГРНТИ : 50.09.33.01.33
УДК : 004.318(075.8)
ББК : 32.973.26-04
Предметные рубрики: Вычислительная техника-- Архитектура вычислительных машин
Вычислительная техника-- Микропроцессоры
Ключевые слова (''Своб.индексиров.''): вычислительная техника--цифровые устройства--микропроцессоры--алгебра логики--цифровые узлы--микроконтроллеры
Аннотация: Рассматриваются основы алгебры логики, теории переключательных функций, синтез цифровых узлов, применение интегральных схем для проектирования цифровых устройств, проектирование микроконтроллеров на микропроцессорах.
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : 519(075)/С 89
Автор(ы) : Судоплатов С. В., Овчинникова Е. В.
Заглавие : Дискретная математика : учебник . -2-е изд., перераб.
Выходные данные : М.: ИНФРА-М; Новосибирск: НГТУ, 2007
Колич.характеристики :256 с.: ил.; 22 см
Серия: Высшее образование
Примечания : Библиогр.: с. 211-213. - Гриф : рек. М-вом образования РФ в качестве учебника для студ. вузов, обучающихся по техн. спец.
ISBN, Цена 5-16-002299-6: 180.00 р.
ISBN, Цена 5-7782-0466-3: Б.ц.
ГРНТИ : 27.41.41.01.33
УДК : 519.1(075.8)
ББК : 22.176
Предметные рубрики: Математика-- Дискретная математика
Ключевые слова (''Своб.индексиров.''): математика--дискретная математика--теория множеств--алгебраические системы--компьютерная алгебра--теория графов--комбинаторика--алгебра логики
Аннотация: Излагаются основы теории множеств, алгебраических систем, компьютерной алгебры, теории графов, комбинаторики, алгебры логики, которые образуют курс дискретной математики.
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : 519(075)/Я 14
Автор(ы) : Яблонский С. В.
Заглавие : Введение в дискретную математику : учеб. пособие . -4-е изд., стер.
Выходные данные : М.: Высшая школа, 2006
Колич.характеристики :392 с.: ил.; 22 см
Коллективы : Московский гос. ун-т им. М. В. Ломоносова
Серия: Классический университетский учебник
Примечания : Библиогр.: с. 370-372 (50 назв.). - Гриф: допущено М-вом образования и науки РФ в качестве учеб. пособия для студ. вузов, обучающихся по спец. "Прикладная математика"
ISBN, Цена 5-06-005683-Х: 409.77 р.
ГРНТИ : 27.41.41.01.33
УДК : 519.1(075.8)
ББК : 22.18
Предметные рубрики: Математика-- Дискретная математика
Ключевые слова (''Своб.индексиров.''): математика--дискретная математика--прикладная математика--математическая кибернетика--вычислительная математика--логика--алгебра логики--комбинаторный анализ--графы--сети--теория кодирования
Найти похожие
10.

Вид документа : Однотомное издание
Шифр издания : 22.176я73/Я 14
Автор(ы) : Яблонский, Сергей Всеволодович
Заглавие : Введение в дискретную математику : учеб. пособие для вузов . -4-е изд., стер.
Выходные данные : Москва: Высшая школа, 2006
Колич.характеристики :392 с
Коллективы : Московский государственный университет им. М. В. Ломоносова
Серия: Классический университетский учебник
Примечания : Библиогр.: с. 370 - 372. - Предм. указ.: с. 373 - 380. - Указ.: с. 381 - 384
ISBN, Цена 5-06-005683-X: 346.90 р.
ББК : 22.176я73 + 22.18я73
Предметные рубрики: Математика-- Комбинаторный анализ-- Математическая кибернетика
Ключевые слова (''Своб.индексиров.''): алгебра логики--вычислимые функции--графы--дизъюктивные нормальные формы--дискретная математика--кибернетика--комбинаторный анализ--нормальные формы--сети--синтез схем--теория кодирования--учебники для вузов--учебные пособия для вузов--функциональные системы
Аннотация: На базе гипотезы электромагнитной Вселенной рассмотрены новые научные направления в космической электромеханике - гелио- и геоэлектромеханика. Приведены уравнения многомерных многофазных электромеханических преобразователей, с помощью которых можно определить динамические энергетические показатели и статистические характеристики для любых космических электрических машин.
Найти похожие
11.

Вид документа : Однотомное издание
Шифр издания : 51/Ш 65
Автор(ы) : Шиханович Ю. А.
Заглавие : Введение в современную математику : начальные понятия
Выходные данные : М.: Наука, 1965
Колич.характеристики :376 с.: ил.; 20 см
Примечания : Библиогр.: с. 367-368 (22 назв.)
Цена : 1.00 р.
ГРНТИ : 27.01
УДК : 51
Предметные рубрики: Математика
Ключевые слова (''Своб.индексиров.''): множество--кортеж--алгебра логики--логические союзы--функция
Аннотация: В книге излагаются такие понятия, как "множество", "кортеж", "соответствие", "функция", "отношение". Наряду с ними в книге излагаются и элементы математического языка: разбираются понятия переменной, операции над высказываниями и т. д.
Найти похожие
12.

Вид документа : Однотомное издание
Шифр издания : 517/Е 92
Автор(ы) : Ефремов Г. О.
Заглавие : Алгебра логики и контактные схемы
Выходные данные : М.: Изд-во "Знание", 1969
Колич.характеристики :32 с.: ил., табл.; 21 см
Серия: Новое в жизни, науке, технике. Математика, кибернетика; Вып. 6
Примечания : Библиогр.: с. 32
Цена : 0.06 р.
УДК : 510.6+62-507
Ключевые слова (''Своб.индексиров.''): алгебра--методы минимизации--контактные схемы--алгебра логики--матрица карно
Найти похожие
13.

Вид документа : Однотомное издание
Шифр издания : 519(075)/П 58
Автор(ы) : Попов А. М., Сотников В. Н.
Заглавие : Теория вероятностей и математическая статистика : высшая математика для экономистов : учебник для бакалавров
Выходные данные : М.: Юрайт, 2011
Колич.характеристики :440 с. ; 21 см
Серия: Бакалавр
Примечания : Гриф: рек. Умц "Профессиональный учебник" в качестве учебника для студ. вузов, обуч. по спец. экономики и упр.
ISBN, Цена 978-5-9916-1290-6: 396.00 р.
ГРНТИ : 27.43.01.33
УДК : 519.21+519.22(075.8)
ББК : 22.17
Предметные рубрики: Математика-- Теория вероятностей-- Математическая статистика
Ключевые слова (''Своб.индексиров.''): случайные события--случайные величины--случайные процессы--корреляция--регрессия--выборка--дискретная математика--алгебра логики--теория графов--сетевое планирование--теория нечетких множеств
Аннотация: Данный учебник является частью обучающего комплекса, в который также входят книги А. М. Попова и В. Н. Сотникова "Высшая математика для экономистов" и "Экономико-математические методы и модели". Учебник подготовлен в соответствии с Государственным образовательным стандартом высшего профессионального образования по дисциплине "Математика". В нем изложены основные разделы теории вероятностей и математической статистики в соответствии с дидактическими блоками Госстандарта.
Найти похожие
14.

Вид документа : Однотомное издание
Шифр издания : 519(075)/Я 14
Автор(ы) : Яблонский С. В.
Заглавие : Введение в дискретную математику : учеб. пособие
Выходные данные : М.: Наука, 1979
Колич.характеристики :272 с.: ил.; 22 см
Примечания : Библиогр.: с. 266-267 (32 назв.). - Гриф: допущено М-вом высш. и сред. спец. образования СССР в качестве учеб. пособия для студ. вузов, обучающихся по спец. "Прикладная математика"
Цена : 0.85 р.
ГРНТИ : 27.41.41.01.33
УДК : 519.4(075)
Предметные рубрики: Математика-- Дискретная математика
Ключевые слова (''Своб.индексиров.''): алгебра логики--теория кодирования--сети--вычисляемые функции--машинные коды
Аннотация: Книга является введением в дискретную математику - раздел прикладной математики, бурно развивающийся в последние годы и являющийся базой для математической кибернетики. Она написана на основе курса лекций.
Найти похожие
15.

Вид документа : Однотомное издание
Шифр издания : 62-50/Ч-65
Автор(ы) : Чирков М. К.
Заглавие : Основы общей теории конечных автоматов : научное издание
Выходные данные : Л.: Изд-во Ленингр. ун-та, 1975
Колич.характеристики :280 с.: ил.; 21 см
Коллективы : Ленинградский гос. ун-т
Примечания : Библиогр.: с. 271-272
Цена : 1.64 р.
ГРНТИ : 50.03
УДК : 62-50
Предметные рубрики: Автоматика-- Теория автоматического управления
Ключевые слова (''Своб.индексиров.''): алгебра логики--структурный анализ--синтез автоматов--конечные автоматы--детерминированные автоматы--элементарные функции
Аннотация: Содержание книги охватывает вопросы абстрактной и структурной теории вполне определенных и не полностью определенных (частичных) вероятностных конечных автоматов и их частного случая - детерминированных конечных автоматов.
Найти похожие
16.

Вид документа : Однотомное издание
Шифр издания : 62-50/П 62
Автор(ы) : Поспелов Д. А.
Заглавие : Логические методы анализа и синтеза схем : научное издание . -2-е изд., перераб. и доп.
Выходные данные : Л.: Энергия, 1968
Колич.характеристики :328 с.: черт.
Примечания : Библиогр.: с. 324-328
Цена : 0.96 р.
ГРНТИ : 50.03
УДК : 62-504.5+681.142.1.01
Предметные рубрики: Автоматика-- Теория автоматического управления
Ключевые слова (''Своб.индексиров.''): алгебра логики--элементарные функции--логические сети--теорема анализа--синтез логических схем--булевы функции--анализ схем--рекуррентные булевы функции--многозначная логика--трехзначная логика
Найти похожие
17.

Вид документа : Однотомное издание
Шифр издания : 681/К 43
Автор(ы) : Кирий В. Г.
Заглавие : Логико-вероятностные методы и средства идентификации и прогнозирования бинарных систем
Выходные данные : Иркутск: Изд-во Иркут. ун-та, 1987
Колич.характеристики :112 с.: граф., рис.; 20 см
Примечания : Библиогр.: с. 107-110 (47 назв.)
Цена : 0.65 р.
ГРНТИ : 50.09
УДК : 681.51.01:510.6
Предметные рубрики: Автоматика-- Устройства автоматики
Ключевые слова (''Своб.индексиров.''): алгебра событий--теория вероятностей--алгебра логики--вероятностная логика--стохастическое представление событий--дискретные системы
Аннотация: В монографии излагаются логико-вероятностные методы построения моделей бинарных стохастических объектов, даются алгоритмы прогнозирования двоичных случайных последовательностей и марковских цепей с оценкой точности прогноза.
Найти похожие
18.

Вид документа : Однотомное издание
Шифр издания : 621-52/Х 45
Автор(ы) : Хилтон А. М.
Заглавие : Логика и цепи переключения : научное издание
Выходные данные : М.; Л.: Госэнергоиздат, 1962
Колич.характеристики :88 с.: ил.; 20 см
Серия: Б-ка по автоматике; вып. 55
Примечания : Библиогр.: с. 77-80
Цена : 0.44 р.
УДК : 621-52
Ключевые слова (''Своб.индексиров.''): вычислительные машины--развитие логики--символическая логика--алгебра логики--классы множеств
Найти похожие
19.

Вид документа : Однотомное издание
Шифр издания : 62-50/К 26
Автор(ы) : Карповский М. Г., Москалев Э. С.
Заглавие : Спектральные методы анализа и синтеза дискретных устройств : научное издание
Выходные данные : Л.: Энергия, 1973
Колич.характеристики :144 с.: ил., рис., табл.; 20 см
Серия: Б-ка по автоматике; вып. 507
Примечания : Библиогр.: с. 136-140
Цена : 0.40 р.
ГРНТИ : 50.09
УДК : 62-501
Предметные рубрики: Автоматика-- Устройства автоматики
Ключевые слова (''Своб.индексиров.''): спектральные преобразования--алгебра логики--ортогональные функции--спектральные методы--булевые функции--линеаризация систем--многозначные элементы--дискретные устройства
Аннотация: Посвящена методам анализа и синтеза дискретных устройств с помощью аппарата теории ортогональных рядов. Развивается единый, во многом аналогичный используемому в теории систем автоматического регулирования, подход к задачам проектирования дискретных устройств как с двумя, так и со многими устойчивыми состояниями.
Найти похожие
20.

Вид документа : Однотомное издание
Шифр издания : 519/К 89
Автор(ы) : Кузнецов О. П.
Заглавие : Дискретная математика для инженера . -2-е изд., перераб. и доп.
Выходные данные : М.: Энергоатомиздат, 1988
Колич.характеристики :480 с.: ил.; 21см
ISBN, Цена 5-283-01563-7: 1.80 р.
ГРНТИ : 27.41.41
УДК : 519.1
ББК : 32.815
Предметные рубрики: Математика-- Дискретная математика
Ключевые слова (''Своб.индексиров.''): функции--булевы алгебры--теория алгоритмов--предикаты--математика--алгебра--комбинаторный анализ--линейное программирование--комбинаторика--теория автоматов--теория графов--дискретная математика--теория множеств--алгебра логики
Аннотация: В книге излагаются основные понятия теории множеств, общей алгебры, алгебры логики, комбинаторики и теории графов, составляющих аппарат дискретной математики. По сравнению с изданием 1980 г. переработана глава по сложности вычислений, добавлен раздел о раскраске графов, включены новые главы по теории формальных языков и линейному программированию.
Найти похожие
 1-20    21-40   41-55 
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)