Элементы теоретического программирования: комбинаторная логика и теория типов : учебное пособие к курсу "Программирование"
2200
Купить
Краткое содержание:
Экранизация книги

Элементы теоретического программирования: комбинаторная логика и теория типов : учебное пособие к курсу "Программирование"

Автор:
Кудрявцева Ирина Андреевна (канд. пед. наук программирование)
Год:
2013; Связанные записи
Язык:
Русский
Описание:
Кудрявцева И. А., Швецкий М. В. Элементы теоретического программирования: комбинаторная логика и теория типов : учебное пособие к курсу "Программирование" / И.А. Кудрявцева, М.В. Швецкий; Рос. гос. пед. ун-т им. А.И. Герцена. - Санкт-Петербург : ЛЕМА, 2013. - 21 см
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Математическая логика → Типов теория → Учебные издания для высших учебных заведений
Дата создания:
2021-03-20 20:49:00
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Элементы теоретического программирования: комбинаторная логика и теория типов : учебное пособие к курсу "Программирование"

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Элементы теоретического программирования: комбинаторная логика и теория типов : учебное пособие к курсу "Программирование"
Опросы
На каком языке книга?
Русский
Английский
Немецкий
Китайский
Японский
Испанский
Французский
Португальский
Арабский
Другой
Не знаю
Содержание

