Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> Математика = mathematics
----> математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Печать списка
Доступно
1 из 3
Доступно
1 из 4
Доступно
1 из 2
Доступно
2 из 4
Доступно
1 из 5
Доступно
1 из 1
Доступно
1 из 4
Доступно
1 из 3
Доступно
1 из 1
Доступно
1 из 3
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 2
Доступно
1 из 3
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 5
Доступно
1 из 4
Доступно
2 из 3
Доступно
1 из 3
Доступно
1 из 3
Доступно
1 из 32
Доступно
1 из 18
Доступно
1 из 3
Доступно
1 из 3
Доступно
1 из 2
Доступно
1 из 11
Доступно
1 из 1
Доступно
1 из 3
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 2
Доступно
1 из 4
Доступно
1 из 2
Доступно
1 из 5
Доступно
1 из 4
Доступно
1 из 34
Доступно
1 из 2
Доступно
1 из 2
Доступно
1 из 3
Доступно
1 из 10
Доступно
1 из 35
Доступно
1 из 141
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 4
--> Математика = mathematics
----> математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Рубрика
- Название:
- математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
Печать списка
Связанные описания:


Доступно
1 из 3
Книга
Фреге, Г.
Логика и логическая семантика
ISBN 978-5-397-04924-5
Фреге, Г.
Логика и логическая семантика
Серия: Сер. "Классики науки"
УРСС, Книжный дом "Либроком", 2015 г.ISBN 978-5-397-04924-5

Доступно
1 из 4
Книга
Смирнова, Е. Д.
Логика и философия
ISBN 5-86004-039-3
Смирнова, Е. Д.
Логика и философия
Серия: Сер. "Научная философия"
РОССПЭН, 1996 г.ISBN 5-86004-039-3

Доступно
1 из 2
Книга
Яновская, С. А.
Логика и философия математики
ISBN 978-5-9710243-3-0
Яновская, С. А.
Логика и философия математики
Серия: Сер. "Из научного наследия"
УРСС, ЛЕНАНД, 2016 г.ISBN 978-5-9710243-3-0

Доступно
2 из 4
Книга
Бахтияров, К. И.
Логика с точки зрения информатики: бестселлер в духе Льюиса Кэрролла (12 этюдов)
УРСС, 2002 г.
ISBN отсутствует
Бахтияров, К. И.
Логика с точки зрения информатики: бестселлер в духе Льюиса Кэрролла (12 этюдов)
УРСС, 2002 г.
ISBN отсутствует

Доступно
1 из 5

Доступно
1 из 1

Доступно
1 из 4

Доступно
1 из 3
Книга
Фреге, Г.
Логико-философские труды: логические исследования; основоположения арифметики
Сибирское унив. изд-во, 2008 г.
ISBN 978-5-379-00760-7
Фреге, Г.
Логико-философские труды: логические исследования; основоположения арифметики
Сибирское унив. изд-во, 2008 г.
ISBN 978-5-379-00760-7

Доступно
1 из 1
Книга
Кэрролл, Л.
Логическая игра
ISBN 5-02-014220-4
Кэрролл, Л.
Логическая игра
Серия: Б-чка "Квант"
Наука. Гл. ред. физ.-мат. лит., 1991 г.ISBN 5-02-014220-4

Доступно
1 из 3

Доступно
1 из 1
Книга
Левин, В. И.
Логическая теория надежности сложных систем
ISBN отсутствует
Левин, В. И.
Логическая теория надежности сложных систем
Серия: Сер. "Надежность и качество"
Энергоатомиздат, 1985 г.ISBN отсутствует

Доступно
1 из 2

Доступно
1 из 2
Книга
Тей, А.
Логический подход к искусственному интеллекту: от классической логики к логическому программированию
Мир, 1990 г.
ISBN 5-03-001636-8
Тей, А.
Логический подход к искусственному интеллекту: от классической логики к логическому программированию
Мир, 1990 г.
ISBN 5-03-001636-8

Доступно
1 из 3
Книга
Гаврилов, М. А.
Логическое проектирование дискретных автоматов: языки, методы, алгоритмы
Наука. Гл. ред. физ.-мат. лит., 1977 г.
ISBN отсутствует
Гаврилов, М. А.
Логическое проектирование дискретных автоматов: языки, методы, алгоритмы
Наука. Гл. ред. физ.-мат. лит., 1977 г.
ISBN отсутствует

