Авторизация
 

Базы данных


Основная база библиотеки - результаты поиска

Вид поиска

Область поиска
в найденном
 Найдено в других БД:База данных нормативных документов (1)Электронные книги ЛитРес (5)
Формат представления найденных документов:
полныйдля рабочих программ
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=логика<.>)
Общее количество найденных документов : 433
Показаны документы с 1 по 20
 1-20    21-40   41-60   61-80   81-100   101-120      
1.
16
И 255


    Ивлев, Юрий Васильевич.
    Логика. Сборник упражнений : учебное пособие для вузов / Ю. В. Ивлев ; Академия народного хозяйства при Правительстве Российской Федерации. - 3-е изд., испр. . - М. : Дело, 2004. - 246[2] с. : ил., табл. - ISBN 5-7749-0276-5 : 457.67 р., 116.00 р.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , аунл (9 экз.), счз1 (28 экз.), кабинет ОН (1 экз.)
Свободны: аунл (9), счз1 (28), кон (1)
Постоянная гиперссылка
2.
621.38
У 975


   Уэйкерли, Джон

    Проектирование цифровых устройств : пер. с англ. / Д. Ф. Уэйкерли. - М. : Постмаркет, 2002 - . - (Библиотека современной электроники).
   Т. 1 / пер.: Е. В. Воронов, А. Л. Ларин. - М. : Постмаркет, 2002. - 543[1] с. : ил., табл. - Библиогр. в конце глав. - ISBN 5-901095-12-X : 100.00 р.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка
3.
519
П 820


    Просветов, Георгий Иванович.
    Дискретная математика: задачи и решения : учебное пособие / Г. И. Просветов. - М. : БИНОМ. Лаборатория знаний, 2008. - 222[2] с. : ил., табл. - (Математика). - Библиогр.: с. 221-222. - ISBN 978-5-94774-829-1 : 41.71 р.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , счз1 (1 экз.)
Свободны: счз1 (1)
Постоянная гиперссылка
4.
007/Н 537-502052

    Непрерывнологические и нейронные сети и модели : труды международной научно-технической конференции. 23-25 мая 1995 г. / Международная академия информатизации, Государственный комитет Российской Федерации по высшему образованию, Ассоциация искусственного интеллекта, Научный центр нейрокомпьютеров РАН, Ульяновский государственный технический университет; ред. Л. И. Волгин. - Ульяновск : [б. и.], 1995 - .
   Т. 3 : Модели технических систем. - Ульяновск : [б. и.], 1995. - 95[1] с. : ил. - Библиогр. в конце ст. - ISBN 5-230-18359-4 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка
5.
316
И 755


    Ионин, Леонид Григорьевич.
    Социология культуры : Учебное пособие для вузов / Л. Г. Ионин ; Институт "Открытое общество". - М. : Логос, 1996. - 277[3] с. - (Открытая книга. Открытое сознание. Открытое общество). - Библиогр.: с.267-272 . - Именной указ.: с. 273-275. - ISBN 5-88439-060-2 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: аунл (1 экз.), счз1 (1 экз.), кабинет ОН (1 экз.)
Свободны: аунл (1), счз1 (1), кон (1)
Постоянная гиперссылка
6.
004
Н 537


    Непрерывнологические и нейронные сети и модели : труды международной научно -технической конференции. 23-25 мая 1995 г. / Международная академия информатизации, Государственный комитет Российской Федерации по высшему образованию, Ассоциация искусственного интеллекта, Научный центр нейрокомпьютеров РАН, Ульяновский государственный технический университет; ред. Л. И. Волгин. - Ульяновск : [б. и.], 1995 - .
   Т. 1 : Нейронные сети и модели. - Ульяновск : [б. и.], 1995. - 95[1] с. : ил. - Библиогр. в конце ст. - ISBN 5-230-18360-8 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка
7.
004
Н 537


    Непрерывнологические и нейронные сети и модели : труды международной научно-технической конференции. 23-25 мая 1995 г. / Международная академия информатизации, Государственный комитет Российской Федерации по высшему образованию, Ассоциация искусственного интеллекта, Научный центр нейрокомпьютеров РАН, Ульяновский государственный технический университет; ред. Л. И. Волгин. - Ульяновск : [б. и.], 1995 - .
   Т. 2 : Непрерывнологические системы, модели и алгоритмы. - Ульяновск : [б. и.], 1995. - 71[1] с. : ил. - Библиогр. в конце ст. - ISBN 5-230-18346-2 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка
8.
004
П 640


    Потахова, И. В.
    Информатика для физико-математического лицея ТУСУРа : учебно-методическое пособие / И. В. Потахова ; Федеральное агентство по образованию (М.), Томский государственный университет систем управления и радиоэлектроники (Томск). - Томск : ТУСУР, 2007. - 232 с. : ил., табл. - Библиогр.: с. 230. - 62.74 р.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , аунл (86 экз.), счз1 (1 экз.)
Свободны: аунл (86), счз1 (1)
Постоянная гиперссылка
9.
51
З-981


    Зюзьков, Валентин Михайлович.
    Задачи и упражнения по математической логике и теории алгоритмов : учебное методическое пособие / В. М. Зюзьков ; Томский государственный университет систем управления и радиоэлектроники. - Томск : [б. и.], 2007. - 101 с. : ил. - (Приоритетные национальные проекты. Образование). - Библиогр.: с. 101. - 40.26 р.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , аунл (30 экз.), счз1 (5 экз.)
Свободны: аунл (30), счз1 (5)
Постоянная гиперссылка
10.
51
Г 671


    Горбанев, Николай Никитич.
    Нестандартные задачи и задачи повышенной трудности в курсе математики втуза : Задачник / Н. Н. Горбанев, Л. В. Ганзя ; Федеральное агентство по образованию, Томский государственный университет систем управления и радиоэлектроники. - Томск : ТУСУР, 2006. - 164[2] с. - ISBN 5-86889-279-8 : 100.00 р., 100.0013823000067314 р.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , аунл (48 экз.), счз1 (2 экз.)
Свободны: аунл (48), счз1 (2)
Постоянная гиперссылка
11.
51
Г 918


    Грэй, Питер.
    Логика, алгебра и базы данных : Пер. с англ. / П. Грэй ; пер. Х. И. Килов, пер. Г. Е. Минц, ред. Г. В. Орловский, ред. А. О. Слисенко. - М. : Машиностроение, 1989. - 359[1] с. : ил. - Библиогр.: с. 348-358. - ISBN 5-217-00178-Х : 01.80 р.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , аунл (7 экз.), счз1
Свободны: аунл (7)
Постоянная гиперссылка
12.
30
Т 529


    Толстова, Юлиана Николаевна.
    Логика математического анализа социологических данных : / Ю. Н. Толстова ; ред. Г. С. Батыгин ; Академия наук СССР, Институт социологии. - М. : Наука, 1991. - 110[2] с. : ил. - Библиогр. в конце глав. - ISBN 5-02-013400-7 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: аунл, кабинет ОН (1 экз.)
Свободны: кон (1)
Постоянная гиперссылка
13.
51
Л 832


    Лугина, Наталья Эдуардовна.
    Учебник по математике для физико-математического класса : избранные главы / Н. Э. Лугина ; Федеральное агентство по образованию, Томский государственный университет систем управления и радиоэлектроники. - Томск : ТУСУР, 2007. - 246 с. : ил., табл. - Загл. обл. : Математика для физико-математического лицея ТУСУРа: Учебно-методическое пособие. - Библиогр.: с. 246. - 62.73 р.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , аунл (97 экз.), счз1 (2 экз.)
Свободны: аунл (97), счз1 (2)
Постоянная гиперссылка
14.
519
Г 168


    Галушкина, Юлия Ивановна.
    Конспект лекций по дискретной математике. С упражнениями и контрольными работами : / Ю. И. Галушкина, А. Н. Марьямов. - М. : Айрис-Пресс, 2007. - 173[3] с. : ил. - (Высшее образование). - Библиогр.: с. 174. - ISBN 978-5-8112-2599-6 : 127.00 р.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , аунл (2 экз.)
Свободны: аунл (2)
Постоянная гиперссылка
15.
16
З-636


    Зинченко, Евгений Владимирович.
    Логика : учебно-методическое пособие для студентов дневной формы обучения по специальности 030501 "Юриспруденция" / Е. В. Зинченко ; Федеральное агентство по образованию, Томский государственный университет систем управления и радиоэлектроники, Кафедра права. - Томск : ТУСУР, 2006. - 181 с. : ил. - Библиогр.: с. 179. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: Юридическое отделение Института инноватики ТУСУР (30)
Свободных экз. нет
Постоянная гиперссылка
16.
    (Свободных экземпляров нет)
