Добавить работы Отмеченные0
Работа успешно отмечена.

Отмеченные работы

Просмотренные0

Просмотренные работы

Корзина0
Работа успешно добавлена в корзину.

Корзина

Регистрация

интернет библиотека
Atlants.lv библиотека
Особые предложения 2 Открыть
5,49 € В корзину
Добавить в список желаний
Хочешь дешевле?
Идентификатор:104988
 
Автор:
Оценка:
Опубликованно: 29.03.2010.
Язык: Латышский
Уровень: Университет
Литературный список: Нет
Ссылки: Не использованы
Рассмотреный период: 2000–2010 гг.
Фрагмент работы

3. Leibnica problēma
formulējums:Vai eksistē formulējumu sistēma, kas no dotās aksiomu sist;emas dod iespēju
izveidot uzdoto teorēmu vai pierādīt, ka tā neiedarbojas. Pēc problēmas formulējuma tika izvirzīta hipotēze, ka tāds formulējums neeksistē.
Problēma:No 1. algoritmu definīcijas nav iespējams pierādīt, ka kautkāds algoritms neeksistē.Šis iemesls uzrādīja definīcijas trūkumu. Bija nepieciešams precizēt , līdz pierāda, ka kautkāds algoritms neeksistē.
4. Algoritma 2. definīcija
Par algoritmu sauc skaidru un prezīzu likumu sistēmu, kas pārveido vienas reālas pasaules objekta aprakstus citu objektu aprakstos.
Strādā nevis ar objektiem,bet ar objektu aprakstiem.Abstrakts jēdziens – krēsls – rakstura īpašība – var apsēsties. 1. un 2. algoritmu definīcija ir saistīta,jo paraksta.
5. Algoritma 3. definīcija
Ir izteikums, kas sastāv no vārdiem, bet katrs vārds no burtiem.
Definīcija:Par algoritmu sauc skaidru un precīzu likumu sistēmu, kas satur galīgo apgalvojumu
skaitu un pārveido tekstu tekstā.
Pārejot no 2. uz 3. definīciju mēs neko nezaudējam, jo katrs pasaules objekta apraksts ir teksts.
Lai pārveidotu tekstu tekstāvar izmantot abstraktās skaitļojamās mašīnas.
Aprakstus aizvieto ar tekstiem.
Algoritms pārveido tekstu un rezultātā iegūst citus tekstus, kuriem ir vēlama nozīme.
6. algoritmu 4. definīcija
Algoritmu pamattēze, tjuringa forma. Katrs algoritms var būt realizēts ar atbilstošu tjuringa mašīnu.
Algoritms pārveido tekstu tekstā. Šajā definīcijā tēze ir jauna veida apgalvojums. Tēze nav ne
aksioma, ne teorēma. Tēze ir apgalvojums, ka sakrīt divas kopas.

Коментарий автора
Загрузить больше похожих работ

Atlants

Выбери способ авторизации

Э-почта + пароль

Э-почта + пароль

Неправильный адрес э-почты или пароль!
Войти

Забыл пароль?

Draugiem.pase
Facebook

Не зарегистрировался?

Зарегистрируйся и получи бесплатно!

Для того, чтобы получить бесплатные материалы с сайта Atlants.lv, необходимо зарегистрироваться. Это просто и займет всего несколько секунд.

Если ты уже зарегистрировался, то просто и сможешь скачивать бесплатные материалы.

Отменить Регистрация