Гурьяшова Р.Н., Шеянов А.В. Информатика: Сегментация программ

формат pdf
размер 1.6 МБ
добавлен 13 января 2011 г.

Учебно-метод. пособие. - Н. Новгород: ВГАВТ, 2009. -108 с.
Для студентов очного и заочного обучения технических специальностей излагаются сведения по предлагаемой тематике для алгоритмических языков высокого уровня - Fortran, Basic. Приводятся схемы алгоритмов и программы, иллюстрирующие выполнение лабораторных работ на данных языках. Выполнение заданий на компьютере позволит студентам приобрести практические навыки решения задач с использованием подпрограмм и эффективно использовать их в учебном процессе. Предназначено для студентов высших учебных заведений водного транспорта технических специальностей. При написании пособия использован многолетний опыт преподавания авторами дисциплины "Информатика". Работа рекомендована к изданию кафедрой информатики, систем управления и телекоммуникации.

Похожие разделы

Смотрите также

Андерсон Р. Доказательство правильности программ

формат djvu
размер 3.04 МБ
добавлен 01 ноября 2010 г.

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

Артемова С.В. Информатика

формат pdf
размер 916.55 КБ
добавлен 22 сентября 2008 г.

В учебном пособии рассмотрены понятие информатика, информация, общая характеристика процесса сбора, передачи, обработки и накопления информации, а так же технические и программные средства информационных моделей. Алгоритмизация и языки программирование высокого уровня. Программное обеспечение и технологии программирования.

Вельдер С.Э. и др. Верификация автоматных программ

формат pdf
размер 3.27 МБ
добавлен 08 апреля 2011 г.

Санкт-Петербург: СПбГУ ИТМО, 2011. - 246 с. В учебном пособии рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автоматизированных объектов управления и могут быть весьма эффективно верифицированы указанным методом. Математический аппарат и прикладные инструменты данно...

Дудаков С.М. Математическое введение в информатику

формат pdf
размер 1.35 МБ
добавлен 30 января 2011 г.

Учебное пособие. - Тверь: Твер. гос. ун-т, 2003. - 221 с. В пособии освещаются теоретические вопросы программирования: связь и эквивалентность различных языков программирования, доказательство корректности программ, вычислительная сложность алгоритмов. Учебное пособие адресовано, прежде всего, студентам младших курсов, обучающимся по направлению 510200 "Прикладная математика и информатика" и специальности 010200 "Прикладная математика и информати...

Каймин В.А. Информатика. Учебник для вузов

формат doc
размер 14.81 МБ
добавлен 16 декабря 2009 г.

Информатика учебник 2-е издание, переработанное и дополненное Учебнику присуждено первое место по дисциплине «Информатика» на конкурсе вузовских учебников Министерства образования Российской Федерации в 1999 г. В пособии излагаются теоретические основы информатики, а также техника работы на персональных компьютерах и передачи информации в сети Интернет. Рассмотрены принципы работы систем искусственного интеллекта и методы обработки данных на ЭВМ....

Картавенко М.В. Презентационные материалы к семестровому курсу лекций Информатика и программирование

формат ppt
размер 647.11 КБ
добавлен 15 августа 2010 г.

Курс рассчитан на студентов первого курса специальности 080801(2) – Прикладная информатика в психологии. Общее количество слайдов: 202. Курс содержит в себе следующие темы. Жизненный цикл программного обеспечения. Алгоритмы. Парадигмы программирования. Языки программирования. Язык программирования С++. Синтаксис языка. Абстрактные типы данных, структуры, классы.

Могилев А.В., Пак Н.И., Хённер Е.К. Практикум по информатике

формат pdf
размер 15.72 МБ
добавлен 23 мая 2009 г.

2-ое изд. Учеб. пособие. - М: Изд. центр Академия, 2005. -608 с. Практикум по тематике, уровню сложности и методическим подходам соответствует учебному пособию А. В. Могилева, Н. И. Пака и Е. К. Хеннера «Информатика». Он включает разделы: теоретическая информатика; программное обеспечение ЭВМ; языки и методы программирования; вычислительная техника; компьютерные сети и телекоммуникации; информационные системы; компьютерное моделирование. Даны наб...

Поддубная Т.Н. Информатика в задачах и упражнениях

формат djvu
размер 2.66 МБ
добавлен 26 мая 2010 г.

Рассматривается ряд задач, связанных с моделированием на ЭВМ реальных объектов и организацией различных способов обработки числовой и символьной информации. Решение задач доведено до уровня готовых алгоритмов и программ и сопровождается разнообразными упражнениями и заданиями. Подбор задач и характер изложения направлены на иллюстрацию основных понятий и методов информатики. Для подготовленных радиолюбителей; может быть полезна преподавателям инф...

Симонович С.В. (ред.) Информатика для юристов и экономистов

формат pdf
размер 6.65 МБ
добавлен 13 мая 2010 г.

СПб: Питер, 2001. - 688 с. Формат: CHM Книга представляет собой учебный курс для студентов юридических и экономических специальностей, изучающих средства вычислительной техники в рамках общеобразовательной дисциплины «Информатика», и обеспечивает методическую основу для взаимодействия со специальными курсами, относящимися к информационному и коммуникационному праву, правовой информатике, информационной безопасности, защите данных и электронной к...

Фатеева Н.М., Возилкина О.А., Тумбаева Н.В. Арифметические и логические основы компьютера

Практикум

формат pdf
размер 464.83 КБ
добавлен 13 октября 2011 г.

Учебно-методические указания / Н.М. Фатеева, О.А. Возилкина, Н.В. Тумбаева. Барнаул: Изд-во АГАУ, 2008. 53 с. Учебно-методическое издание составлено в соответствии с учебной программой по курсу «Информатика» и содержит информацию по вопросам систем счисления, алгебры логики, примеры решения и оформления практических заданий, задания для самостоятельной работы по вариантам. Предназначено для студентов, изучающих дисциплину «Информатика».