Шифр: И271191/2012/2
2012г.2
Содержание:
Алекперов, Р. К. Создание распределенных вычислительных сред на основе технологии вычислительных сред на основе технологии вычислительных облаков / Р. К. Алекперов. - С.2-7
Кл.слова: компьютеры, нагрузки, распределения
Салибекян, С. М. Объектно-атрибутная архитектура новый подход у созданию объектных систем / С. М. Салибекян, П. Б. Панфилов. - С.8-13
Кл.слова: программирование, изоморфизмы, парадигмы
Докучаев, А. Н. Особенности диспетчеризации сверхлегких задач в мультипроцессорных системах реального времени / А. Н. Докучаев. - С.14-18
Кл.слова: эффекты, Далл, время
Норенков, И. П. Задачи обработки знаний на основе ролевой кластеризации онтологгий / И. П. Норенков, М. Ю. Уваров. - С.19-29
Кл.слова: классификация, документы, решения
Левков, А. А. Интеграция знаний и данных в больших информационных системах / А. А. Левков. - С.29-33
Кл.слова: модели, онтологии, логика
Бочков, М. В. Способ автоматического рубрицирования неконструктивной информации сети Интернет / М. В. Бочков, П. Н. Бойков. - С.34-36
Кл.слова: html, анализ, сингуляция
Меркушева, А. В. Структуры, методы и алгоритмы адаптивной фильтрации нестационарных сигналов / А. В. Меркушева, Г. Ф. Малыхина, В. М. Малыхин. - С.37-43
Кл.слова: схемы, сложности, алгоритмы
Воловиков, В. В. Моделирование теплового сопротивления при вынужденном конвективном теплообмене в каналах конструкций радиоэлектронной аппаратуры / В. В. Воловиков, А. В. Сарафанов. - С.44-48
Кл.слова: погрешность, сопротивление, конвекция
Бобиков, В. А. Визуализация динамики циклонов / В. А. Бобиков, С. В. Мельман, В. П. Май. - С.49-54
Кл.слова: шейдеры, анимация, аномалии
Мезенцев, Ю. А. К программной реализации декомпозиционного алгоритма решения одного класса задач дискретной оптимизации с полуопределенной релаксацией / Ю. А. Мезенцев, П. С. Павлов. - С.54-59
Кл.слова: алгоритмы, программирование, предприятия
Топка, В. В. Управление стоимостью проекта с учетом показания его надежности / В. В. Топка. - С.60-66
Кл.слова: оптимизация, сети, решения
Боровский, А. С. Метод обработки экспертной информации на основе нечетких гиперграфов для проектирования систем физической защиты / А. С. Боровский, А. Д. Тарасов. - С.67-72
Кл.слова: композиции, переменные, модели
Набибекова, Г. Ч. Применение OLAP-технологий в системах поддержки принятия решений в сфере внешней политики / Г. Ч. Набибекова. - С.73-76
Кл.слова: данные, возможности, хранилища
Барбасова, Т. А. Кодирование информации методом пропуска полупериодов сетевого напряжения в системах освещения / Т. А. Барбасова, Е. В. Вставская, В. И. Константинов. - С.76-78
Кл.слова: информация, энергии, управление
На вкладках: Стратегия развития современных суперкомпьютеров на пути к экзафлопным вычислениям
Все экземпляры списаны
Постоянная гиперссылка
17.
    (Свободных экземпляров нет)