Доступно
1 из 1
Книга
Пухальский, Г. И.
Логическое проектирование цифровых устройств радиотехнических систем
Изд-во Ленингр. ун-та, 1976 г.
ISBN отсутствует
Пухальский, Г. И.
Логическое проектирование цифровых устройств радиотехнических систем
Изд-во Ленингр. ун-та, 1976 г.
ISBN отсутствует

Доступно
1 из 1
Книга
Башмакова, И. Г.
Математика XIX века: математическая логика, алгебра, теория чисел, теория вероятностей
Наука, 1978 г.
ISBN отсутствует
Башмакова, И. Г.
Математика XIX века: математическая логика, алгебра, теория чисел, теория вероятностей
Наука, 1978 г.
ISBN отсутствует

Доступно
1 из 2

Доступно
1 из 5
Книга
Грес, П. В.
Математика для гуманитариев: общий курс: учеб. пособие для вузов
ISBN 978-5-9869911-3-9
Грес, П. В.
Математика для гуманитариев: общий курс: учеб. пособие для вузов
Серия: Новая университетская б-ка
Логос, Университетская книга, 2009 г.ISBN 978-5-9869911-3-9

Доступно
1 из 4
Книга
Грес, П. В.
Математика для гуманитариев: учеб. пособие для вузов
ISBN 5-9870409-4-9
Грес, П. В.
Математика для гуманитариев: учеб. пособие для вузов
Серия: Сер. "Учебник XXI века"
Логос, 2006 г.ISBN 5-9870409-4-9

Доступно
2 из 3
Книга
Ганичева, А. В.
Математика для психологов: учеб. пособие для вузов
Аспект Пресс, 2005 г.
ISBN 5-7567-0362-4
Ганичева, А. В.
Математика для психологов: учеб. пособие для вузов
Аспект Пресс, 2005 г.
ISBN 5-7567-0362-4

Доступно
1 из 3

Доступно
1 из 3

Доступно
1 из 32
Книга
Жолков, С. Ю.
Математика и информатика для гуманитариев: учебник для вузов
Альфа-М, ИНФРА-М, 2005 г.
ISBN 5-9828104-9-5
Жолков, С. Ю.
Математика и информатика для гуманитариев: учебник для вузов
Альфа-М, ИНФРА-М, 2005 г.
ISBN 5-9828104-9-5

Доступно
1 из 18
Книга
Жолков, С. Ю.
Математика и информатика для гуманитариев: учебник для вузов
Гардарики, 2002 г.
ISBN 5-8297-0089-1
Жолков, С. Ю.
Математика и информатика для гуманитариев: учебник для вузов
Гардарики, 2002 г.
ISBN 5-8297-0089-1

Доступно
1 из 3

Доступно
1 из 3

Доступно
1 из 2
Книга
Пойа, Д.
Математика и правдоподобные рассуждения
Наука. Гл. ред. физ.-мат. лит., 1975 г.
ISBN отсутствует
Пойа, Д.
Математика и правдоподобные рассуждения
Наука. Гл. ред. физ.-мат. лит., 1975 г.
ISBN отсутствует

Доступно
1 из 11
Книга
Пойа, Д.
Математика и правдоподобные рассуждения: Т.1. Индукция и аналогия в математике, Т.2. Схемы правдоподобных умозаключений
УРСС, Книжный дом "Либроком", 2010 г.
ISBN 9785397011556
Пойа, Д.
Математика и правдоподобные рассуждения: Т.1. Индукция и аналогия в математике, Т.2. Схемы правдоподобных умозаключений
УРСС, Книжный дом "Либроком", 2010 г.
ISBN 9785397011556

Доступно
1 из 1
Книга
Пойа, Д.
Математика и правдоподобные рассуждения: Т.1. Индукция и аналогия в математике, Т.2. Схемы правдоподобных умозаключений
Изд-во иностр. лит., 1957 г.
ISBN отсутствует
Пойа, Д.
Математика и правдоподобные рассуждения: Т.1. Индукция и аналогия в математике, Т.2. Схемы правдоподобных умозаключений
Изд-во иностр. лит., 1957 г.
ISBN отсутствует

