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

Базы данных


ЭБС "ЛАНЬ" - результаты поиска

Виды поиска

Область поиска
В текущей базе данных найдено документов :7
 В других БД по вашему запросу найдено:Электронный каталог (387)ЭБС "ЮРАЙТ" (1)Электронная библиотека (1)Публикации учёных СГУ (4)БД коллекций в фонде ЗНБ СГУ (16)Сводный каталог библиотек (СГУ, СГТУ, ЦБС) (653)
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=логика<.>)
Общее количество найденных документов : 7
Показаны документы с 1 по 7
1.

Вид документа : Однотомное издание
Шифр издания : RU-LAN-BOOK-177
Автор(ы) : Каргаполов М. И., Мерзляков Ю. И.
Заглавие : Основы теории групп : учебное пособие . -5-е изд.,стер.
Выходные данные : Санкт-Петербург: Лань, 2009
Колич.характеристики :288 с
Примечания : Книга из коллекции Лань - Математика
ISBN, Цена 978-5-8114-0894-8: Б.ц.
УДК : 512.8
ББК : 22.144я73
Предметные рубрики: Математика-- Высшая алгебра и теория групп
Ключевые слова (''Своб.индексиров.''): абелевы группы--автоморфизм--автоморфизмы--аксиоматика--алгебра--голоморф--гомоморфизм--гомоморфизмы--гомоморфизмы групп--групп теория--группы подстановок--изоморфизм--классы куроша-черникова--коммутант--конечность ранга--конечные группы--логика--математика--многообразия--нильпотентные группы--обобщения разрешимости--подгруппа--подгруппы--пределы--простые конечные группы--размерность--разрешимые группы--разрешимые группы матриц--расширения--свободные абелевы группы--свободные группы--силова теорема--силовские подгруппы--теории групп--теория групп--теория чисел--условия конечности--учебное пособие--учебное пособие для вузов--учебные пособия для вузов--факторгруппы--центр--эндоморфизм--эндоморфизмы
Аннотация: Одно из лучших учебных пособий по теории групп написано на основе лекций, читавшихся авторами в Новосибирском университете. Книга неоднократно переиздавалась в России и переведена на английский, французский и польский языки. Помимо традиционного материала излагаются некоторые последние достижения в теории групп. Большое внимание уделяется примерам, разъясняющим основные понятия и результаты теории. Приведено большое количество упражнений. Рассмотрены темы: гомоморфизмы групп, абелевы группы, конечные группы, свободные группы и многообразия, нильпотентные группы, разрешимые группы, условия конечности. Учебное пособие предназначено для студентов университетов, технических и педагогических вузов, для аспирантов и научных работников.
Перейти к внешнему ресурсу:  Ссылка на документ в ЭБС Лань    ID= 1_cid=25&pl1_id=177 (дата размещения: 26.02.2019),
Перейти к внешнему ресурсу:  Обложка книги.    ID= 177 (дата размещения: 26.02.2019)
Найти похожие

2.

