Сборник задач по математической логике : (исчисления предикатов, теория моделей, теория вычислимости) : учебное пособие : для студентов 2-го курса ММФ НГУ для подготовки дипломированного бакалавра по профессиональному циклу (базовая часть) по направлению подготовки "Математика"

2598

Купить

Краткое содержание:

Экранизация книги

Сборник задач по математической логике : (исчисления предикатов, теория моделей, теория вычислимости) : учебное пособие : для студентов 2-го курса ММФ НГУ для подготовки дипломированного бакалавра по профессиональному циклу (базовая часть) по направлению подготовки "Математика"

Rating: 4.5
ISBN: 978-5-4437-0314-5

Авторы:

Кравченко Александр Владимирович
Кудинов Олег Викторович

Год:

2014

isbn:

978-5-4437-0314-5

Язык:

Русский

Страниц:

Описание:

Кравченко А. В., Кудинов О. В. Сборник задач по математической логике : (исчисления предикатов, теория моделей, теория вычислимости) : учебное пособие : [для студентов 2-го курса ММФ НГУ для подготовки дипломированного бакалавра по профессиональному циклу (базовая часть) по направлению подготовки "Математика"] / А. В. Кравченко, О. В. Кудинов; М-во образования и науки РФ, Новосиб. гос. ун-т, Мех.-мат. фак., Каф. дискрет. математики и информатики. - Новосибирск : НГУ, 2014. - 75 с. ; 21 см

Рейтинг по отзывам:

4.5

Материалы:

Реферат, Курсовая, ВКР/Диплом, Диссертация

Рубрики:

Математическая логика → Задачники

Дата создания:

2021-08-01 21:14:57

Соц. сети:

Важно

Реставрация книги

Пожалуйста, помогите актуализировать информацию

Загрузить фотографию актуальной обложки книги

Дополнить или обновить информацию о книге

Реферат по теме Сборник задач по математической логике : (исчисления предикатов, теория моделей, теория вычислимости) : учебное пособие : для студентов 2-го курса ММФ НГУ для подготовки дипломированного бакалавра по профессиональному циклу (базовая часть) по направлению подготовки "Математика"

Заказать реферат Узнать стоимость Скачать пример

Курсовая по теме Сборник задач по математической логике : (исчисления предикатов, теория моделей, теория вычислимости) : учебное пособие : для студентов 2-го курса ММФ НГУ для подготовки дипломированного бакалавра по профессиональному циклу (базовая часть) по направлению подготовки "Математика"

Заказать курсовую Узнать стоимость Скачать пример

ВКР/Диплом по теме Сборник задач по математической логике : (исчисления предикатов, теория моделей, теория вычислимости) : учебное пособие : для студентов 2-го курса ММФ НГУ для подготовки дипломированного бакалавра по профессиональному циклу (базовая часть) по направлению подготовки "Математика"

Заказать диплом Узнать стоимость Скачать пример

Диссертация по теме Сборник задач по математической логике : (исчисления предикатов, теория моделей, теория вычислимости) : учебное пособие : для студентов 2-го курса ММФ НГУ для подготовки дипломированного бакалавра по профессиональному циклу (базовая часть) по направлению подготовки "Математика"

Заказать диссертацию Узнать стоимость Скачать пример

Заработать на знаниях по теме Сборник задач по математической логике : (исчисления предикатов, теория моделей, теория вычислимости) : учебное пособие : для студентов 2-го курса ММФ НГУ для подготовки дипломированного бакалавра по профессиональному циклу (базовая часть) по направлению подготовки "Математика"

Заработать от 15 000 руб. до 150 000 руб.

Реставрация Сборник задач по математической логике : (исчисления предикатов, теория моделей, теория вычислимости) : учебное пособие : для студентов 2-го курса ММФ НГУ для подготовки дипломированного бакалавра по профессиональному циклу (базовая часть) по направлению подготовки "Математика"

Мойка листов, чистка, отбеливание, устранение заломов, восстановление разрывов, следов от влаги, травление насекомых, реставрация обложки и корешка, устранение укусов от собак и восстановление заломов на картоне, восстановление после падений, восстановление тиснения и рисунков, художественная покраска всех элементов обложки от мастеров Ленинской библиотеки. Мелкий ремонт (удаление пятен, плесени) или реставрацию обложки, уголков, корешка, листов, переплета книги

Показать контакты

Наличие в библиотеках

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №221 им. Р.И. Рождественского

Москва, Москва, Солнцево район
Авиаторов, 7
Расположение на карте

санитарный день: последняя пт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00

bibliozao.ru
Вконтакте: https://vk.com/biblioteka221
Инстаграм: https://instagram.com/biblioteka221_rozhdestvenskogo
Facebook: https://facebook.com/library221

+7 (495) 435-81-43

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека Томилино, МУК

Московская область, Люберцы городской округ, рп. Томилино, Хлыстово д.
Пионерская, 20
Расположение на карте

санитарный день: последний день месяца
Вт: 09:30-18:00
Ср: 09:30-18:00
Чт: 09:30-18:00
Пт: 09:30-18:00
Сб: 09:30-19:00

tomlibrary.ru

+7 (495) 557-15-43

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Центральная городская библиотека им. А.И. Герцена

Свердловская область, Екатеринбург городской округ, Екатеринбург, Ленинский район, Центр
Чапаева, 5
Расположение на карте

санитарный день: последняя ср месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-18:00

gercenka.weebly.com
Вконтакте: https://vk.com/ekmob
Facebook: https://facebook.com/gercenka
Youtube: https://youtube.com/user/gercenka

