Библиотека ТУСУРа

Базы данных

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

Вид поиска

Основная база библиотеки

База данных нормативных документов

Персоналии ученых-профессоров ТУСУРа

Календарь знаменательных дат

Электронные книги ЛитРес

ЭБС «Лань»

ЭБС «Юрайт»

Область поиска

в найденном

Формат представления найденных документов:
полный	для рабочих программ

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>U=510.6<.>)

Общее количество найденных документов : 26
Показаны документы с 1 по 20

1-20 21-26

А
Г 874

    Громов, Олег Александрович.
    Методы и алгоритмы повышения отказоустойчивости программируемых логических интегральных схем на основе КМОП элементов с избыточным базисом [Текст] : автореферат диссертации ... кандидата технических наук: 05.13.05 / О. А. Громов ; Пермский национальный исследовательский политехнический университет. - Пермь, 2013. - 16 с. : рис., табл.

    Коды, Ключ.слова, Доп.точки доступа
УДК
519.1
510.6
004.052
~РУБ А

Кл.слова (ненормированные):
НАДЕЖНОСТЬ -- ЭЛЕМЕНТНАЯ БАЗА -- ПОВЫШЕНИЕ ОТКАЗОУСТОЙЧИВОСТИ -- ФУНКЦИОНАЛЬНАЯ ПОЛНОТА -- БУЛЕВА ФУНКЦИЯ
Доп.точки доступа:
Пермский национальный исследовательский политехнический университет (Пермь)
Институт проблем управления им. В. А. Трапезникова РАН (Москва)

Имеются экземпляры в отделах: сбо (1 экз.)
Свободны: сбо (1)
Постоянная гиперссылка

51
К 493

    Клини, Стивен Коул.
    Математическая логика : Пер. англ. / С. К. Клини ; пер. : Ю. А. Гастев ; ред. пер. : Г. Е. Минц . - 3-е изд., стереотип. - М. : КомКнига, 2007 ; М. : УРСС, 2007. - 480[2] с. : ил. - Библиогр.: с. 451-469. - Алф.-Предм. указ.: с. 470-478. - ISBN 978-5-484-00802-5 : 215.05 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6
~РУБ 51

Кл.слова (ненормированные):
математическая логика -- математика -- высказывания -- предикаты -- вычислимость -- разрешимость
Доп.точки доступа:
Гастев, Ю. А. \пер.\
Минц , Г. Е. \ред. пер.\
Клини, Стефан Коул

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

681.3
В-949

    Вычислительные системы : сборник научных трудов / Российская Академия наук. Сибирское отделение, Институт математики им. С. Л. Соболева. - Новосибирск : [б. и.], 1995 - .
   Вып. 152 : Теория вычислений и языки спецификаций. - Новосибирск : [б. и.], 1995. - 220 с. - (в пер.) : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.324
510.6
~РУБ 681.3

Кл.слова (ненормированные):
теория вычислений -- языки спецификаций -- программирование -- семантическое программирование -- прикладная логика -- программная логика -- ресурсная динамическая логика -- RDL -- S-программы -- языки действий -- естественные языки -- СИГМА-Т3 -- теория алгоритмов -- вычислительные системы
Доп.точки доступа:
Российская Академия наук. Сибирское отделение
Институт математики им. С. Л. Соболева

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

681.3
М 340


    Математическая логика в программировании : Сборник статей 1980-1988 гг.: Пер. с англ. / Ред. пер. М. В. Захарьящев, Ред. пер. Ю. И. Янов. - М. : Мир, 1991. - 408 с. : ил. - (Математическое обеспечение ЭВМ). - Библиогр. в конце ст. - ISBN 5-03-001635-X (в пер.) : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.3.06:510.6
510.6
~РУБ 681.3

Кл.слова (ненормированные):
математическая логика -- ПРОГРАММИРОВАНИЕ -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
Доп.точки доступа:
Захарьящев, М. В. \ред. пер.\
Янов, Ю. И. \ред. пер.\

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

