СПб ГБУК "Централизованная библиотечная система Кировского района"

Главная

Упрощенный режим

Расшифровка мест хранения экземпляра

Базы данных

Книжная БД ОКИО ЦБС Кировского района- результаты поиска

Вид поиска

Библиографическая БД ЦБС Кировского района

Краеведческая БД ЦБС Кировского района

Книжная БД ОКИО ЦБС Кировского района

Каталог электронной библиотеки ЦБС Кировского района

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

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

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

Поисковый запрос: <.>S=Математическая логика<.>

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

   22.1я7
   К 60

    Колмогоров, Андрей Николаевич (1903-1987).
    Математическая логика : [учебное пособие для мат. спец. вузов] / А. Н. Колмогоров, А. Г. Драгалин. - 3-е изд., стер. - Москва : КомКнига, 2006. - 238, [2] с. : граф., табл. - (Классический университетский учебник). - Библиогр.: с. 228. - В надзаг.: МГУ им. М. В. Ломоносова. - ISBN 5-484-00520-5 (в пер.) : 213.50 р.

ББК 22.12я73
Рубрики: Математическая логика--Учебные издания для высших учебных заведений; Задачники

Держатели документа:
Кировского района ЦБС

Доп.точки доступа:
Драгалин, Альберт Григорьевич (1941-1998)
Экземпляры всего: 4
Ф1 (1), Ф4 (1), Аб (1), ЧЗ (1)
Свободны: Ф1 (1), Аб (1), ЧЗ (1)

Найти похожие

22.12я7/Л 65-499406
   22.1я7
   Л 65

    Лихтарников, Леонид Моисеевич (1924-2007).
    Математическая логика : курс лекций : задачник-практикум и решения : учебное пособие : [для студентов университетов и педагогических вузов, изучающих математическую логику] / Л. М. Лихтарников, Т. Г. Сукачева. - 3-е изд., испр. - Санкт-Петербург : Лань, 2008. - 276 с. : рис., табл. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 273. - На корешке авт. не указаны. - 2000 экз.. - ISBN 978-5-8114-0082-9 (в пер.) : 455.00 р.

ББК 22.12я73
Рубрики: Математическая логика--Учебные издания для высших учебных заведений; Задачники

Держатели документа:
Кировского района ЦБС

Доп.точки доступа:
Сукачева, Тамара Геннадьевна
Экземпляры всего: 5
Ф1 (1), Ф2 (1), Ф4 (1), Аб (1), Ф3 (1)
Свободны: Ф1 (1), Ф2 (1), Ф3 (1)

Найти похожие

22.1
С 50

Смаллиан, Рэймонд Меррилл (1919-2017).
Принцесса или тигр? : [для старшего школьного возраста] / Рэймонд М. Смаллиан ; [пер. с англ. И. Зино]. - Москва : Издательский дом Мещерякова, 2009. - 350, [1] с. - (Научные развлечения). - Пер. изд. : The lady or the tiger? / Raymond M. Smullyan. - 1982. - 5100 экз.. - ISBN 978-5-91045-122-7 (в пер.) : 195.00 р., 257.00 р.

ББК 22.1
Рубрики: Математическая логика--Издания для детей
Занимательная математика--Издания для детей
Аннотация: Как узнать, в какой комнате находится прекрасная принцесса, а в какой - свирепый тигр? Все ли в порядке в психиатрической лечебнице доктора Смолля и профессора Перро? Можно ли выяснить, кто из жителей мрачной Трансильвании является страшным упырем? Хитроумный инспектор Крейг из Скотленд-Ярда сталкивается с подобными загадками едва ли не ежедневно и всегда с успехом разрешает их. Но сегодня инспектора ждет особенно трудная задача - нужно подобрать шифр к необычному замку запертого сейфа. Поняв, что одному не справиться, инспектор обращается за помощью к приятелям: специалисту по математической логике и чудаковатому изобретателю цифровых кодирующих машин. Вместе они пускаются в увлекательное путешествие по волнам математической логики, совершая удивительные открытия.

Держатели документа:
Кировского района ЦБС

Доп.точки доступа:
Зино, И. \пер.\; Smullyan, Raymond M.; Smullyan, Raymond M.
Экземпляры всего: 13
ЦДБ (2), Ф7 (1), Ф1 (1), Ф2 (1), Ф4 (2), Аб (1), Ф6 (1), Ф10 (1), Ф3 (1), Ф5 (1), Ф8 (1)
Свободны: ЦДБ (2), Ф7 (1), Ф1 (1), Ф2 (1), Ф4 (2), Ф10 (1), Ф3 (1), Ф5 (1), Ф8 (1)

