Normal view
MARC view
Введение в теорию программирования. Курс лекций (Record no. 197219)
[ view plain ]
000 -Маркер записи | |
---|---|
Контрольное поле постоянной длины | 04203nam a2200745 4500 |
001 - Контрольный номер | |
Контрольное поле | vtls000193980 |
005 - Дата корректировки | |
Контрольное поле | 20210922005846.0 |
008 - Кодируемые данные | |
Контрольное поле постоянной длины | 120827s2004 ru a | b 000 0 rus d |
020 ## - Индекс ISBN | |
ISBN | 5955600094 |
035 ## - Системный контрольный номер | |
Системный контрольный номер | 0199-03460 |
040 ## - Источник каталогиз. | |
Служба первич. каталог. | RU-ToGU |
Код языка каталог. | rus |
Служба, преобразующая запись | RU-ToGU |
Правила каталог. | PSBO |
080 ## - Индекс УДК | |
Индекс УДК | 004.41(075.8) |
100 1# - Автор | |
Автор | Зыков, Сергей Викторович. |
9 (RLIN) | 275811 |
245 10 - Заглавие | |
Заглавие | Введение в теорию программирования. Курс лекций |
Продолж. заглавия | учебное пособие: [для студентов вузов, обучающихся по специальности 351400 "Прикладная информатика"] |
Ответственность | С. В. Зыков ; авт. предисл. В. Э. Вольфенгаген |
260 ## - Выходные данные | |
Место издания | М. |
Издательство | Интернет-Университет Информационных Технологий |
Дата издания | 2004 |
300 ## - Физическое описание | |
Объем | 396, [1] с. |
Иллюстрации/тип воспроизводства | рис., табл. |
490 1# - Серия | |
Заглавие серии | Основы информационных технологий |
500 ## - Примечания | |
Примечание | Курс разработан при поддержке Microsoft Research, Ltd |
504 ## - Библиография | |
Библиография | Библиогр.: с. 387-392 |
653 ## - Ключевые слова | |
Ключевые слова | учебные пособия для вузов. |
653 ## - Ключевые слова | |
Ключевые слова | теория программирования. |
653 ## - Ключевые слова | |
Ключевые слова | языки программирования. |
653 ## - Ключевые слова | |
Ключевые слова | SML-язык. |
653 ## - Ключевые слова | |
Ключевые слова | метаязыки программирования. |
653 ## - Ключевые слова | |
Ключевые слова | языки программирования функциональные. |
653 ## - Ключевые слова | |
Ключевые слова | объектно-ориентированный подход. |
653 ## - Ключевые слова | |
Ключевые слова | информационные сущности-объекты. |
653 ## - Ключевые слова | |
Ключевые слова | проектирование программных продуктов |
653 ## - Ключевые слова | |
Ключевые слова | функциональный подход. |
653 ## - Ключевые слова | |
Ключевые слова | программные платформы. |
653 ## - Ключевые слова | |
Ключевые слова | Microsoft. NET платформа. |
653 ## - Ключевые слова | |
Ключевые слова | SNL. |
653 ## - Ключевые слова | |
Ключевые слова | объектно-ориентированные языки программирования |
653 ## - Ключевые слова | |
Ключевые слова | C#, язык программирования |
653 ## - Ключевые слова | |
Ключевые слова | классификация языков программирования. |
653 ## - Ключевые слова | |
Ключевые слова | ламбда-исчисление. |
653 ## - Ключевые слова | |
Ключевые слова | комбинаторная логика. |
653 ## - Ключевые слова | |
Ключевые слова | теория типов. |
653 ## - Ключевые слова | |
Ключевые слова | синтаксис языков программирования. |
653 ## - Ключевые слова | |
Ключевые слова | семантика языков программирования. |
653 ## - Ключевые слова | |
Ключевые слова | рекурсивные функции. |
653 ## - Ключевые слова | |
Ключевые слова | множества. |
653 ## - Ключевые слова | |
Ключевые слова | комбинаторная логика категориальная. |
653 ## - Ключевые слова | |
Ключевые слова | абстрактные вычислительные машины. |
653 ## - Ключевые слова | |
Ключевые слова | семантическое равенство. |
653 ## - Ключевые слова | |
Ключевые слова | синтаксическое равенство. |
653 ## - Ключевые слова | |
Ключевые слова | оптимизация вычислений. |
653 ## - Ключевые слова | |
Ключевые слова | семантика С#. |
653 ## - Ключевые слова | |
Ключевые слова | объекты объектно-ориентированного подхода. |
653 ## - Ключевые слова | |
Ключевые слова | классы объектно-ориентированного подхода. |
653 ## - Ключевые слова | |
Ключевые слова | типы в Microsoft. NET. |
653 ## - Ключевые слова | |
Ключевые слова | типизация в Microsoft. NET. |
653 ## - Ключевые слова | |
Ключевые слова | наследование в С#. |
653 ## - Ключевые слова | |
Ключевые слова | инкапсуляция в С#. |
653 ## - Ключевые слова | |
Ключевые слова | полформизм в С#. |
653 ## - Ключевые слова | |
Ключевые слова | программирование событийно управляемое в Microsoft. NET. |
653 ## - Ключевые слова | |
Ключевые слова | программирование компонентное в Microsoft. NET. |
653 ## - Ключевые слова | |
Ключевые слова | языки программирования императивные |
653 ## - Ключевые слова | |
Ключевые слова | языки программирования декларативные. |
830 #0 - Заголовок добавочной библ.записи на серию — унифицированное заглавие | |
Унифицированное заглавие | Основы информационных технологий |
9 (RLIN) | 77823 |
852 4# - Местонахождение единицы хранения | |
Код организации-хранителя | RU-ToGU |
Полочный индекс | 004.4 |
Авторский знак | З-966 |
Код страны | ru |
908 ## - Параметр входа данных | |
Параметр входа данных | учебник |
999 ## - Системные контрольные номера (Koha) | |
biblionumber (Koha) | 197219 |
Не выдается | Отсутствует на месте | Поврежден | Исходное место хранения | Местоположение | Дата поступления | Цена | Всего выдач | Расстановочный шифр | Штрих-код | Номер копии | Класс экземпляра |
---|---|---|---|---|---|---|---|---|---|---|---|
Научная библиотека ТГУ | Книгохранилище | 03/04/2021 | 250.00 | 1-918341к | 13820000467041 | 1 | Выдается в читальный зал | ||||
Научная библиотека ТГУ | Книгохранилище | 03/04/2021 | 250.00 | 2-041252 | 13820000467042 | 2 | 1 месяц | ||||
Научная библиотека ТГУ | Абонемент. Депозитарий | 03/04/2021 | 250.00 | 004 З-966 | 13820000467043 | 3 | 6 месяцев | ||||
Научная библиотека ТГУ | Абонемент. Депозитарий | 03/04/2021 | 250.00 | 004 З-966 | 13820000467045 | 5 | 6 месяцев | ||||
Научная библиотека ТГУ | Абонемент. Депозитарий | 03/04/2021 | 250.00 | 004 З-966 | 13820000467044 | 6 | 6 месяцев |