Шифр: И271191/2011/8
2011г.8
Содержание:
Ходашинский, Илья Александрович. Идентификация параметров нечетких систем на основе адаптивного алгоритма роящихся частиц / И. А. Ходашинский, Д. С. Синьков
Масликов, В. И. Универсальная система категорических суждений силлогистики / В. И. Масликов. - С.6-12
Кл.слова: логика, алгебра, нейросети
Садыков, С. С. Идентификация реальных плоских объектов на основе единственного признака точек их внешних контуров / С. С. Садыков, С. В. Савичева. - С.13-16
Кл.слова: изображения, кривизна, контуры
Бобков, В. А. Реализация алгоритма построения карт глубин на графических процессорах / В. А. Бобков, Ю. И. Роньшин. - С.17-22
Кл.слова: изображения, окна, сопоставление
Гулаков, В. К. Эффективный алгоритм преобразования полноцветного изображения к палитре для систем поиска по содержанию / В. К. Гулаков, А. О. Трубаков. - С.22-28
Кл.слова: системы, пространства, трансформация
Беляков, С. Л. Геоинформационный сервис ситуационного центра / С. Л. Беляков, М. Л. Белякова, Д. С. Самойлов. - С.29-32
Кл.слова: решения, запросы, ресурсы
Струченков, В. И. Динамическое программирование в проектировании трасс линейных сооружений / В. И. Струченков, А. Н. Козлов, А. С. Егунов. - С.33-36
Кл.слова: аппроксимация, ограничения, кривые
Кобзаренко, Д. Н. Особенности применения некоторых алгоритмов вычислительной геометрии в геоинформационных технологиях / Д. Н. Кобзаренко. - С.37-39
Кл.слова: графика, отрезки, пересечение
Львович, Я. Е. Исследование метода трассировки лучей при проектировании беспроводных систем связи / Я. Е. Львович, И. Я. Львович, А. П. Преображенский. - С.40-42
Кл.слова: застройка, корреляция, дифракция
Мощевикин, А. П. Локация в беспроводных сетях датчиков стандарта nanoLOC (IEEE 802.15.4a) / А. П. Мощевикин, А. С. Галов, А. С. Волков. - С.43-47
Кл.слова: системы, позиционирование, объекты
Гильманова, Н. А. Мультиметодный алгоритм трехмерной упаковки с регулируемым провисанием объектов в контейнере / Н. А. Гильманова. - С.48-54
Кл.слова: эвристика, комбинирование, объекты
Ковалевич, А. А. Исследование стохастических алгоритмов оптимизации для применения в имитационном моделировании систем / А. А. Ковалевич, А. И. Якимов, Д. М. Албкеират. - С.55-60. - рой
Кл.слова: отжиг, эволюция
Пащенко, В. Н. Исследование влияния типа конечных элементов на продолжительность и точность расчета температурных напряжений в среде ANSYSWorkbench / В. Н. Пащенко, В. А. Мартынюк, А. С. Моников. - С.61-63
Кл.слова: тела, сварка, деформации
Асадов, Х. Г. О возможности применения метода многоуровневой оптимизации для оптимальной информационной оценки разнообразия видов в экологических системах / Х. Г. Асадов, Е. Н. Алиева. - С.64-68
Кл.слова: исчисление, программирование, решения
Кузнецов, А. А. Системная связь между процессами ритма сердца и динамики систолического потенциала / А. А. Кузнецов. - С.69-74
Кл.слова: электрокардиограммы, зубцы, интервалы
Галкин, В. А. Информационное и программное обеспечение антимикробной фотодинамической терапии / В. А. Галкин, Ю. А. Белый, А. А. Кучеров. - С.74-78
Кл.слова: глаз, модели, фотографии
На вкладках: Королев В. И., Новиков А. А., Шарков А. Е. Электронное правительство: анализ, концептуальное представление, функциональные приложения
Все экземпляры списаны
Постоянная гиперссылка
18.
51
М 501


    Мендельсон, Эллиот.
    Введение в математическую логику : пер. с англ. / Э. Мендельсон ; пер. Ф. А. Кабаков, ред. С. И. Адян. - М. : Наука, 1971. - 320 с. - Библиогр.: с. 296-309. - Алф. указ.: с. 310-317. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: аунл (3 экз.), счз1 (1 экз.)
Свободны: аунл (3), счз1 (1)
Постоянная гиперссылка
19.
002
К 590


    Козачков, Лев Семенович.
    Прикладная логика информатики : Монография / Л. С. Козачков ; Академия наук Украинской ССР, Институт кибернетики им. В. М. Глушкова. - Киев : Наукова думка, 1990. - 252[4] с. : рис., табл. - Библиогр.: с. 249-252. - ISBN 5-12-001195-0 : 4.00 р.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка
20.
519
А 651


    Андерсон, Джеймс.
    Дискретная математика и комбинаторика : Пер. с англ. / Д. А. Андерсон ; пер. : М. М. Белова. - М. ; СПб. ; Киев : Вильямс, 2004. - 957[3] с. : ил., табл. - Библиогр.: с. 850-855. - Предм.-имен. указ.: с. 942-953. - ISBN 5-8459-0498-6 : 607.00 р.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , аунл (8 экз.), счз1 (2 экз.)
Свободны: аунл (6), счз1 (2)
Постоянная гиперссылка
 1-20    21-40   41-60   61-80   81-100   101-120      
 
Статистика
за 05.07.2024
Число запросов 158223
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)