Вид документа : Однотомное издание
Шифр издания : RU-LAN-BOOK-220
Автор(ы) : Кузнецов О. П.
Заглавие : Дискретная математика для инженера : учебное пособие . -6-е изд., стер.
Выходные данные : Санкт-Петербург: Лань, 2009
Колич.характеристики :400 с
Примечания : Книга из коллекции Лань - Математика
ISBN, Цена 978-5-8114-0570-1: Б.ц.
УДК : 519.713
ББК : 32.815
Предметные рубрики: Математика-- Дискретная математика и математическая логика
Ключевые слова (''Своб.индексиров.''): математика для инженера--дискретная математика--автоматы--автоматы (матем)--алгебра--алгебра логики--алгебра логика теория графов теория алгоритмов--алгебра теории алгоритмов математическая логика--алгоритмов теория--алгоритмы--алгоритмы теория--булева алгебра--введение в логику--вычислимость--грамматики (матем)--графы--исчисления логические--логика--логика введение--математика--математическая логика--множества--общая алгебра--отношения--предикатов исчисление--предикаты логика язык--разрешимость--сложности вычислений--теория автоматов--теория алгоритмов--тьюринга машина--учебники для вузов--формальные системы--функции--функция логическая--функция рекурсивная--элементы общей алгебры--языки--языки (матем)
Аннотация: В книге изложены основные понятия теории множеств, общей алгебры, логики, теории графов, теории алгоритмов и формальных систем, теории автоматов. По сравнению с изданием 1988г. заново написаны разделы по теории графов и сложности вычислений. Для инженеров, специализирующихся в области автоматизированного управления и проектирования, вычислительной техники, информационных технологий, передачи информации, а также для студентов и аспирантов соответствующих специальностей.
Перейти к внешнему ресурсу:  Ссылка на документ в ЭБС Лань    ID= 1_cid=25&pl1_id=220 (дата размещения: 26.02.2019),
Перейти к внешнему ресурсу:  Обложка книги.    ID= 220 (дата размещения: 26.02.2019)
Найти похожие

3.

Вид документа : Однотомное издание
Шифр издания : RU-LAN-BOOK-231
Автор(ы) : Лихтарников Л. М., Сукачева Т. Г.
Заглавие : Математическая логика. Курс лекций. Задачник-практикум и решения : сборник задач . -4-е изд., стер.
Выходные данные : Санкт-Петербург: Лань, 2009
Колич.характеристики :288 с
Примечания : Книга из коллекции Лань - Математика
ISBN, Цена 978-5-8114-0082-9: Б.ц.
УДК : 510.6(075)
ББК : 22.122я73
Предметные рубрики: Математика-- Дискретная математика и математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--учебное пособие--алгоритм--алгебра логики--курс лекций--задачник--аксиома логическая--алгебра--алгоритмы--буля--буля алгебра--вычислимая--геделя--двойственность--двойственность закон--дедукция теорема--дизъюнктивная--доказуемость--задачи--задачи решения--закон--исчисление высказываний--исчисление аксиоматическое--исчисления высказываний--конъюнктивная--курсы лекций--логика--логика предикатов--математика--математика логика--математическая логика исчисление высказываний алгебра логики логика предикатов математические теории машина тьюринга алгоритмы учебные пособия теорема дедукции теорема геделя лекции задачи--математические теории--машина--операция логическая--разрешимость--рекурсивная--решение задач--тавтология--терма--тьюринга--тьюринга машина--учебник и пособие--учебные пособия--форма дизъюнктивная--формула доказуемая--функция--функция вычислимая--функция рекурсивная
Аннотация: Учебное пособие состоит из двух частей — курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам. Учебное пособие предназначено для студентов университетов и педагогических вузов, изучающих математическую логику.
Перейти к внешнему ресурсу:  Ссылка на документ в ЭБС Лань    ID= 1_cid=25&pl1_id=231 (дата размещения: 26.02.2019),
Перейти к внешнему ресурсу:  Обложка книги.    ID= 231 (дата размещения: 26.02.2019)
Найти похожие

4.

