Электронный каталог

32.81 П 252
Пенроуз, Роджер.
Новый ум короля. О компьютерах, мышлении и законах физики / Р. Пенроуз ; пер. с англ. под общ. ред. В. О. Малышенко. - Изд. 3-е. - Москва : URSS, [2008]. - 398 с. : ил. - (Синергетика: от прошлого к будущему). - Библиогр. : 384 - 390.. - ISBN 9785382007441

УДК

530.1

ББК 32.813 + 88.35

Рубрики: физические теории--монографии

кибернетика--искусственный интеллект--монографии

психические процессы--мышление--сознание--монографии

Кл.слова (ненормированные):
искусственный интеллект -- разум -- моделирование разума -- мышление -- математическое мышление -- Тьюринга машины -- сложных систем теория -- квантовая физика -- физические теории -- энтропия -- Большой взрыв -- черные дыры -- строение мозга -- сознание -- квантовая теория гравитации -- классическая физика
Доп.точки доступа:
Малышенко, Виктория О \ред.\

Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)

Пенроуз, Роджер. Новый ум короля. О компьютерах, мышлении и законах физики [Текст] / Р. Пенроуз ; пер. с англ. под общ. ред. В. О. Малышенко., [2008]. - 398 с. с.

12.

Краткое Полное

Подробнее

УДК

530.1

510(075.8) Л 656
Лихтарников, Леонид Моисеевич.
Математическая логика. Курс лекций. Задачник - практикум и решения : учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева. - Изд. 3-е, испр. - Санкт-Петербург : Лань, 2008. - 276 с. : табл., ил. - (Учебники для вузов. Специальная литература). - Библиогр. : с. 273.. - ISBN 9785811400829
Сер. указ. на обор. тит. л.

УДК

Рубрики: математическая логика--учебные издания для вузов

Кл.слова (ненормированные):
алгебра логики -- Буля алгебра -- двойственности закон -- исчисление высказываний -- логика предикатов -- математические теории -- алгоритмы (математическая логика) -- Тьюринга машины -- Маркова нормальные алгоритмы -- вычислимые функции -- Геделя теорема -- дедукции теорема -- кванторные операции
Доп.точки доступа:
Сукачева, Тамара Геннадьевна

Экземпляры всего: 1
ЕКВ ауд.402 учебная (1)
Свободны: ЕКВ ауд.402 учебная (1)

Лихтарников, Леонид Моисеевич. Математическая логика. Курс лекций. Задачник - практикум и решения [Текст] : учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева., 2008. - 276 с. с.

13.

Краткое Полное

Подробнее

УДК

510(075.8) Л 656
Лихтарников, Леонид Моисеевич.
Математическая логика. Курс лекций. Задачник-практикум и решения : учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева. - Изд. 4-е, стер. - Санкт-Петербург : Лань, 2009. - 276 с. : табл., ил. - (Учебники для вузов. Специальная литература). - Библиогр. : с. 273.. - ISBN 9785811400829
Сер. указ. на обор. тит. л.

УДК

Рубрики: математическая логика--учебные издания для вузов

Кл.слова (ненормированные):
алгебра логики -- логика предикатов -- исчисление высказываний -- алгоритмы -- математические теории -- вычислимые функции -- Тьюринга машины -- задачники (математическая логика) -- практикумы учебные (математическая логика)
Доп.точки доступа:
Сукачева, Тамара Геннадьевна

Экземпляры всего: 5
Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1), Абонемент учебной и научной литературы (3)
Свободны: Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1), Абонемент учебной и научной литературы (3)

Лихтарников, Леонид Моисеевич. Математическая логика. Курс лекций. Задачник-практикум и решения [Текст] : учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева., 2009. - 276 с. с.

14.

Краткое Полное

Подробнее

