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

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС «Лань»

ЭБС «Юрайт»

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

в найденном

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

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

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

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

1-10 11-20 21-26

А
Г 874

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

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

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

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

519
И 889


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

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

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

519
Д 354

    Депман, Иван Яковлевич.
    Первое знакомство с математической логикой [Текст] : научное издание / И. Я. Депман ; Общество "Знание" (Л.), Ленинградская организация. - 2-е изд. - Л. : [б. и.], 1965. - 56 с. - Б. ц.

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

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Доп.точки доступа:
Общество "Знание" (Л.). Ленинградская организация

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

519
Г 754

    Градштейн, Израиль Соломонович.
    Прямая и обратные теоремы. Элементы алгебры логики [Текст] : научное издание / И. С. Градштейн. - 4-е изд., стереотип. - М. : Наука, 1965. - 128 с. : ил. - Б. ц.

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

Кл.слова (ненормированные):
АЛГЕБРА ЛОГИКИ -- ТЕОРЕМЫ

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

681.5
Г 555

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

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

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

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

510
Г 474

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

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

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

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

510
Б 248

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

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

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

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

51
А 721

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

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

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

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

16
Ф 561


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

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

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

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

10.

16
П 305

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

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

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

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

11.

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)
Постоянная гиперссылка

12.

519
Ф 366

    Фейс, Роберт.
    Модальная логика : пер. с англ. / Р. Фейс ; ред. пер. с доп. Г. Е. Минц. - М. : Наука, 1974. - 520 с. : черт. - (Математическая логика и основания математики). - Библиогр. в конце глав. - Имен. указ.: с. 510-413. - Предм. указ.: с. 514-520. - Б. ц.

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

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

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

13.

51
Г 918

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

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

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

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

14.

519
Ш 233

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

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

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

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

15.

51
К 493

    Клини, Стефан Коул.
    Математическая логика : Пер. с англ. / С. К. Клини ; пер. Ю. А. Гастев, ред. пер. Г. Е. Минц. - М. : Мир, 1973. - 480 с. : ил., табл. - Библиогр.: с. 451-465. - Предм. указ.: с. 470-478. - (в пер.) : 2.00 р.

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

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

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

16.

519
К 268

    Карри, Хаскелл Б..
    Основания математической логики / Х. Б. Карри ; пер. В. В. Донченко ; ред. пер. Ю. А. Гастев. - М. : Мир, 1969. - 567[1] с. : ил., табл. - Пер. с англ. - Библиогр.: с. 516-517. - Предм. указ.: с. 518-562. - Алф. указ.: с. 563-567. - Б. ц.

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

Кл.слова (ненормированные):
ВЫСШАЯ МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Доп.точки доступа:
Донченко, В. В. \пер.\
Гастев, Ю. А. \ред. пер.\

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

17.

51
М 501

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

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

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

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

18.

51
М 501

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

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

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

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

19.

51
С 500

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

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

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

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

20.

51
С 500

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

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

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

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

1-10 11-20 21-26

Статистика за 26.06.2024
Число запросов	106417
Число заказов	0

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