Вид документа : Однотомное издание
Шифр издания : RU-LAN-BOOK-12948
Автор(ы) : Смирнов Ю. А., Соколов С. В., Титов Е. В.
Заглавие : Основы микроэлектроники и микропроцессорной техники : учебное пособие . -2-е изд., испр.
Выходные данные : Санкт-Петербург: Лань, 2013
Колич.характеристики :496 с
Примечания : Книга из коллекции Лань - Инженерно-технические науки
ISBN, Цена 978-5-8114-1379-9: Б.ц.
УДК : 004.31-181.48(075)
ББК : 32.85я73
Предметные рубрики: Инженерно-технические науки-- Электроника
Ключевые слова (''Своб.индексиров.''): atmel--dallas--intel--philips--автомат--алгебра логики--арифметико-логические устройства--ацп--база--базовые логические элементы--базовые матричные кристаллы--биполярная--бмк--гибридная--демультиплексор--демультиплексоры--дешифратор--дешифраторы--диод--диод интегральный--запоминающие устройства--зу--имс--инженерно-технические науки--интегральные микросхемы--интегральные схемы--интерфейс--интерфейсные устройства--кмдп--кодопреобразователи--кодопреобразователь--конденсатор--конденсатор интегральный--кристалл--логика--логические элементы--логический--матричные умножители--матричный--мдп--микроконтролёры импортных фирм--микроконтроллер--микроконтроллеры--микроконтроллеры импортных фирм--микропроцессор--микропроцессорная техника--микропроцессорная техника интегральные микросхемы--микропроцессоры--микросборка--микросхема интегральная (имс)--микросхема интегральная гибридная--микросхема интегральная полупроводниковая--микроэлектроника--микроэлектронная техника--мп--мультиплексор--мультиплексоры--основы микроэлектроники--память--пленочная--плис--пмл--полупроводниковая--полупроводниковые имс--преобразователи--программируемая матричная логика--программируемые вентильные матрицы--программируемые коммутируемые матричные блоки--программируемые логические интегральные схемы--программируемые логические матрицы--распределители--регистры--резистор--резистор интегральный--сумматор--сумматоры--схема--счетчик--счетчики--теория автоматов--триггер--триггеры--ттлш--устройство запоминающее--учебник и пособие--учебные пособия--учебные пособия для бакалавров--учебные пособия для вузов--учебные пособия для магистров--функция логическая--цап--цифровые автоматы--цифровые устройства--цифровые электронные схемы--шифратор--шифраторы--элемент--элемент изоляция--элементная
Аннотация: В книге изложены историческая справка становления и развития микроэлектроники, технологические и схемотехнические основы построения элементной базы микроэлектронных приборов, устройств и микропроцессорной техники, их математического синтеза. Пособие содержит контрольные вопросы, задачи с решениями и рекомендуемую литературу для углубленного изучения материала. Предназначено для подготовки бакалавров, магистров и специалистов направлений: «Электроэнергетика и электротехника», «Электроника и наноэлектроника», «Радиотехника», «Инфокоммуникационные технологии и системы связи», «Конструирование технологии и микросистемная техника».
Перейти к внешнему ресурсу:  Ссылка на документ в ЭБС Лань    ID= 1_cid=25&pl1_id=12948 (дата размещения: 26.02.2019),
Перейти к внешнему ресурсу:  Обложка книги.    ID= 12948 (дата размещения: 26.02.2019)
Найти похожие

5.

Вид документа :
Шифр издания : RU-LAN-BOOK-68471
Автор(ы) : Кудинов Ю. И., Пащенко Ф. Ф., Келина А. Ю.
Заглавие : Практикум по основам современной информатики . -1-е изд.
Выходные данные : Санкт-Петербург: Лань, 2011
Колич.характеристики :352 с
Примечания : Книга из коллекции Лань - Информатика
ISBN, Цена 978-5-8114-1152-8: Б.ц.
УДК : 004(075)
ББК : 32.81я73
Предметные рубрики: Информатика-- Информационные технологии
Ключевые слова (''Своб.индексиров.''): компьютерные сети--базы данных (бд)--электронные таблицы--практикумы--тестовые задачи--защита информации--технологии программирования--современная информатика--основы информатики--информационные процессы--информация (информатика)--технические средства--программные средства--программное обеспечение--алгоритмизация--программирование--функциональные задачи--вычислительные задачи--решение задач--access--basic--excel--power point--powerpoint--sql--windows--word--базы данных--бд--высказывание--вычислительная техника--документ текст редактирование--зависимости аппроксимация--запрос--информатика--информация--информация количество--логика--логическое программирование--менеджер файловый--нейронная--оглавление--операционная--операционная система--ос--предикат--предикатов логика--приложение работа--программирование на basic--процессор--сеть--сеть нейронная--система--создание презентаций--список запись фильтрация--таблица--табличный--текстовый--текстовый процессор--учебник и пособие--учебные пособия--файл--файл архивация--файл восстановление--форматирование процесс--электронная
Аннотация: Практикум — это обязательное дополнение к учебному пособию «Основы современной информатики». Он обеспечивает методическую поддержку практических и лабораторных занятий. С его помощью можно изучить теоретические разделы информатики, касающиеся информации и логики предикатов, и получить практические навыки освоения наиболее распространенных программных продуктов: операционной системы Windows, текстового процессора Word, табличного процессора Excel и др. Учебное пособие предназначено для студентов всех направлений, исключая тех, кто специализируется в области информатики.
Перейти к внешнему ресурсу:  Ссылка на документ в ЭБС Лань    ID= 1_id=68471 (дата размещения: 26.02.2019),
Перейти к внешнему ресурсу:  Обложка книги.    ID= 68471 (дата размещения: 26.02.2019)
Найти похожие