Доступно
1 из 3

Доступно
1 из 2

Доступно
1 из 1

Доступно
1 из 2
Книга
Юдин, Д. Б.
Математики измеряют сложность
УРСС, Книжный дом "Либроком", 2014 г.
ISBN 978-5-397-04148-5
Юдин, Д. Б.
Математики измеряют сложность
УРСС, Книжный дом "Либроком", 2014 г.
ISBN 978-5-397-04148-5

Доступно
1 из 2

Доступно
1 из 4

Доступно
1 из 2
Книга
Тимофеева, И. Л.
Математическая логика: курс лекций: учеб. пособие для вузов
КДУ, 2007 г.
ISBN отсутствует
Тимофеева, И. Л.
Математическая логика: курс лекций: учеб. пособие для вузов
КДУ, 2007 г.
ISBN отсутствует

Доступно
1 из 5

Доступно
1 из 4
Книга
Колмогоров, А. Н.
Математическая логика: учеб. пособие для вузов
УРСС, КомКнига, 2006 г.
ISBN 5-484-00520-5
Колмогоров, А. Н.
Математическая логика: учеб. пособие для вузов
УРСС, КомКнига, 2006 г.
ISBN 5-484-00520-5

Доступно
1 из 34
Книга
Ершов, Ю. Л.
Математическая логика: учеб. пособие для вузов
Наука. Гл. ред. физ.-мат. лит., 1979 г.
ISBN отсутствует
Ершов, Ю. Л.
Математическая логика: учеб. пособие для вузов
Наука. Гл. ред. физ.-мат. лит., 1979 г.
ISBN отсутствует

Доступно
1 из 2
Книга
Игошин, В. И.
Математическая логика: учеб. пособие для вузов
ISBN 978-5-16-011691-4
Игошин, В. И.
Математическая логика: учеб. пособие для вузов
Серия: Сер. "Высшее образование"
ИНФРА-М, 2016 г.ISBN 978-5-16-011691-4

Доступно
1 из 2
Книга
Колмогоров, А. Н.
Математическая логика: доп. главы: учеб. пособие для вузов
Изд-во Моск. ун-та, 1984 г.
ISBN отсутствует
Колмогоров, А. Н.
Математическая логика: доп. главы: учеб. пособие для вузов
Изд-во Моск. ун-та, 1984 г.
ISBN отсутствует

Доступно
1 из 3
Книга
Лихтарников, Л. М.
Математическая логика: курс лекций : задачник-практикум и решения : учеб. пособие для вузов
Лань, 1999 г.
ISBN 5-8114-0082-9
Лихтарников, Л. М.
Математическая логика: курс лекций : задачник-практикум и решения : учеб. пособие для вузов
Лань, 1999 г.
ISBN 5-8114-0082-9

Доступно
1 из 10
Книга
Шапорев, С. Д.
Математическая логика: курс лекций и практических занятий
БХВ-Петербург, 2005 г.
ISBN 5-941577-02-8
Шапорев, С. Д.
Математическая логика: курс лекций и практических занятий
БХВ-Петербург, 2005 г.
ISBN 5-941577-02-8

Доступно
1 из 35
Книга
Ершов, Ю. Л.
Математическая логика: учеб. пособие для вузов
Наука. Гл. ред. физ.-мат. лит., 1987 г.
ISBN отсутствует
Ершов, Ю. Л.
Математическая логика: учеб. пособие для вузов
Наука. Гл. ред. физ.-мат. лит., 1987 г.
ISBN отсутствует

Доступно
1 из 141

Доступно
1 из 2
Книга
Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Наука. Гл. ред. физ.-мат. лит., 1983 г.
ISBN отсутствует
Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Наука. Гл. ред. физ.-мат. лит., 1983 г.
ISBN отсутствует

Доступно
1 из 1
Книга
Карпов, В. Г.
Математическая логика и дискретная математика
Вышэйшая школа, 1977 г.
ISBN отсутствует
Карпов, В. Г.
Математическая логика и дискретная математика
Вышэйшая школа, 1977 г.
ISBN отсутствует

Доступно
1 из 4