Математическая логика и теория алгоритмов для программистов : учебное пособие для студентов высших учебных заведений, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника"

2303

Купить

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

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

Математическая логика и теория алгоритмов для программистов : учебное пособие для студентов высших учебных заведений, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника"

Rating: 4.5
ISBN: 978-5-406-00120-2

Авторы:

Гринченков Дмитрий Валерьевич
Потоцкий Сергей Иванович

Год:

2010

isbn:

978-5-406-00120-2

Язык:

Русский

Страниц:

206

Описание:

Гринченков Д. В., Потоцкий С. И. Математическая логика и теория алгоритмов для программистов : учебное пособие для студентов высших учебных заведений, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника" / Д. В. Гринченков, С. И. Потоцкий. - Москва : КноРус, 2010. - 206 с. : ил., табл. ; 22 см. - Библиогр.: с. 205-206

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

4.5

Материалы:

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

Рубрики:

Математическая логика → Учебные издания для высших учебных заведений

Примечания:

Библиогр.: с. 205-206

ББК:

В12я73-1

Аннотация:

Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Для студентов вузов, обучающихся по специальностям 230105 "Программное обеспечение вычислительной техники и автоматизированных систем", 010503 "Математическое обеспечение и администрирование информационных систем" и специальностям направления "Информатика и вычислительная техника" дневной и заочной форм обучения.

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

2021-07-15 01:39:49

Соц. сети:

Важно

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

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

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

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

Реферат по теме Математическая логика и теория алгоритмов для программистов : учебное пособие для студентов высших учебных заведений, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника"

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

Курсовая по теме Математическая логика и теория алгоритмов для программистов : учебное пособие для студентов высших учебных заведений, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника"

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

ВКР/Диплом по теме Математическая логика и теория алгоритмов для программистов : учебное пособие для студентов высших учебных заведений, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника"

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

Диссертация по теме Математическая логика и теория алгоритмов для программистов : учебное пособие для студентов высших учебных заведений, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника"

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

Заработать на знаниях по теме Математическая логика и теория алгоритмов для программистов : учебное пособие для студентов высших учебных заведений, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника"

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

Реставрация Математическая логика и теория алгоритмов для программистов : учебное пособие для студентов высших учебных заведений, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника"

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

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

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

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

Режим работы

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

Телефон

Бібліотека ім. Саші Чекаліна для дітей

Киев город со специальным статусом, Київ, Оболонський район, Пріорка
Вишгородська, 38

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

+380 (44) 430-42-27

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

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

Режим работы

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

Телефон

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

Мурманская область, Оленегорск городской округ, Оленегорск
Бардина, 25

июль-август: пн-пт 11:00-19:00; сб 11:00-18:00; вс выходной; санитарный день: последний день месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Сб: 11:00-18:00
Вс: 11:00-18:00

www.ol-cbs.ru

+7 (81552) 5-75-06

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

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

Режим работы

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

Телефон

Нагорная, библиотека №4

Самарская область, Тольятти городской округ, Тольятти, Комсомольский район, Жигулёвское море
Майский проезд, 66

зимний период: вт-пт 9:00-19:00; сб 9:00-18:00; пн выходной
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00

+7 (8482) 97-61-09

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

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

Режим работы

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

Телефон

Библиотека, с. Пивань

Хабаровский край, Комсомольский район, с. Пивань
Совгаванское шоссе, 32

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

+7 (4217) 56-53-84

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

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

Режим работы

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

Телефон

Централизованная библиотечная система

Ивановская область, Иваново городской округ, Иваново, Фрунзенский район
Багаева, 37

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

library-garelin.ru
Вконтакте: https://vk.com/librarygarelin

+7 (4932) 29-09-77 +7 (4932) 29-18-90

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

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

Режим работы

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

Телефон

Библиотека им. Дзержинского

Нижегородская область, Нижний Новгород городской округ, Нижний Новгород, Ленинский район
Глеба Успенского, 4/4

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

+7 (831) 258-28-00

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

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