6.

Вид документа : Однотомное издание
Шифр издания : RU-LAN-BOOK-68474
Автор(ы) : Пухальский Г. И., Новосельцева Т. Я.
Заглавие : Проектирование цифровых устройств : учебное пособие . -1-е изд.
Выходные данные : Санкт-Петербург: Лань, 2012
Колич.характеристики :896 с
Примечания : Книга из коллекции Лань - ИнформатикаРекомендовано УМО вузов РФ по образованию в области радиотехники, электроники, биомедицинской техники и автоматизации в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлению подготовки «Радиотехника»
ISBN, Цена 978-5-8114-1265-5: Б.ц.
УДК : 621.382.8(075)
ББК : 32.84я73
Предметные рубрики: Информатика-- Виртуальные приборы
Ключевые слова (''Своб.индексиров.''): altera--altera max+plus ii--cd-rom (приложение)--max+plus ii--автогенератор--автомат--автомат линейный--автомат цифровой--автоматы--автоматы асинхронные--алгебра--алгебра логики--алгоритмы программирования--анализ и синтез логических схем--анализ логических схем--арифметические комбинационные схемы--арифметические комбинационные устройства--асинхронные автоматы--асинхронные импульсные автоматы--асинхронные импульсные триггеры--асинхронные потенциальные автоматы--асинхронные потенциальные счетчики--асинхронные потенциальные триггеры--бис--вейч--вейча диаграмма--вейча диаграммы--генератор--генераторы сигналов--графы переходов--гриф учебно-методического объединения--двоичные коды--двойственности закон--двойственность--демультиплексор--дешифратор--дешифраторы--диаграмма--диаграммы--диаграммы вейча--дизъюнктивная--дизъюнктивные термы--дополнительные коды--дополнительный код--ждущий--закон двойственности--импульсные автоматы--импульсные сигналы--импульсный--интегральная--интегральные схемы--каскадирование--код--код преобразователь--коды--комбинационная--комбинационные логические цепи--комбинационные схемы--компакт-диск (приложение)--конвейерные цифровые устройства--конъюнктивная--конъюнктивные термы--линейные автоматы--линейные комбинационные схемы--линейный--логика--логические схемы--логические уравнения--логические устройства--логический--макстерма--макстермы--микропроцессоры--минимизация--минимизация переключательных функций--минтерма--минтермы--модели логических схем--модели логических элементов--мультивибратор--мультиплексные функции--мультиплексор--обнаружение и исправление ошибок--обратные коды--обратный код--операторные тождества--память--первичная--первичные термы--переключатели--переключательная--переключательные функции--переключательные функции теория--позиционные системы счисления--потенциальные сигналы--потенциальный--преобразователи кодов--преобразователь--принцип и закон двойственности--проектирование--проектирование устройств--проектирование цифровых систем--проектирование цифровых устройств--прямой код--прямые коды--радиоаапаратура--радиоэлектроника--разложения теорема--регистр--регистры--регистры памяти--рекомендовано умо--рефлексные коды--решение уравнений--ридиотехника--сдвигающие регистры--сдвигающий--сигнал--сигнал импульсный--синтез--синтез асинхронных автоматов--синтез комбинационных схем--синтез линейных автоматов--синтез логических схем--синтез синхронных автоматов--синтез синхроных автоматов--синтез систем--синхронные автоматы--синхронные счетчики--синхронные триггеры--синхронные тригеры--синхронный--системы логических уравнений--системы проектирования--системы счисления--скобочные формы функций--слау--совершенные нормальные формы представления функций--схема--схема комбинаторная--схема комбинационная--счетчик--счетчик потенциальный асинхронный--счетчик синхронный--счетчики асинхронные потенциальные--счетчики синхронные--счисления--таблицы переходов--теоремы--теоремы разложения--терма--терма первичная--термы--типовые комбинационные схемы--тождество операторное--триггер--триггеры--указатель интегральных схем--уравнение логическое--уравнения--учебник и пособие *--учебные издания для вузов--учебные пособия--учебные пособия для вузов--фазовращатель--формы функций--функции--функция--функция форма скобочная--цифровая техника--цифровая электроника--цифровой--цифровые автоматы--цифровые устройства--шифратор--шмитта--электроника и радиотехника--элемент--элементы памяти
Аннотация: Изложены основы теории переключательных функций и цифровых автоматов, позволяющие простейшими методами решать задачи проектирования цифровых устройств. Даны оригинальные математические методы анализа и синтеза автоматов, основанные на операторах переходов и решениях систем логических уравнений. Практически для всех синтезированных схем изготовлены файлы (свыше 800), позволяющие читателям самостоятельно выполнить их моделирование с помощью модифицированного программного пакета Micro-Logic II. Приведенные сведения по программному пакету MAX+plus II BaseLine достаточны для выполнения проектов на семействе БИС Altera (на CD-ROM имеется около 500 файлов, содержащих примеры спроектированных цифровых устройств). Учебное пособие предназначено для студентов вузов радитехнических направлений подготовки, обеспечивает все виды занятий по цифровой технике по курсу «Цифровые и микропроцессорные устройства» и может быть использовано для проектирования интерфейсных устройств микропроцессорных систем.
Перейти к внешнему ресурсу:  Ссылка на документ в ЭБС Лань    ID= 1_id=68474 (дата размещения: 26.02.2019),
Перейти к внешнему ресурсу:  Обложка книги.    ID= 68474 (дата размещения: 26.02.2019)
Найти похожие