Реставрация Элементы теоретического программирования: комбинаторная логика и теория типов : учебное пособие к курсу "Программирование"

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №203
Москва, Москва, Филёвский парк район
Кастанаевская, 7
Расположение на карте
санитарный день: последняя пт месяца
Вт: 12:00-21:00
Ср: 12:00-21:00
Чт: 12:00-21:00
Пт: 12:00-21:00
Сб: 12:00-21:00
Вс: 12:00-20:00
bibliozao.ru/biblio/filyovskij-park/detskaya-biblioteka-№-203.html
 +7 (499) 142-45-04
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №61
Москва, Москва, Бабушкинский район
Коминтерна, 6
Расположение на карте
санитарный день: последний вт месяца
Вт: 12:00-20:00
Ср: 12:00-20:00
Чт: 12:00-20:00
Пт: 12:00-20:00
Сб: 12:00-18:00
Вс: 12:00-18:00
 +7 (495) 471-25-86
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Литературное кафе, библиотека семейного чтения, Муниципальная информационно-библиотечная система
Кемеровская область, Кемерово городской округ, Кемерово, Ленинский район
Ленина проспект, 128а
Расположение на карте
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-18:00
библиотеки.кемеровские.рф
Вконтакте:  https://vk.com/kemerovskie
Одноклассники:  https://ok.ru/profile/577417627193
Твиттер:  https://twitter.com/@spravkacbs
Google plus:  https://plus.google.com/106616187117403293819
 +7 (3842) 53-07-38
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №7, г. Копейск
Челябинская область, Копейский городской округ, Копейск
Ленина, 48
Расположение на карте
санитарный день: последний чт месяца
Пн: 10:00-13:00 13:45-18:00
Вт: 10:00-13:00 13:45-18:00
Ср: 10:00-13:00 13:45-18:00
Чт: 10:00-13:00 13:45-18:00
Пт: 10:00-13:00 13:45-18:00
Вс: 09:00-13:00 13:45-17:00
 +7 (35139) 3-62-10
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Ярковская сельская библиотека
Новосибирская область, Новосибирский район, с. Ярково
Подгорбунского, 17
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Сб: 11:00-17:00
 +7 (383) 293-48-93
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Русско-Юрмашская сельская библиотека №17
Республика Башкортостан, Уфимский район, с. Русский Юрмаш
Центральная, 31
Расположение на карте
Вт: 11:00-15:00 16:00-19:00
Ср: 11:00-15:00 16:00-19:00
Чт: 11:00-15:00 16:00-19:00
Пт: 11:00-15:00 16:00-19:00
Сб: 11:00-15:00 16:00-19:00
 +7 (347) 270-38-80
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека
Ямало-Ненецкий автономный округ, Новый Уренгой городской округ, Новый Уренгой
Набережная, 43г
Расположение на карте
санитарный день: последняя ср месяца
Пн: 10:00-19:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-19:00
Сб: 11:00-18:00
Вс: 10:00-17:00
Вконтакте:  https://vk.com/club161476846
 +7 (3494) 22-10-73 +7 (3494) 22-14-03
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Никольская Городская библиотека
Ленинградская область, Тосненский район, Никольское
Школьная, 2
Расположение на карте
санитарный день: последний чт месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Вс: 11:00-18:00
tosno.47lib.ru
 +7 (81361) 5-38-65
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №15
Республика Татарстан, Казань городской округ, Казань, Советский, Азино-1
Закиева, 31
Расположение на карте
санитарный день: последний пн месяца; зимний период: пн-вт 9:00-19:00; чт-сб 9:00-19:00
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00
 +7 (843) 262-01-02
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №14
Калининградская область, Калининград городской округ, Калининград, Ленинградский район
Тельмана, 28
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 11:00-18:00
 +7 (4012) 21-77-37
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №203
Москва, Москва, Филёвский парк район
Кастанаевская, 7
Расположение на карте
санитарный день: последняя пт месяца
Вт: 12:00-21:00
Ср: 12:00-21:00
Чт: 12:00-21:00
Пт: 12:00-21:00
Сб: 12:00-21:00
Вс: 12:00-20:00
bibliozao.ru/biblio/filyovskij-park/detskaya-biblioteka-№-203.html
 +7 (499) 142-45-04
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №61
Москва, Москва, Бабушкинский район
Коминтерна, 6
Расположение на карте
санитарный день: последний вт месяца
Вт: 12:00-20:00
Ср: 12:00-20:00
Чт: 12:00-20:00
Пт: 12:00-20:00
Сб: 12:00-18:00
Вс: 12:00-18:00
 +7 (495) 471-25-86
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Литературное кафе, библиотека семейного чтения, Муниципальная информационно-библиотечная система
Кемеровская область, Кемерово городской округ, Кемерово, Ленинский район
Ленина проспект, 128а
Расположение на карте
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-18:00
библиотеки.кемеровские.рф
Вконтакте:  https://vk.com/kemerovskie
Одноклассники:  https://ok.ru/profile/577417627193
Твиттер:  https://twitter.com/@spravkacbs
Google plus:  https://plus.google.com/106616187117403293819
 +7 (3842) 53-07-38
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №7, г. Копейск
Челябинская область, Копейский городской округ, Копейск
Ленина, 48
Расположение на карте
санитарный день: последний чт месяца
Пн: 10:00-13:00 13:45-18:00
Вт: 10:00-13:00 13:45-18:00
Ср: 10:00-13:00 13:45-18:00
Чт: 10:00-13:00 13:45-18:00
Пт: 10:00-13:00 13:45-18:00
Вс: 09:00-13:00 13:45-17:00
 +7 (35139) 3-62-10
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Ярковская сельская библиотека
Новосибирская область, Новосибирский район, с. Ярково
Подгорбунского, 17
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Сб: 11:00-17:00
 +7 (383) 293-48-93
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Русско-Юрмашская сельская библиотека №17
Республика Башкортостан, Уфимский район, с. Русский Юрмаш
Центральная, 31
Расположение на карте
Вт: 11:00-15:00 16:00-19:00
Ср: 11:00-15:00 16:00-19:00
Чт: 11:00-15:00 16:00-19:00
Пт: 11:00-15:00 16:00-19:00
Сб: 11:00-15:00 16:00-19:00
 +7 (347) 270-38-80
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека
Ямало-Ненецкий автономный округ, Новый Уренгой городской округ, Новый Уренгой
Набережная, 43г
Расположение на карте
санитарный день: последняя ср месяца
Пн: 10:00-19:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-19:00
Сб: 11:00-18:00
Вс: 10:00-17:00
Вконтакте:  https://vk.com/club161476846
 +7 (3494) 22-10-73 +7 (3494) 22-14-03
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Никольская Городская библиотека
Ленинградская область, Тосненский район, Никольское
Школьная, 2
Расположение на карте
санитарный день: последний чт месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Вс: 11:00-18:00
tosno.47lib.ru
 +7 (81361) 5-38-65
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №15
Республика Татарстан, Казань городской округ, Казань, Советский, Азино-1
Закиева, 31
Расположение на карте
санитарный день: последний пн месяца; зимний период: пн-вт 9:00-19:00; чт-сб 9:00-19:00
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00
 +7 (843) 262-01-02
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №14
Калининградская область, Калининград городской округ, Калининград, Ленинградский район
Тельмана, 28
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 11:00-18:00
 +7 (4012) 21-77-37
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.