+7 (343) 257-04-49 +7 (343) 257-84-08 +7 (343) 257-84-07

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №28 им. А.М. Горького

Свердловская область, Екатеринбург городской округ, Екатеринбург, Орджоникидзевский район, Уралмаш
Ильича, 20
Расположение на карте

санитарный день: последняя ср месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 09:00-18:00

Вконтакте: https://vk.com/club58223024
Facebook: https://facebook.com/groups/207623679413922

+7 (343) 338-39-92 +7 (343) 338-38-97

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека, с. Кунгурка

Свердловская область, Ревда городской округ, с. Кунгурка
Рабоче-Крестьянская, 55
Расположение на карте

Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00

www.lib-revda.ru

+7 (34397) 6-82-31 +7 (34397) 5-32-70

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №10

Воронежская область, Воронеж городской округ, Воронеж, Левобережный район
Туполева, 15а
Расположение на карте

Вт: 09:00-13:00 14:00-18:00
Ср: 09:00-13:00 14:00-18:00
Чт: 09:00-13:00 14:00-18:00
Пт: 09:00-13:00 14:00-18:00
Сб: 09:00-13:00 14:00-18:00

+7 (473) 237-81-63

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Центральная городская библиотека им. Верещагина В.В.

Вологодская область, Череповец городской округ, Череповец
Доменщиков бульвар, 32
Расположение на карте

зимний период: пн, сб 10:00-18:00; вт-пт 9:00-20:00; санитарный день: первая пт месяца
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00

www.cherlib.ru

+7 (8202) 57-80-54 +7 (8202) 57-28-28 +7 (8202) 50-13-17

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №3, Фрунзенский район

Санкт-Петербург, Санкт-Петербург, Фрунзенский район, МО №71 "Волковское"
Стрельбищенская, 26
Расположение на карте

санитарный день: последний день месяца; зимний период: пн-пт 11:00-19:00; сб 10:00-17:00
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00

+7 (812) 766-68-28

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека им. М.Горького

Краснодарский край, Динской район, ст-ца Новотитаровская
Советская, 62
Расположение на карте

Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00

+7 (861) 624-33-36

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека им. А.П. Чехова

Омская область, Омск городской округ, Омск, Октябрьский округ
Кирова, 6
Расположение на карте

санитарный день: последний день месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Вс: 09:00-17:00

www.lib.omsk.ru
Вконтакте: https://vk.com/lovebooks
Youtube: https://youtube.com/user/OMB19761

+7 (3812) 54-03-93

Показать номер

Наличие в библиотеках

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №221 им. Р.И. Рождественского

Москва, Москва, Солнцево район
Авиаторов, 7
Расположение на карте

санитарный день: последняя пт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00

bibliozao.ru
Вконтакте: https://vk.com/biblioteka221
Инстаграм: https://instagram.com/biblioteka221_rozhdestvenskogo
Facebook: https://facebook.com/library221

+7 (495) 435-81-43

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека Томилино, МУК

Московская область, Люберцы городской округ, рп. Томилино, Хлыстово д.
Пионерская, 20
Расположение на карте

санитарный день: последний день месяца
Вт: 09:30-18:00
Ср: 09:30-18:00
Чт: 09:30-18:00
Пт: 09:30-18:00
Сб: 09:30-19:00

tomlibrary.ru

+7 (495) 557-15-43

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Центральная городская библиотека им. А.И. Герцена

санитарный день: последняя ср месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-18:00

gercenka.weebly.com
Вконтакте: https://vk.com/ekmob
Facebook: https://facebook.com/gercenka
Youtube: https://youtube.com/user/gercenka

+7 (343) 257-04-49 +7 (343) 257-84-08 +7 (343) 257-84-07

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №28 им. А.М. Горького

санитарный день: последняя ср месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 09:00-18:00

Вконтакте: https://vk.com/club58223024
Facebook: https://facebook.com/groups/207623679413922

+7 (343) 338-39-92 +7 (343) 338-38-97

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека, с. Кунгурка

Свердловская область, Ревда городской округ, с. Кунгурка
Рабоче-Крестьянская, 55
Расположение на карте

Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00

www.lib-revda.ru

+7 (34397) 6-82-31 +7 (34397) 5-32-70

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №10

Воронежская область, Воронеж городской округ, Воронеж, Левобережный район
Туполева, 15а
Расположение на карте

Вт: 09:00-13:00 14:00-18:00
Ср: 09:00-13:00 14:00-18:00
Чт: 09:00-13:00 14:00-18:00
Пт: 09:00-13:00 14:00-18:00
Сб: 09:00-13:00 14:00-18:00

+7 (473) 237-81-63

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Центральная городская библиотека им. Верещагина В.В.

Вологодская область, Череповец городской округ, Череповец
Доменщиков бульвар, 32
Расположение на карте

www.cherlib.ru

+7 (8202) 57-80-54 +7 (8202) 57-28-28 +7 (8202) 50-13-17

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №3, Фрунзенский район

+7 (812) 766-68-28

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека им. М.Горького

Краснодарский край, Динской район, ст-ца Новотитаровская
Советская, 62
Расположение на карте

Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00

+7 (861) 624-33-36

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека им. А.П. Чехова

Омская область, Омск городской округ, Омск, Октябрьский округ
Кирова, 6
Расположение на карте

санитарный день: последний день месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Вс: 09:00-17:00

www.lib.omsk.ru
Вконтакте: https://vk.com/lovebooks
Youtube: https://youtube.com/user/OMB19761

+7 (3812) 54-03-93

Показать номер