Добре дошли!

Добре дошли в нашите форуми, пълни с полезна информация. Имате проблем с компютъра или телефона си? Публикувайте нова тема и ще намерите решение на всичките си проблеми. Общувайте свободно и открийте безброй нови приятели.

Моля, регистрирайте се за да публикувате тема и да получите пълен достъп до всички функции.

Помощ със задача по семантика на езиците за програмиране

13 декември 201312 г.

Здравейте! Имам нужда от помощ за следната задача:Като се използва аксиоматичният подход да се синтезира подпрограма-метод, която да провери колко от елементите на масива a[0:n-1], където n>0, са 0.Масивът е разреден, ако повечето му елементи са 0.Да се изведат елементите на масива а и да се провери дали е разреден. Синтезираната PDL програма да се трансформира първо в Spec# програма,а след това в C# windows приложение.Благодаря предварително.

Архивирана тема

Темата е твърде стара и е архивирана. Не можете да добавяте нови отговори в нея, но винаги можете да публикувате нова тема, в която да продължи дискусията. Регистрирайте се или влезте във вашия профил за да публикувате нова тема.