Вкаких случаях применяются те или иные типы данных

примитивные типы, в том числе:

логический тип

целые типы

вещественные типы

ссылочные типы

опциональные типы

обнуляемые типы

Композитные типы, в том числе:

массивы

записи

кортежи

абстрактные типы (АТД, англ. ADT)

алгебраические типы

вариантные типы

подтипы

унаследованные типы

объектные типы, то есть объекты, значением которых являются типы — например, переменные типов

частичные типы

рекурсивные типы

функциональные типы, например бинарные функции

универсально квантифицированные типы, такие как параметрические типы

экзистенциально квантифицированные, такие как модули

зависимые типы — типы, зависящие от термов (значений)

уточняющие типы — типы, идентифицирующие подмножества других типов

Предопределённые типы (являющиеся фактически структурными, но предоставляемые на правах примитивных) для удобства промышленных разработок, такие как «дата», «время», «валюта» и др.

9Компьютеризация — это развитие и внедрение компьютеров в общество. Человек всегда стремился к прогрессу: взял в руки палку, изобрел колесо, множество механизмов и инструментов. Они расширили его физические возможности и увеличили свободу в пространстве и времени. А теперь, когда мы научились умножать силу рук, увеличивать скорость ног, зоркость глаз и тонкость слуха, чего нам стало недоставать? Правильно! Нам понадобился инструмент для усиления интеллекта. Вот так и появился компьютер.

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

 По мере того, как совершенствуются компьютеры, расширяется и сфера их применения. 

Компьютеризация и информатизация в современной инфраструктуре всей планеты вышли на одно из ведущих мест. Спрос на информационные технологии, современные компьютеры и офисное оборудование год от года оказывают все более существенное влияние на динамику и структуру мировой экономики.

 Необходимо признать, что настоящей революцией в этой сфере стало появление и интенсивное развитие системы Интернет. В наше время он стал одной из ведущих отраслей мировой экономики. В нем заняты миллионы человек. Применение более мощных и быстродействующих компьютеров позволяет постоянно увеличивать число пользователей системой Интернет.

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

Поскольку появились персональные компьютеры, то появился и новый вид процесса обучения. Появление компьютера в педагогической системе изменило и еще будет изменять ее функции. Он позволит достичь нового педагогического эффекта. 

Компьютерные технологии обучения – это процессы подготовки и передачи информации обучаемому, средством осуществления которых является компьютер. С его можно получить самую разнообразную информацию, в том числе видео и аудио. Появилось и такое понятие, как дистанционное обучение. И все потому, что компьютер предоставляет богатые возможности для обучения и самообразования.

Успехи космонавтики, физики, биологии, медицины, геологии, как и прочих наук, невозможно представить без компьютеров. Компьютеризация – это системы противоракетной обороны, космические системы, как и решение задач метеопрогноза. Это системы массового обслуживания и информационно-справочные системы. Скажем, системы резервирования и продажи железнодорожных и авиабилетов. Это банковские и биржевые компьютерные системы, как и библиографические компьютерные системы. 

Цифровая аудио- и видеозапись, как и компьютерная верстка и подготовка к изданию газет, журналов, книг, а также аранжировка музыкальных произведений, цветомузыка – все это следствие компьютеризации нашей жизни. Компьютеры нашли широкое применение и в управлении технологическими процессами и производством в целом. Без них невозможно создать станки с числовым программным управлением и промышленные роботы.

1)function first(k,l,m,n:integer):boolean;
 begin
  if (((k mod 2=0) and (l mod 2<>0)) or ((l mod 2=0) and (k mod 2<>0)))=(((m mod 2=0) and (n mod 2<>0)) or ((n mod 2=0) and (m mod 2<>0))) then first:=true else first:=false;
end;

2)function second(k,l,m,n:integer):boolean;
 begin
  if (k=m) or (l=n) or (((k+1)=m) and ((l+1)=n)) or (((k+2)=m) and ((l+2)=n)) or (((k+3)=m) and ((l+3)=n)) or (((k+4)=m) and ((l+4)=n)) or (((k+5)=m) and ((l+5)=n)) or (((k+6)=m) and ((l+6)=n)) or (((k-1)=m) and ((l-1)=n)) or (((k-2)=m) and ((l-2)=n)) or (((k-3)=m) and ((l-3)=n)) or (((k-4)=m) and ((l-4)=n)) or (((k-5)=m) and ((l-5)=n)) or (((k-6)=m) and ((l-6)=n)) or (((m+1)=k) and ((n+1)=l)) or (((m+2)=k) and ((n+2)=l)) or (((m+3)=k) and ((n+3)=l)) or (((m+4)=k) and ((n+4)=l)) or (((m+5)=k) and ((n+5)=l)) or (((m+6)=k) and ((n+6)=l)) or (((m-1)=k) and ((n-1)=l)) or (((m-2)=k) and ((n-2)=l)) or (((m-3)=k) and ((n-3)=l)) or (((m-4)=k) and ((n-4)=l)) or (((m-5)=k) and ((n-5)=l)) or (((m-6)=k) and ((n-6)=l)) or (((k-1)=m) and ((l+1)=n)) or (((k-2)=m) and ((l+2)=n)) or (((k-3)=m) and ((l+3)=n)) or (((k-4)=m) and ((l+4)=n)) or (((k-5)=m) and ((l+5)=n)) or (((k-6)=m) and ((l+6)=n)) or (((k-1)=m) and ((l+1)=n)) or (((k-2)=m) and ((l+2)=n)) or (((k-3)=m) and ((l+3)=n)) or (((k-4)=m) and ((l+4)=n)) or (((k-5)=m) and ((l+5)=n)) or (((k-6)=m) and ((l+6)=n)) or (((m-1)=k) and ((n+1)=l)) or (((m-2)=k) and ((n+2)=l)) or (((m-3)=k) and ((n+3)=l)) or (((m-4)=k) and ((n+4)=l)) or (((m-5)=k) and ((n+5)=l)) or (((m-6)=k) and ((n+6)=l)) or (((m-1)=k) and ((n+1)=l)) or (((m-2)=k) and ((n+2)=l)) or (((m-3)=k) and ((n+3)=l)) or (((m-4)=k) and ((n+4)=l)) or (((m-5)=k) and ((n+5)=l)) or (((m-6)=k) and ((n+6)=l)) then second:=true else second:=false;
 end;