51
Л 694


    Логический подход к искусственному интеллекту : От классической логики к логическому программированию: Пер. с фр. / А. Тейз [и др.] ; пер. П. П. Пермяков, ред. пер. Г. П. Гаврилов. - М. : Мир, 1990. - 429[3] с. : ил. - Библиогр.: с. 411-417. -Предм. указ.: с. 418-423. - Пер. изд. : Approche logique de l`intelligence artificielle. - ISBN 5-03-001636-8 (в пер.) : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6
004.8
~РУБ 51

Кл.слова (ненормированные):
искусственный интеллект -- математическая логика -- логическое программирование -- аксиоматические системы -- представление знаний -- формальные грамматики
Доп.точки доступа:
Грибомон, Паскаль
Луи, Жорж
Снийерс, Д.
Водон, П.
Гоше, П.
Грегуар, Э.
Тейз, Андре
Дельсарт, Ф.
Пермяков, П. П. \пер.\
Гаврилов, Гарий Петрович \ред. пер.\

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

681.5
М474

    Мелихов, Аскольд Николаевич.
    Ситуационные советующие системы с нечеткой логикой : научное издание / Аскольд Николаевич Мелихов, Леонид Самойлович Берштейн, Сергей Яковлевич Коровин. - М. : Наука, 1990. - 271[1] с. : ил, табл. - Библиогр.: с. 270-271. - ISBN 5-02-014144-5 (в пер.) : 02.30 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6
681.518
519.816
~РУБ 681.5

Кл.слова (ненормированные):
нечеткая логика -- системы автоматического управления -- ситуационное управление -- советующие системы -- нечеткие модели -- принятие решений
Доп.точки доступа:
Берштейн, Леонид Самойлович
Коровин, Сергей Яковлевич

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

51
Г 918

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

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6
512
681.3.016
~РУБ 51

Кл.слова (ненормированные):
логика -- алгебра -- базы данных -- математическая логика
Доп.точки доступа:
Килов, Х. И. \пер.\
Минц, Г. Е. \пер.\
Орловский, Г. В. \ред.\
Слисенко, А. О. \ред.\

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

51
С 500

    Смаллиан, Рэймонд.
    Алиса Стране Смекалки : Пер. с англ. / Р. М. Смаллиан ; пер. Ю. А. Данилов, худ. Г. Фиттинг. - М. : Мир, 1987. - 179[5] с. : ил. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6
~РУБ 51

Кл.слова (ненормированные):
занимательная математика -- математика
Доп.точки доступа:
Данилов, Ю. А. \пер.\
Фиттинг, Г. \худ.\

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

681.5
Г 555

    Глушков, Виктор Михайлович.
    Логическое проектирование дискретных устройств [Текст] : научное издание / В. М. Глушков, Ю. В. Капитонова, А. Т. Мищенко ; Академия наук Украинской ССР (Киев), Институт кибернетики. - Киев : Наукова думка, 1987. - 264 с. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.511.001.63
510.6
~РУБ 681.5

Кл.слова (ненормированные):
ДИСКРЕТНЫЕ УСТРОЙСТВА -- ЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ
Доп.точки доступа:
Капитонова, Ю. В.
Мищенко, А. Т.
Академия наук Украинской ССР (Киев). Институт кибернетики

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

10.

681.3
В949

    Вычислительные системы : сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. - Новосибирск : Институт математики, 1961 - .
   Вып. 116 : Прикладная логика : сборник научных трудов / Ред. Ю. Л. Ершов, Ред. С. С. Гончаров. - Новосибирск : Институт математики, 1986. - 166 с. - Библиогр. в конце ст. - (в пер.) : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6
681.324
~РУБ 681.3

Кл.слова (ненормированные):
вычислительные системы -- обработка данных -- описания данных -- представления данных -- семантическое программирование -- прикладная логика
Доп.точки доступа:
Косарев Ю. Г. \ред.\
Ершов, Ю. Л. \ред.\
Гончаров, С. С. \ред.\
Академия наук СССР. Сибирское отделение
Институт математики

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

11.

51
А 721

    Антипенко, Леонид Григорьевич.
    Проблема неполноты теории и её гносеологическое значение [Текст] : научное издание / Л. Г. Антипенко ; Академия наук СССР, Институт философии. - М. : Наука, 1986. - 224 с. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6
~РУБ 51

Кл.слова (ненормированные):
ЛОГИКА -- МАТЕМАТИКА
Доп.точки доступа:
Академия наук СССР. Институт философии

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

12.

510
Б 248

    Барендрегт, Хендрик Питер.
    Ламбда - исчисление. Его синтаксис и сематика [Текст] : научное издание / Х. П. Барендрегт. - М. : Мир, 1985. - 606 с. - Пер. с англ. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6
~РУБ 510

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ

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

13.

51
М 501

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

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6
~РУБ 51

Кл.слова (ненормированные):
математическая логика
Доп.точки доступа:
Кабаков, Ф. А. \пер.\
Адян, С. И. \ред.\

Имеются экземпляры в отделах: аунл (2 экз.)
Свободны: аунл (2)
Постоянная гиперссылка

14.

519
Ш 233

    Шапиро, Самуил Иосифович.
    Решение логических и игровых задач (логико-психологические этюды) : научное издание / С. И. Шапиро. - М. : Радио и связь, 1984. - 152 с. : ил., табл. - (Кибернетика). - Библиогр.: с. 151. - Предм. указ.: с. 152. - (в пер.) : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
519.7
510.6
~РУБ 519

Кл.слова (ненормированные):
математическая логика -- кибернетика -- математические методы -- логические задачи -- игровые задачи

Имеются экземпляры в отделах: аунл (2 экз.)
Свободны: аунл (2)
Постоянная гиперссылка

15.

621.3
Л694

    Агибалов, Г. П.
    Логическое проектирование переключательных автоматов / Г. П. Агибалов; Г.П. Агибалов, В.А. Бузанов, В.Б. Липский, Б.Ф. Румянцев. - Томск : Издательство Томского университета, 1983. - 154 с. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
621.382.049.771.14.001.63:510.6
510.6
~РУБ 621.3
Доп.точки доступа:
Бузанов, В. А.
Липский, В. Б.
Румянцев, Б. Ф.

Имеются экземпляры в отделах: аунл (2 экз.)
Свободны: аунл (2)
Постоянная гиперссылка

16.

510
Г 474

    Гильберт, Давид.
    Основания математики. Логические исчисления и формализация арифметики [Текст] : научное издание / Д. Гильберт, П. Бернаис ; ред. С. И. Адян. - 2-е изд. - М. : Наука, 1982. - 556 с. - (Математическая логика и основания математики). - Пер. с нем. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.2
510.6
~РУБ 510

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ФУНДАМЕНТАЛЬНАЯ МАТЕМАТИКА
Доп.точки доступа:
Бернаис, Пауль
Адян, С. И. \ред.\

Имеются экземпляры в отделах: аунл (2 экз.)
Свободны: аунл (2)
Постоянная гиперссылка

17.

51
С 500

    Смаллиан, Рэймонд.
    Как же называется эта книга? : пер. с англ. / Р. М. Смаллиан ; пер. Ю. А. Данилов. - М. : Мир, 1981. - 237[3] с. : ил. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6
~РУБ 51

Кл.слова (ненормированные):
занимательная математика -- математическая логика
Доп.точки доступа:
Данилов, Ю. А. \пер.\

Имеются экземпляры в отделах: аунл (2 экз.)
Свободны: аунл (2)
Постоянная гиперссылка

18.

16
П 305

    Петров, Юрий Александрович.
    Математическая логика и материалистическая диалектика. (Проблемы логико-философских оснований и обоснования теорий) : / Ю. А. Петров. - М. : Издательство Московского университета, 1974. - 191, [1] с. : ил., табл. - Библиогр.: с. 190-191. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
164
510.6
167
~РУБ 16

Кл.слова (ненормированные):
философия -- математическая логика -- материалистическая диалектика -- методология науки -- языковые системы -- обоснование -- семиотика -- семантика

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

19.

16
Ф 561


    Философия и логика : / ред.: П. В. Таванец, В. А. Смирнов ; ред.: П. В. Таванец, В. А. Смирнов. - М. : Наука, 1974. - 478, [2] с. : табл. - (Философия в современном мире). - Библиогр. в конце ст. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
16
510.6
~РУБ 16

Кл.слова (ненормированные):
философия -- логика -- математическая логика -- теория познания -- методология науки
Доп.точки доступа:
Таванец, Петр Васильевич \ред.\
Смирнов, Владимир Александрович \ред.\
Академия наук СССР
Институт философии (М.)

Имеются экземпляры в отделах: аунл (2 экз.)
Свободны: аунл (2)
Постоянная гиперссылка

20.

519
И 889


    Исследования по формализованным языкам и неклассическим логикам [Текст] : научное издание / Академия наук СССР, Всесоюзный институт научно-технической информации ; ред. Д. А. Бочвар. - М. : Наука, 1974. - 275 с. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6
519.76
~РУБ 519
Доп.точки доступа:
Бочвар, Д. А. \ред.\
Академия наук СССР. Всесоюзный институт научно-технической информации

Имеются экземпляры в отделах: аунл (2 экз.)
Свободны: аунл (2)
Постоянная гиперссылка

1-20 21-26

Статистика за 09.07.2024
Число запросов	54517
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)