Режим работы

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

Телефон

Центральная библиотека С. Сулеймановой

Республика Татарстан, Альметьевский район, Альметьевск
Сулеймановой, 20

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

+7 (8553) 43-27-93

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

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

Режим работы

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

Телефон

Централизованная библиотечная система Калтанского городского округа, МБУ

Кемеровская область, Калтанский городской округ, Калтан
Комсомольская, 49

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

lib42.ru/kaltan/home
Инстаграм: https://instagram.com/cbskaltan
Одноклассники: https://ok.ru/profile/578233274885

+7 (38472) 3-36-41

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

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

Режим работы

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

Телефон

Ежовская сельская библиотека

Республика Марий Эл, Медведевский район, с. Ежово
Комсомольская, 3

Вт: 10:00-14:00 15:00-18:00
Ср: 10:00-14:00 15:00-18:00
Чт: 10:00-14:00 15:00-18:00
Пт: 10:00-14:00 15:00-18:00
Сб: 10:00-14:00 15:00-18:00

+7 (8362) 54-84-80

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

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

Режим работы

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

Телефон

Библиотека №12 им. Сэма Симкина

Калининградская область, Калининград городской округ, Калининград, Московский район
Сержанта Щедина, 19

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

kaliningradlib.ru
Вконтакте: https://vk.com/chehovka39

+7 (4012) 39-53-20

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

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

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

Режим работы

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

Телефон

Бібліотека ім. Саші Чекаліна для дітей

Киев город со специальным статусом, Київ, Оболонський район, Пріорка
Вишгородська, 38

+380 (44) 430-42-27

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

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

Режим работы

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

Телефон

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

Мурманская область, Оленегорск городской округ, Оленегорск
Бардина, 25

www.ol-cbs.ru

+7 (81552) 5-75-06

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

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

Режим работы

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

Телефон

Нагорная, библиотека №4

зимний период: вт-пт 9:00-19:00; сб 9:00-18:00; пн выходной
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00

+7 (8482) 97-61-09

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

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

Режим работы

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

Телефон

Библиотека, с. Пивань

Хабаровский край, Комсомольский район, с. Пивань
Совгаванское шоссе, 32

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

+7 (4217) 56-53-84

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

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

Режим работы

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

Телефон

Централизованная библиотечная система

Ивановская область, Иваново городской округ, Иваново, Фрунзенский район
Багаева, 37

library-garelin.ru
Вконтакте: https://vk.com/librarygarelin

+7 (4932) 29-09-77 +7 (4932) 29-18-90

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

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

Режим работы

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

Телефон

Библиотека им. Дзержинского

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

+7 (831) 258-28-00

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

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

Режим работы

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

Телефон

Центральная библиотека С. Сулеймановой

Республика Татарстан, Альметьевский район, Альметьевск
Сулеймановой, 20

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

+7 (8553) 43-27-93

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

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

Режим работы

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

Телефон

Централизованная библиотечная система Калтанского городского округа, МБУ

Кемеровская область, Калтанский городской округ, Калтан
Комсомольская, 49

lib42.ru/kaltan/home
Инстаграм: https://instagram.com/cbskaltan
Одноклассники: https://ok.ru/profile/578233274885

+7 (38472) 3-36-41

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

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

Режим работы

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

Телефон

Ежовская сельская библиотека

Республика Марий Эл, Медведевский район, с. Ежово
Комсомольская, 3

Вт: 10:00-14:00 15:00-18:00
Ср: 10:00-14:00 15:00-18:00
Чт: 10:00-14:00 15:00-18:00
Пт: 10:00-14:00 15:00-18:00
Сб: 10:00-14:00 15:00-18:00

+7 (8362) 54-84-80

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

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

Режим работы

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

Телефон

Библиотека №12 им. Сэма Симкина

Калининградская область, Калининград городской округ, Калининград, Московский район
Сержанта Щедина, 19

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

kaliningradlib.ru
Вконтакте: https://vk.com/chehovka39

+7 (4012) 39-53-20

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