ТЕОРИЯ вычислимости и языки спецификаций : Сб. ст.
2870
Купить
Краткое содержание:
Экранизация книги

ТЕОРИЯ вычислимости и языки спецификаций : Сб. ст.

Год:
1991
Язык:
Русский
Страниц:
192
Заглавие серии:
Вычислительные системы / АН СССР. Сиб. отд-ние. Ин-т математики ; Вып. 139
Описание:
ТЕОРИЯ вычислимости и языки спецификаций : [Сб. ст.] / Науч. ред. чл.-кор. АН СССР Ю.Л. Ершов, д. ф.-м. н. С.С. Гончаров. - Новосибирск : Ин-т математики, 1991. - [1], 192 с. : ил. ; 20 см. - (Вычислительные системы / АН СССР. Сиб. отд-ние. Ин-т математики ; Вып. 139). - Библиогр. в конце ст.
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Функции вычислимые → Сборники; Информационные языки → Сборники
Примечания:
Библиогр. в конце ст.
Другие ответственные лица:
Ершов, Юрий Леонидович (1940-) → Редактор
Дата создания:
2019-11-19 14:28:16
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме ТЕОРИЯ вычислимости и языки спецификаций : Сб. ст.

Заказать реферат Узнать стоимость Скачать пример
Теория вычислимости
Теория вычислимости, также известная как теория рекурсивных функций, — это раздел современной математики,...
Passion Talk
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
ТЕОРИЯ вычислимости и языки спецификаций : Сб. ст.
Опросы
является ли культурным достоянием?
Да.
Нет.
Возможно.
Не знаю
Содержание

Реставрация ТЕОРИЯ вычислимости и языки спецификаций : Сб. ст.

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Открытая лекция CS центра «Теория формальных языков на практике»
Лектор — Семён Григорьев. Семён — кандидат физико-математических наук, руководитель группы в лаборатории...
Computer Science Center
Темпоральная логика
Темпоральная логика Темпоральная логика — это логика, в высказываниях которой учитывается временной аспе...
Wikitube Ru
I Ершовская лекция. Видеозапись. Часть 1
19 апреля 2007 года, в день рождения академика А.П. Ершова, была прочитана лекция на тему: "Математическая логик...
ИСИ СО РАН
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Центральна дитяча бібліотека Московського району
Харьковская область, Харьков, Московский район
Юбилейный проспект, 34а
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-18:00
 +380 (57) 738-13-29 +380 (572) 62-51-11
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Державна науково-педагогічна бібліотека України ім. В.О. Сухомлинського, НАПН України
Киев город со специальным статусом, Київ, Шевченківський район, Сирець
Максима Берлінського, 9/1
Расположение на карте
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
www.dnpb.gov.ua
 +380 (44) 467-22-14
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Бібліотека №129 для дітей
Киев город со специальным статусом, Київ, Оболонський район, Оболонь
Героїв Дніпра, 35
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
 +380 (44) 412-23-96
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральна міська бібліотека
Днепропетровская область, Новомосковск
Волгоградский переулок, 17
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Сб: 09:00-17:00
Вс: 09:00-17:00
 +380 (5693) 7-14-05
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система
Алматы, Алматы, Турксибский район
Дунентаева, 2а
Расположение на карте
санитарный день: последний чт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-18:00
www.libraryalmaty.kz
 +7 (727) 251-90-08
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская молодежная библиотека им. М.А. Светлова
Москва, Москва, Пресненский район
Садовая-Кудринская, 23 ст1
Расположение на карте
санитарный день: последний вт месяца
Вт: 10:00-21:00
Ср: 10:00-21:00
Чт: 10:00-21:00
Пт: 10:00-21:00
Сб: 10:00-21:00
Вс: 10:00-20:00
www.svetlovka.ru
Вконтакте:  https://vk.com/svetlovka_msk#
Facebook:  https://facebook.com/svetlovka
Одноклассники:  https://ok.ru/svetlovka
Youtube:  https://youtube.com/user/TheSvetlovka/videos?shelf_id=1&sort=dd&view=0
 +7 (499) 254-62-71 +7 (495) 650-21-73 +7 (499) 254-80-89 +7 (499) 254-84-75
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. Н.К. Крупской
Новосибирская область, Новосибирск городской округ, Новосибирск, Центральный район
Максима Горького, 104
Расположение на карте
технический день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-17:00
Сб: 10:00-17:00
sshbn.ru
 +7 (383) 223-28-48 +7 (383) 223-13-61
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская детская библиотека им. В.М. Данилова
Республика Карелия, Петрозаводский городской округ, Петрозаводск, Центр микрорайон
Гоголя, 14
Расположение на карте
зимний период: пн-ср 10:00-19:00; чт 12:00-19:00; сб-вс 11:00-18:00; пт выходной; санитарный день: последняя ср месяца
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Вконтакте:  https://vk.com/danilovbibliotekaptz
 +7 (8142) 77-35-82
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, пос. Мелиоративный
Республика Карелия, Прионежский район, пос. Мелиоративный
Петрозаводская, 22
Расположение на карте
Пн: 09:45-19:00
Вт: 09:45-19:00
Ср: 09:45-19:00
Чт: 09:45-19:00
Вс: 10:00-17:00
 +7 (8142) 78-74-35 +7 (8142) 78-76-20
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, с. Нижний Саянтуй
Республика Бурятия, Тарбагатайский район, с. Нижний Саянтуй
Ленина, 35
Расположение на карте
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Сб: 09:00-16:00
Вконтакте:  https://vk.com/public119313126
 +7-924-752-44-17
