Проблема полноты в функциональных системах программного типа : Автореф. дис. на соиск. учен. степ. д.ф.-м.н
1655
Краткое содержание:
Экранизация книги

Проблема полноты в функциональных системах программного типа : Автореф. дис. на соиск. учен. степ. д.ф.-м.н

Автор:
Голунков Юрий Валентинович
Год:
1992
Язык:
Русский
Страниц:
22
Описание:
Голунков, Юрий Валентинович. Проблема полноты в функциональных системах программного типа : Автореф. дис. на соиск. учен. степ. д.ф.-м.н / МГУ им.М.В.Ломоносова. - М., 1992. - 22 с. - Библиогр.: с. 19-22
Рейтинг по отзывам:
4.5
Рубрики:
Счетные машины электронные → Программирование
Примечания:
Библиогр.: с. 19-22
Дата создания:
2019-09-05 11:32:01
Соц. сети:
Каракозов С.Д. Цифровой век - человек и общество.
Канал МПГУ
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Проблема полноты в функциональных системах программного типа : Автореф. дис. на соиск. учен. степ. д.ф.-м.н
Является ли она узкоспециализированной?
Да.
Нет.
Возможно.
Не знаю

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Методика и средства разработки и верификации формальных FUML … ложных программно-технических систем
http://0x1.tv/20181123AG Методика и средства разработки и верификации формальных FUML моделей требований и архитектуры...
Stas Fomin
Алексей Плетнев. Инструменты для управления рисками при использовании open source в своих проектах
В современном мире разработки ПО сложно представить проект, в состав которого не входили бы компоненты...
Василий Айтипиплов
Алгоритм интерпретации данных в программном модуле "ВедаПульс" "Пульс органов (Меридианы)"
На вебинаре рассмотрены: - Подробный обзор функционала модуля "Пульс органов (Меридианы)" для анализа состоя...
ВедаПульс
Название и адрес
Режим работы
Телефон
Мархалівська бібліотека
Киевская область, с. Мархалівка
Шкільна, 13
Расположение на карте
Название и адрес
Режим работы
Телефон
Библиотека №214 им. Ю.А. Гагарина
Москва, Москва, Тропарёво-Никулино район
Вернадского проспект, 109
Расположение на карте
санитарный день: последняя пт месяца
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-22:00
Вс: 12:00-20:00
Название и адрес
Режим работы
Телефон
Библиотека №229
Москва, Москва, Северное Тушино район
Туристская, 31 к1
Расположение на карте
санитарный день: первое вс месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
 +7 (495) 495-63-77
Показать номер
Название и адрес
Режим работы
Телефон
Центральная детская библиотека, г. Химки
Московская область, Химки городской округ, Химки, Старые Химки м-н
Московская, 30
Расположение на карте
санитарный день: последний день месяца; зимний период: пн-пт 10:00-19:00; сб 11:00-18:00
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
 +7 (495) 572-13-07
Показать номер
Название и адрес
Режим работы
Телефон
Городская библиотека №4
Московская область, Химки городской округ, Химки, Сходня м-н
Чапаева, 7
Расположение на карте
июнь-август: вт-пт 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-19:00
 +7 (495) 574-14-75
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека-филиал №3 им. И.А. Крылова
Самарская область, Октябрьск городской округ, Октябрьск
Мира, 94
Расположение на карте
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
 +7 (84646) 4-15-21
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека им. М.Е. Салтыкова-Щедрина
Нижегородская область, Нижний Новгород городской округ, Нижний Новгород, Канавинский район
Архимеда, 14а
Расположение на карте
санитарный день: последний чт месяца
Пн: 09:30-18:00
Вт: 09:30-18:00
Ср: 09:30-18:00
Чт: 09:30-18:00
Пт: 09:30-18:00
Сб: 09:30-17:00
 +7 (831) 245-33-11
Показать номер
Название и адрес
Режим работы
Телефон
Лаптевская сельская библиотека
Новосибирская область, Колыванский район, с. Лаптевка
Центральная, 15а
Расположение на карте
Пн: 10:00-13:00
Вт: 10:00-13:00
Ср: 10:00-13:00
Чт: 10:00-13:00
Пт: 10:00-13:00
Сб: 10:00-13:00
Название и адрес
Режим работы
Телефон
Сельская библиотека, с. Лесное
Алтайский край, Бийский район, с. Лесное
Лесная, 47
Расположение на карте
Пн: 11:00-15:00
Вт: 11:00-15:00
Ср: 11:00-15:00
Чт: 11:00-15:00
Пт: 11:00-15:00
Название и адрес
Режим работы
Телефон
Гурьевская централизованная библиотечная система, МБУ
Калининградская область, Гурьевский городской округ, пос. Малое Васильково
Степная, 1а
Расположение на карте
санитарный день: последняя пт месяца
Пн: 10:00-13:00 14:00-17:00
Вт: 10:00-13:00 14:00-17:00
Ср: 10:00-13:00 14:00-17:00
Чт: 10:00-13:00 14:00-17:00
Пт: 10:00-13:00 14:00-17:00
 +7 (4012) 74-04-71