7.

Вид документа :
Шифр издания : RU-LAN-BOOK-91597
Автор(ы) : Поварнин С. И.
Заглавие : Спор. О теории и практике спора . -6-е изд., стер.
Выходные данные : Москва: ФЛИНТА, 2017
Колич.характеристики :117 с
Примечания : Книга из коллекции ФЛИНТА - Языкознание и литературоведение
ISBN, Цена 978-5-89349-414-3: Б.ц.
УДК : 800
ББК : 87.4
Предметные рубрики: Языкознание и литературоведение-- Риторика
Ключевые слова (''Своб.индексиров.''): искусство спора--эристика--теория спора--логика--спорная мысль--виды спора--доводы--спор (логика)--доказательство--опровержение--противоречия--софизмы--уловки--убеждения
Аннотация: Написанная простым и выразительным языком, книга обобщает основные проблемы ведения спора: что такое тезис, довод, виды доводов и доказательств, уловки в споре, софизмы, лживые и произвольные доводы, мнимые доказательства и меры против уловок. Множество ярких примеров позволяет сформировать навыки и приемы ведения спора в разных ситуациях общения. Для специалистов, занимающихся вопросами искусства общения, культуры речи, а также для широкого круга читателей.
Перейти к внешнему ресурсу:  Ссылка на документ в ЭБС Лань    ID= 91597 (дата размещения: 26.02.2019),
Перейти к внешнему ресурсу:  Обложка книги.    ID= 91597 (дата размещения: 26.02.2019)
Найти похожие

 
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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