Найти похожие

   22.1я7
   И 26

    Игошин, Владимир Иванович (1948- ).
    Математическая логика [текст] : учебное пособие для студентов высших учебных заведений, обучающихся по специальности 050201.65 - Математика / В. И. Игошин. - Москва : ИНФРА-М, 2014. - 398 с. : ил. + 1 эл. опт. диск (CD-ROM). - (Высшее образование) (Электронно-библиотечная система). - Библиогр.: с. 389-392 и в подстроч. примеч. - На тит. л.: Соответствует Федеральному государственному образовательному стандарту 3-го поколения. - 1000 экз.. - ISBN 978-5-16-005204-5 : 487.67 р.

ББК 22.12я73
Рубрики: Математическая логика--Учебники и учебные пособия для высших учебных заведений
Аннотация: Основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям "Математика", "Прикладная математика", "Математик-педагог", "Учитель математики" на уровнях бакалавриата, магистратуры, а также специалитета.

Держатели документа:
Кировского района ЦБС
Экземпляры всего: 5
Аб (2), Ф2 (1), Ф4 (1), ЧЗ (1)
Свободны: Аб (2), Ф2 (1), Ф4 (1), ЧЗ (1)

Найти похожие

   22.1
   С 50

    Смаллиан, Рэймонд Меррилл (1919-2017).
    Загадки Шехерезады и другие удивительные головоломки [текст] / Рэймонд Смаллиан ; [пер. с англ. Натальи Кузьминовой]. - Москва : Зебра Е, 2013. - 253, [2] с. - (Подарим детям мир знаний). - 5000 экз.. - ISBN 978-5-906339-16-4 (в пер.) : 365.50 р.

ББК 22.12
Рубрики: Головоломки для детей
Математическая логика--Издания для детей
Аннотация: Неиссякаемый изобретатель, юморист, великолепный придумщик - Рэймонд Смаллиан - в своей новой книге облекает логические задачи-новеллы в литературную форму, пародируя знаменитые "Арабские сказки". Действующие лица говорят и ведут себя так, как когда-то герои "Тысячи и одной ночи". Профессор Смаллиан откроет читателям правду и поведает о том, какая участь в действительности ждала Шехерезаду...

Держатели документа:
Кировского района ЦБС

Доп.точки доступа:
Кузьминова, Наталья \пер.\
Экземпляры всего: 10
Ф1 (1), Ф2 (1), Ф4 (2), Аб (2), ЦДБ (1), Ф7 (1), Ф6 (1), Ф8 (1)
Свободны: Ф1 (1), Ф2 (1), Ф4 (2), Аб (2), ЦДБ (1), Ф7 (1), Ф6 (1), Ф8 (1)

Найти похожие

22.1
К 72

Костюков, Леонид Владимирович (1959- ).
Логика: доказательство и мышление [текст] : занимательная математика : [для среднего и старшего школьного возраста] / Леонид Костюков ; [худож. Н. Васильева, Ю. Елисеев]. - Москва : ОЛМА Медиа Групп, 2014. - 126, [1] с. : цв. ил. - (Занимательная наука). - 3000 экз.. - ISBN 978-5-373-06766-9 (в пер.) : 284.86 р., 284.86 р.

ББК 22.1
Рубрики: Математическая логика--Издания для детей
Занимательная математика

Держатели документа:
Кировского района ЦБС

Доп.точки доступа:
Васильева, Н. \ил.\; Елисеев, Ю. \ил.\
Экземпляры всего: 5
ЦДБ (2), Ф7 (1), Ф6 (1), Ф8 (1)
Свободны: ЦДБ (2), Ф7 (1), Ф6 (1), Ф8 (1)

Найти похожие

6692-6933-8598-4434-0159
   22.1я7
   Г 85

    Гринченков, Дмитрий Валерьевич.
    Математическая логика и теория алгоритмов для программистов [текст] : учебное пособие для студентов высших учебных заведений, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника" / Д. В. Гринченков, С. И. Потоцкий. - Москва : КноРус, 2017. - 206 с. : ил., табл. - Библиогр.: с. 205-206 (24 назв.). - ISBN 978-5-406-05421-5 : 312.80 р.

ББК 22.12я73
Рубрики: Математическая логика--Учебники и учебные пособия для высших учебных заведений
Алгоритмов теория--Учебники и учебные пособия для высших учебных заведений
PROLOG, язык программирования--Учебники и учебные пособия для высших учебных заведений

Держатели документа:
Кировского района ЦБС

Доп.точки доступа:
Потоцкий, Сергей Иванович
Экземпляры всего: 2
ЦБ (2)
Свободны: ЦБ (2)

Тематический навигатор

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