Показать номер
Лекция Проектирование ИС от 19 марта 2020 года
Дисклаймер! Видео подготовлено в соответствии с требованиями руководства. Довольно длинное и очень нудное...
Aleksandr Lobanov Шалыто А.А. Лекция "Автоматное программирование". 2019 год
Лекция для студентов третьего курса по автоматному программированию Университет ИТМО. 2019 год.
Anatoly Shalyto Материнская плата: обзор, структура, настройки
Из чего состоит материнская плата компьютера и на что обратить внимание при выборе материнки? Материнская...
SpecialistTV Информационные технологии управления. Лекция 2. Основы информационных технологий управления
1. Характеристики и основные компоненты информационных технологий управления. 2. Информационные технологии...
Образование для всех
Егор Петров
Проблема полноты в функциональных системах программного типа : Автореф. дис. на соиск. учен. степ. д.ф.-м.н., Саратов; Челябинская гос. пед. ин-т им. К. И. Чуковского. - Саратов, 2005.
Прикрепить файл
Похожие книги
Название и адрес
Режим работы
Телефон
Мархалівська бібліотека
Киевская область, с. Мархалівка
Шкільна, 13
Расположение на карте
Название и адрес
Режим работы
Телефон
Библиотека №214 им. Ю.А. Гагарина
Москва, Москва, Тропарёво-Никулино район
Вернадского проспект, 109
Расположение на карте
санитарный день: последняя пт месяца
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-22:00
Вс: 12:00-20:00
Название и адрес
Режим работы
Телефон
Библиотека №229
Москва, Москва, Северное Тушино район
Туристская, 31 к1
Расположение на карте
санитарный день: первое вс месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
 +7 (495) 495-63-77
Показать номер
Название и адрес
Режим работы
Телефон
Центральная детская библиотека, г. Химки
Московская область, Химки городской округ, Химки, Старые Химки м-н
Московская, 30
Расположение на карте
санитарный день: последний день месяца; зимний период: пн-пт 10:00-19:00; сб 11:00-18:00
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
 +7 (495) 572-13-07
Показать номер
Название и адрес
Режим работы
Телефон
Городская библиотека №4
Московская область, Химки городской округ, Химки, Сходня м-н
Чапаева, 7
Расположение на карте
июнь-август: вт-пт 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-19:00
 +7 (495) 574-14-75
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека-филиал №3 им. И.А. Крылова
Самарская область, Октябрьск городской округ, Октябрьск
Мира, 94
Расположение на карте
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
 +7 (84646) 4-15-21
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека им. М.Е. Салтыкова-Щедрина
Нижегородская область, Нижний Новгород городской округ, Нижний Новгород, Канавинский район
Архимеда, 14а
Расположение на карте
санитарный день: последний чт месяца
Пн: 09:30-18:00
Вт: 09:30-18:00
Ср: 09:30-18:00
Чт: 09:30-18:00
Пт: 09:30-18:00
Сб: 09:30-17:00
 +7 (831) 245-33-11
Показать номер
Название и адрес
Режим работы
Телефон
Лаптевская сельская библиотека
Новосибирская область, Колыванский район, с. Лаптевка
Центральная, 15а
Расположение на карте
Пн: 10:00-13:00
Вт: 10:00-13:00
Ср: 10:00-13:00
Чт: 10:00-13:00
Пт: 10:00-13:00
Сб: 10:00-13:00
Название и адрес
Режим работы
Телефон
Сельская библиотека, с. Лесное
Алтайский край, Бийский район, с. Лесное
Лесная, 47
Расположение на карте
Пн: 11:00-15:00
Вт: 11:00-15:00
Ср: 11:00-15:00
Чт: 11:00-15:00
Пт: 11:00-15:00
Название и адрес
Режим работы
Телефон
Гурьевская централизованная библиотечная система, МБУ
Калининградская область, Гурьевский городской округ, пос. Малое Васильково
Степная, 1а
Расположение на карте
санитарный день: последняя пт месяца
Пн: 10:00-13:00 14:00-17:00
Вт: 10:00-13:00 14:00-17:00
Ср: 10:00-13:00 14:00-17:00
Чт: 10:00-13:00 14:00-17:00
Пт: 10:00-13:00 14:00-17:00
 +7 (4012) 74-04-71
Показать номер
Азат Нагирян
Проблема полноты в функциональных системах программного типа : Автореф. дис. на соиск. учен. степ. д.ф.-м.н.: Спец.
Прикрепить файл