510(075.8) Л 656
Лихтарников, Леонид Моисеевич.
Математическая логика. Курс лекций. Задачник-практикум и решения : учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева. - Изд. 4-е, стер. - Санкт-Петербург : Лань, 2009. - 276 с. : табл., ил. - (Учебники для вузов. Специальная литература). - Библиогр. : с. 273.. - ISBN 9785811400829
Сер. указ. на обор. тит. л.

УДК

004.3(075.8) Ш 785
Шоломов, Лев Абрамович.
Основы теории дискретных логических и вычислительных устройств : учебное пособие для вузов / Л. А. Шоломов. - Изд. 3-е, испр. - Санкт-Петербург : Лань, 2011. - 429 с. : ил., табл. - (Учебники для вузов. Специальная литература). - Библиогр. : с. 410-413. - ISBN 9785811411979
Предметный указатель : с. 419-427

УДК

004.3(075.8)

Рубрики: автоматические устройства--логические элементы--учебные издания для вузов

   вычислительные устройства--теоретические основы--учебные издания для вузов

   дискретные устройства--теоретические основы--учебные издания для вузов

   логические устройства--теоретические основы--учебные издания для вузов

Кл.слова (ненормированные):
логические функции -- логические элементы -- конечные автоматы -- модели алгоритов -- алгоритмов теория -- Тьюринга машины -- вычислительные машины -- алгоритмическая неразрешимость -- помехоустойчивое кодирование -- кодирование равномерное -- коды линейные -- коды циклические -- передача дискретной информации -- сжатие информации -- Шеннона теорема
Экземпляры всего: 5
Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (3), Ч/З о. Русский (1)
Свободны: Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (3), Ч/З о. Русский (1)

Шоломов, Лев Абрамович. Основы теории дискретных логических и вычислительных устройств [Текст] : учебное пособие для вузов / Л. А. Шоломов, 2011. - 429 с. с.

15.

Краткое Полное

Подробнее

УДК

004.3(075.8)

004.2(075.8) В 949

Вычислительные наноструктуры : учебное пособие / [Г. М. Алакоз, А. В. Котов, М. В. Курак и др.] ; под ред. Г. М. Алакоза. - Москва : Интернет-Университет Информационных Технологий, 2010 - . - (Основы информационных технологий).
[в 2 ч.] : ч. 1 : Задачи, модели, структуры. - 487 с. : ил., табл. - Библиогр. : с. 470 - 487.. - ISBN 9785996302239. - ISBN 9785996302222
Авт. указ. на обор. тит. л.

УДК

004.272-022.532(075.8)

Рубрики: вычислительная техника--архитектура--учебные издания для вузов

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

Экземпляры всего: 2
Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (1)
Свободны: Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (1)

Вычислительные наноструктуры [Текст] : учебное пособие / [Г. М. Алакоз, А. В. Котов, М. В. Курак и др.] ; под ред. Г. М. Алакоза. - (Основы информационных технологий). [в 2 ч.] : ч. 1 : Задачи, модели, структуры, 2010. - 487 с. с.

16.

Краткое Полное

Подробнее

УДК

004.272-022.532(075.8)

510(075.8) И 269
Игошин, Владимир Иванович.
Математическая логика и теория алгоритмов : учебное пособие для вузов / В. И. Игошин. - Москва : Академия, 2004. - 447 с. - (Высшее профессиональное образование). - Библиогр. : с. 435-442.. - ISBN 5769513632

УДК

Рубрики: математическая логика--учебные издания для вузов

алгоритмов теория--учебные издания для вузов

Кл.слова (ненормированные):
алгебра высказываний -- высказывания (математическая логика) -- формулы (математическая логика) -- булевы функции -- системы булевых функций -- формализованное исчисление высказываний -- логика предикатов -- логические операции -- предикаты (математическая логика) -- формализованное исчисление предикатов -- аксиоматические теории -- теория алгоритмов -- Тьюринга машины -- Маркова алгоритмы -- искусственный интеллект
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)

