Главная Упрощенный режим Расшифровка мест хранения экземпляра

Базы данных


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

Вид поиска
Библиографическая БД ЦБС Кировского района
Краеведческая БД ЦБС Кировского района
Книжная БД ОКИО ЦБС Кировского района
Каталог электронной библиотеки ЦБС Кировского района
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>S=Математическая логика<.>
Общее количество найденных документов : 7
Показаны документы с 1 по 7
1.

Вид документа : Однотомное издание
Шифр издания : 22.1я7/К 60
Автор(ы) : Колмогоров, Андрей Николаевич (1903-1987), Драгалин, Альберт Григорьевич
Заглавие : Математическая логика : [учебное пособие для мат. спец. вузов] . -3-е изд., стер.
Выходные данные : Москва: КомКнига, 2006
Колич.характеристики :238, [2] с.: граф., табл.
Серия: Классический университетский учебник
Примечания : Библиогр.: с. 228. - В надзаг.: МГУ им. М. В. Ломоносова
ISBN (в пер.), Цена 5-484-00520-5: 213.50 р.
ББК : 22.12я73
Предметные рубрики: Математическая логика
Экземпляры : всего : Ф1(1), Ф4(1), Аб(1), ЧЗ(1)
Свободны : Ф1(1), Аб(1), ЧЗ(1)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 22.12я7/Л 65-499406
22.1я7/Л 65
Автор(ы) : Лихтарников, Леонид Моисеевич (1924-2007), Сукачева, Тамара Геннадьевна
Заглавие : Математическая логика : курс лекций : задачник-практикум и решения : учебное пособие : [для студентов университетов и педагогических вузов, изучающих математическую логику] . -3-е изд., испр.
Выходные данные : Санкт-Петербург: Лань, 2008
Колич.характеристики :276 с.: рис., табл.
Серия: Учебники для вузов. Специальная литература
Примечания : Библиогр.: с. 273. - На корешке авт. не указаны
ISBN (в пер.), Цена 978-5-8114-0082-9: 455.00 р.
ББК : 22.12я73
Предметные рубрики: Математическая логика
Экземпляры : всего : Ф1(1), Ф2(1), Ф4(1), Аб(1), Ф3(1)
Свободны : Ф1(1), Ф2(1), Ф3(1)
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 22.1/С 50
Автор(ы) : Смаллиан, Рэймонд Меррилл (1919-2017)
Заглавие : Принцесса или тигр? : [для старшего школьного возраста]
Выходные данные : Москва: Издательский дом Мещерякова, 2009
Колич.характеристики :350, [1] с.
Серия: Научные развлечения
Перевод издания: Smullyan, Raymond M. The lady or the tiger?. -1982
ISBN (в пер.), Цена 978-5-91045-122-7: 195.00, 257.00, р.
ББК : 22.1
Предметные рубрики: Математическая логика
Занимательная математика
Аннотация: Как узнать, в какой комнате находится прекрасная принцесса, а в какой - свирепый тигр? Все ли в порядке в психиатрической лечебнице доктора Смолля и профессора Перро? Можно ли выяснить, кто из жителей мрачной Трансильвании является страшным упырем? Хитроумный инспектор Крейг из Скотленд-Ярда сталкивается с подобными загадками едва ли не ежедневно и всегда с успехом разрешает их. Но сегодня инспектора ждет особенно трудная задача - нужно подобрать шифр к необычному замку запертого сейфа. Поняв, что одному не справиться, инспектор обращается за помощью к приятелям: специалисту по математической логике и чудаковатому изобретателю цифровых кодирующих машин. Вместе они пускаются в увлекательное путешествие по волнам математической логики, совершая удивительные открытия.
Экземпляры : всего : ЦДБ(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)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 22.1я7/И 26
Автор(ы) : Игошин, Владимир Иванович (1948- )
Заглавие : Математическая логика : учебное пособие для студентов высших учебных заведений, обучающихся по специальности 050201.65 - Математика
Выходные данные : Москва: ИНФРА-М, 2014
Колич.характеристики :398 с.: ил. + 1 эл. опт. диск (CD-ROM)
Серия: Высшее образование .
    Электронно-библиотечная система
Примечания : Библиогр.: с. 389-392 и в подстроч. примеч. - На тит. л.: Соответствует Федеральному государственному образовательному стандарту 3-го поколения
ISBN, Цена 978-5-16-005204-5: 487.67 р.
ББК : 22.12я73
Предметные рубрики: Математическая логика
Аннотация: Основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям "Математика", "Прикладная математика", "Математик-педагог", "Учитель математики" на уровнях бакалавриата, магистратуры, а также специалитета.
Экземпляры : всего : Аб(2), Ф2(1), Ф4(1), ЧЗ(1)
Свободны : Аб(2), Ф2(1), Ф4(1), ЧЗ(1)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : 22.1/С 50
Автор(ы) : Смаллиан, Рэймонд Меррилл (1919-2017)
Заглавие : Загадки Шехерезады и другие удивительные головоломки
Выходные данные : Москва: Зебра Е, 2013
Колич.характеристики :253, [2] с.
Серия: Подарим детям мир знаний
ISBN (в пер.), Цена 978-5-906339-16-4: 365.50 р.
ББК : 22.12
Предметные рубрики: Головоломки для детей
Математическая логика
Аннотация: Неиссякаемый изобретатель, юморист, великолепный придумщик - Рэймонд Смаллиан - в своей новой книге облекает логические задачи-новеллы в литературную форму, пародируя знаменитые "Арабские сказки". Действующие лица говорят и ведут себя так, как когда-то герои "Тысячи и одной ночи". Профессор Смаллиан откроет читателям правду и поведает о том, какая участь в действительности ждала Шехерезаду...
Экземпляры : всего : Ф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)
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : 22.1/К 72
Автор(ы) : Костюков, Леонид Владимирович (1959- )
Заглавие : Логика: доказательство и мышление : занимательная математика : [для среднего и старшего школьного возраста]
Выходные данные : Москва: ОЛМА Медиа Групп, 2014
Колич.характеристики :126, [1] с.: цв. ил.
Серия: Занимательная наука
ISBN (в пер.), Цена 978-5-373-06766-9: 284.86, 284.86, р.
ББК : 22.1
Предметные рубрики: Математическая логика
Занимательная математика
Экземпляры : всего : ЦДБ(2), Ф7(1), Ф6(1), Ф8(1)
Свободны : ЦДБ(2), Ф7(1), Ф6(1), Ф8(1)
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : 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)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)