Показать номер
IV Ершовская лекция. Видеозапись. Часть 1
7 октября 2010 г. в конференц-зале ИВМиМГ СО РАН состоялась IV Ершовская лекция по информатике. Академик НАН...
ИСИ СО РАН Окрестностное тестирование программ. Процесс тестирования
Курс в НОУ ИНТУИТ: https://www.intuit.ru/studies/courses/3476/718/info.
НОУ ИНТУИТ "Высказывания и Типы" — Кудасов Николай (15 мая 2016)
Соответствие высказываний логики и типов в языках программирования — глубокая идея, у которой много имён...
Nickolay Kudasov Алгоритм Кока-Янгера-Касами
Алгоритм Кока-Янгера-Касами. Контекстные зависимости в языках программирования. Атрибутные грамматики...
Computer Science Center
Рецензии и отзывы
Егор Петров
ТЕОРИЯ вычислимости и языки спецификаций : Сб. ст.. Аннотация: # 1. Оцифровка людей по утилитам # 2. Универсальная презентация для реальных домашних компьютеров # 3.
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Центральна дитяча бібліотека Московського району
Харьковская область, Харьков, Московский район
Юбилейный проспект, 34а
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-18:00
 +380 (57) 738-13-29 +380 (572) 62-51-11
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Державна науково-педагогічна бібліотека України ім. В.О. Сухомлинського, НАПН України
Киев город со специальным статусом, Київ, Шевченківський район, Сирець
Максима Берлінського, 9/1
Расположение на карте
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
www.dnpb.gov.ua
 +380 (44) 467-22-14
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Бібліотека №129 для дітей
Киев город со специальным статусом, Київ, Оболонський район, Оболонь
Героїв Дніпра, 35
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
 +380 (44) 412-23-96
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральна міська бібліотека
Днепропетровская область, Новомосковск
Волгоградский переулок, 17
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Сб: 09:00-17:00
Вс: 09:00-17:00
 +380 (5693) 7-14-05
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система
Алматы, Алматы, Турксибский район
Дунентаева, 2а
Расположение на карте
санитарный день: последний чт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-18:00
www.libraryalmaty.kz
 +7 (727) 251-90-08
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская молодежная библиотека им. М.А. Светлова
Москва, Москва, Пресненский район
Садовая-Кудринская, 23 ст1
Расположение на карте
санитарный день: последний вт месяца
Вт: 10:00-21:00
Ср: 10:00-21:00
Чт: 10:00-21:00
Пт: 10:00-21:00
Сб: 10:00-21:00
Вс: 10:00-20:00
www.svetlovka.ru
Вконтакте:  https://vk.com/svetlovka_msk#
Facebook:  https://facebook.com/svetlovka
Одноклассники:  https://ok.ru/svetlovka
Youtube:  https://youtube.com/user/TheSvetlovka/videos?shelf_id=1&sort=dd&view=0
 +7 (499) 254-62-71 +7 (495) 650-21-73 +7 (499) 254-80-89 +7 (499) 254-84-75
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. Н.К. Крупской
Новосибирская область, Новосибирск городской округ, Новосибирск, Центральный район
Максима Горького, 104
Расположение на карте
технический день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-17:00
Сб: 10:00-17:00
sshbn.ru
 +7 (383) 223-28-48 +7 (383) 223-13-61
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская детская библиотека им. В.М. Данилова
Республика Карелия, Петрозаводский городской округ, Петрозаводск, Центр микрорайон
Гоголя, 14
Расположение на карте
зимний период: пн-ср 10:00-19:00; чт 12:00-19:00; сб-вс 11:00-18:00; пт выходной; санитарный день: последняя ср месяца
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Вконтакте:  https://vk.com/danilovbibliotekaptz
 +7 (8142) 77-35-82
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, пос. Мелиоративный
Республика Карелия, Прионежский район, пос. Мелиоративный
Петрозаводская, 22
Расположение на карте
Пн: 09:45-19:00
Вт: 09:45-19:00
Ср: 09:45-19:00
Чт: 09:45-19:00
Вс: 10:00-17:00
 +7 (8142) 78-74-35 +7 (8142) 78-76-20
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, с. Нижний Саянтуй
Республика Бурятия, Тарбагатайский район, с. Нижний Саянтуй
Ленина, 35
Расположение на карте
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Сб: 09:00-16:00
Вконтакте:  https://vk.com/public119313126
 +7-924-752-44-17
Показать номер
Информация от пользователей
Азат Нагирян
ТЕОРИЯ вычислимости и языки спецификаций : Сб. ст.. Аннотация: Рассматривается задача доказательства существования, сложности задач вычисления и доказательства в случае, когда некоторая задача известна только в некоторой форме.
Прикрепить файл
Книга находятся в категориях.