Игошин, Владимир Иванович. Математическая логика и теория алгоритмов [Текст] : учебное пособие для вузов / В. И. Игошин., 2004. - 447 с. с.

17.

Краткое Полное

Подробнее

УДК

510(075.8) Г 371
Герасимов, Александр Сергеевич.
Курс математической логики и теории вычислимости : учебное пособие / А. С. Герасимов. - Изд. 4-е, перераб. и доп. - Санкт-Петербург : Лань, 2014. - 409 с. - (Учебники для вузов. Специальная литература). - Библиогр. : с. 380-383.. - ISBN 9785811416660

УДК

Рубрики: математическая логика--учебные издания для вузов

алгоритмов теория--учебные издания для вузов

Кл.слова (ненормированные):
исчисление высказываний -- исчисление предикатов -- аксиоматические теории -- теория вычислимости -- Тьюринга машины -- вычислимые функции
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)

Герасимов, Александр Сергеевич. Курс математической логики и теории вычислимости [Текст] : учебное пособие / А. С. Герасимов., 2014. - 409 с. с.

18.

Краткое Полное

Подробнее

УДК

519.1 К 891
Кузнецов, Олег Павлович.
Дискретная математика для инженера / О. П. Кузнецов, Г. М. Адельсон-Вельский. - 2-е изд., перераб. и доп. - Москва : Энергоатомиздат, 1988. - 480 с. : ил., табл. - Библиогр. : с. 473-475.. - ISBN 5283015637

УДК

519.1

Рубрики: дискретная математика

графов теория

Кл.слова (ненормированные):
множеств теория -- общая алгебра -- математические операции -- логические функции -- логика предикатов -- алгоритмов теория -- рекурсивные функции -- Тьюринга машины -- формальные системы -- исчисление предикатов -- математическое исчисление -- логическое исчисление -- формальные грамматики -- семантика формальных языков
Доп.точки доступа:
Адельсон-Вельский, Георгий Максимович

Экземпляры всего: 2
Ч/З о. Русский (2)
Свободны: Ч/З о. Русский (2)

Кузнецов, Олег Павлович. Дискретная математика для инженера [Текст] / О. П. Кузнецов, Г. М. Адельсон-Вельский., 1988. - 480 с. с.

19.

Краткое Полное

Подробнее

УДК

519.1

510(075.8)
Е 515
Елисеенко, Ирина Леонидовна.
Математическая логика : учебно-методический комплекс для вузов / И. Л. Елисеенко, Г. Ю. Дмух ; Дальневосточный государственный технический университет. ; Дальневосточный государственный технический университет (Владивосток). - Владивосток : Изд-во Дальневосточного технического университета, 2008. - 131 с. : табл., ил. - (Инновационная образовательная программа ДВГТУ.). - Библиогр. : с. 129.. - ISBN 9785759609223

УДК

510(075.8)

Рубрики: математическая логика--учебные издания для вузов

Кл.слова (ненормированные):
Поста теорема -- базисы -- исчисление высказываний -- система аксиом -- дедукции теорема -- исчисление предикатов -- алгоритмов теория -- Тьюринга машины -- практикумы учебные (математическая логика) -- булевы функции
Доп.точки доступа:
Дмух, Галина Юрьевна
Дальневосточный государственный технический университет (Владивосток)

Экземпляры всего: 57
ЕКВ ауд.402 учебная (48), Хранение Отдела организации и использования фонда (1), Абонемент о. Русский (5), Ч/З о. Русский (3)
Свободны: ЕКВ ауд.402 учебная (48), Хранение Отдела организации и использования фонда (1), Абонемент о. Русский (5), Ч/З о. Русский (3)

Елисеенко, Ирина Леонидовна. Математическая логика [Текст] : учебно-методический комплекс для вузов / И. Л. Елисеенко, Г. Ю. Дмух ; Дальневосточный государственный технический университет., 2008. - 131 с. с.

20.

Краткое Полное

Подробнее

УДК

510(075.8)