ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Modelos de Computação e Sistemas Formais

دانلود کتاب مدل‌های محاسباتی و سیستم‌های رسمی

Modelos de Computação e Sistemas Formais

مشخصات کتاب

Modelos de Computação e Sistemas Formais

ویرایش:  
نویسندگان:   
سری: 11ª Escola de Computação (Rio de Janeiro, Brasil) 
 
ناشر: Universidade Federal do Rio de Janeiro 
سال نشر: 1998 
تعداد صفحات: 296 
زبان: Portuguese 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 8 مگابایت

قیمت کتاب (تومان) : 56,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 12


در صورت تبدیل فایل کتاب Modelos de Computação e Sistemas Formais به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مدل‌های محاسباتی و سیستم‌های رسمی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب مدل‌های محاسباتی و سیستم‌های رسمی

از مقدمه: این کتاب به موضوع محاسبه‌پذیری، جنبه نظری اصلی محاسبات، از طریق دیدگاه «ماشین‌ها»، با جذابیت قوی برای شهود برنامه‌نویس می‌پردازد. در بخش اول، تز چرچ از طریق ساخت چندین پارادایم و تأیید اینکه آنها یک کلاس از توابع را محاسبه می کنند، اثبات می شود. برخی از عناصر ضروری مدل‌های محاسباتی نشان داده شده‌اند، از جمله مهم‌ترین نتایج حاصل از تئوری توابع بازگشتی. در بخش دوم، تئوری کلی سیستم های رسمی با چند مثال ارائه شده است. پس از ساختن محاسبات پذیری از طریق سیستم های رسمی ابتدایی، از این ها برای نشان دادن قضیه ناتمامیت گودل استفاده می شود. به این ترتیب، این نتیجه، که برای متخصصان محاسبات در هر سطحی بسیار اساسی است و به اندازه کافی درک نشده است، به شدت با پیامدهای آن در فعالیت مرکزی محاسبات که برنامه نویسی رایانه است، انگیزه دارد. تئوری توابع بازگشتی و محاسبه پذیری در علوم کامپیوتر محور هستند. به طور کلی ارائه این موضوع چه در کتاب های کلاسیک و چه در دوره های معمولی به صورت فوق العاده ریاضی انجام می شود. این در نهایت فقط دانشجویان برجسته نظری را جذب می کند، علاوه بر این که این سوال را مطرح می کند که "کاربرد این نظریه چیست؟". از دیدگاه ما، کاربرد این نظریه خود محاسبات است و لازم است که این نظریه زیربنای فعالیت برنامه نویسی باشد. ما یک رویکرد بسیار ملموس را برای مدل‌های محاسباتی مختلف اتخاذ می‌کنیم و آنها را با یکدیگر مقایسه می‌کنیم (آنها را به یکدیگر کاهش می‌دهیم). تز چرچ فرضیه اصلی کاری هر برنامه نویسی است و بنابراین او باید آن را از نزدیک بداند. علاوه بر این، مدل‌های محاسباتی انتخاب‌شده از نظر تاریخی پارادایم‌های محاسباتی پرکاربرد (برنامه‌نویسی ضروری، عملکردی، منطقی) را مشخص می‌کنند. اگرچه ظاهراً تئوری است، اما پردازش مواد به عملی ترین شکل ممکن انجام می شود. یکی از ویژگی های کتاب، پرداختن به مطالبی از نظریه توابع بازگشتی در کنار سیستم های رسمی و روشن شدن رابطه بین این دو مدل محاسباتی است. بنابراین، قضیه ناتمامیت گودل را می توان به دو صورت درک کرد. این نظریه کاملاً سطحی است، به این معنا که فقط لازم است آن را با حداقل دانش و مهارت با مجموعه ها (به ویژه اعداد طبیعی و استقراء) درک کرد، علاوه بر آن در استفاده از فرمالیسم، که یک برنامه نویس خوب است، پختگی داشت. قطعا نیاز دارد.


توضیحاتی درمورد کتاب به خارجی

Da Introdução: O livro aborda o tema de computabilidade, o principal aspecto teórico da computação, através de uma visão de “máquinas”, com apelo forte à intuição do programador. Na primeira parte, a tese de Church é evidenciada através da construção de diversos paradigmas e constatação de que estes computam a mesma classe de funções. Alguns elementos essenciais dos modelos de computação são demonstrados, incluindo os resultados mais importantes da teoria das Funções Recursivas. Na segunda parte, apresenta-se a teoria geral dos sistemas formais, com alguns exemplos. Após a construção da computabilidade através dos Sistemas Formais Elementares, estes são utilizados para demonstração do Teorema da In- completude de Gödel. Desta maneira, este resultado tão fundamental para o profissional da computação em qualquer nível e tão pouco entendido, é altamente motivado pelas suas implicações na atividade central da computação que é a programação de computadores. Teoria das Funções Recursivas e Computabilidade são centrais à Ciência da Computação. Em geral a apresentação deste tema, tanto em livros textos clássicos como nos cursos normais é feita de maneira extremamente matemática. Isto termina atraindo somente alunos eminentemente teóricos, além de suscitar a dúvida “qual a aplicação desta teoria?”. Do nosso ponto de vista a aplicação desta teoria é a computação em si e é necessário que esta teoria esteja subjacente à atividade de programação. Adotamos uma abordagem bastante concreta dos diversos modelos de computação, comparando-os entre si (reduzindo-os uns aos outros). A Tese de Church é a principal hipótese de trabalho de todo programador e, portanto, ele deve conhecê-la intimamente. Além disso, os modelos de computação escolhidos caracterizam historicamente paradigmas de computação amplamente utilizados (programação imperativa, funcional, lógica). Mesmo sendo evidentemente teórico, o tratamento do material é feito da maneira mais prática possível. Uma das características do livro é o tratamento do material de teoria das funções recursivas junto com o de sistemas formais e a clarificação do relacionamento entre estes dois modelos de computação. Assim, o teorema da incompletude de Gödel pode ser entendido das duas maneiras. Esta teoria é bastante rasa, no sentido de que só é necessário para entendê-la o mínimo de conhecimento e habilidade com conjuntos (em particular, números naturais e indução), além de alguma maturidade no uso de formalismos, o que um bom programador certamente domina.



فهرست مطالب

Modelos de Computação e Sistemas Formais . Roberto Lins de Carvalho.djvu......Page 1
Capa......Page Modelos de Computação e Sistemas Formais . Roberto Lins de Carvalho.djvu
Contracapa......Page 2
Página Interna da Capa......Page 3
Página Interna da Contracapa......Page 4
Folha de Título......Page 5
Copyright......Page scandjvutmpff_0001.djvu
Apresentação......Page scandjvutmp100_0001.djvu
Índice......Page scandjvutmp102_0001.djvu
Lista de Símbolos......Page 13
Prefácio......Page 17
Capítulo 1 – Introdução......Page 21
2.1.1  Conjuntos......Page 23
2.1.2  Funções......Page 26
2.1.3  Relações......Page 29
Relações de Equivalência e Congruência......Page 30
Relações de ordem......Page 32
2.2  Indução Finita......Page 34
2.2.1  Definições Indutivas......Page 35
2.3  Alfabetos e Linguagens......Page 39
2.4  Objetos finitos e espaços......Page 40
2.4.1  Sistemas de Representação......Page 41
2.5  Conclusões e Referências......Page 44
2.6  Exercícios......Page 45
Parte I – Evidências para a Tese de Church......Page 47
Capítulo 3 – Funções Recursivas......Page 49
3.1.1  Funções Iniciais......Page 50
3.1.2  Composição......Page 54
3.1.3  Combinação......Page 55
3.1.4  Expoentização......Page 56
3.2  A linguagem básica......Page 60
3.3 Funções aritméticas......Page 61
3.4  Manipulação de tuplas......Page 68
3.5  Funcionais especiais......Page 71
3.6  Processamento de cadeias......Page 75
3.7  Relação entre alfabetos......Page 84
3.8  Repetição......Page 87
3.10  Exercícios......Page 90
4.1  A Linguagem LPM......Page 93
4.2  Semântica operacional de programas......Page 96
4.3  Computabilidade de funções......Page 100
4.3.1  Função LPM – {GOTO}-computáveis......Page 102
4.3.2  Extensões da linguagem LPM......Page 104
4.3.3  Computatilidade em LPM – {GOTO}......Page 106
4.4  Estrutura de Dados......Page 112
4.5  Conclusões e Referências......Page 118
4.6  Exercícios......Page 119
Capítulo 5 – Máquinas com Registros......Page 121
5.1  Máquinas com Registros – Geral......Page 122
5.1.1  Programas para máquinas com registros......Page 123
5.2  Máquinas com infinitos registros (MIR)......Page 128
5.2.1  Macros......Page 129
5.2.2  Interpretação de LPM-programas em MIR......Page 131
5.3  Máquinas com um só registro (MUR)......Page 134
5.4  Máquinas de Turing......Page 137
5.5  Conclusões e Referências......Page 141
5.6  Exercícios......Page 142
6.1  Definição da Linguagem......Page 145
6.2  Formalização da Semântica dos AMR\'s......Page 151
6.2.1  Funções básicas para formalização......Page 153
6.2.2  Recursividade primitiva de C......Page 155
6.3  Enumeração efetiva dos AMR\'s......Page 160
6.3.1  Composição de AMR\'s......Page 165
6.3.2  Função Universal em AMR......Page 167
6.3.3  O predicado T de Kleene......Page 168
6.5  Exercícios......Page 169
7.1  Algoritmos......Page 171
7.2  Famílias Abstratas de Algoritmos......Page 173
7.2.1  Famílias Padrão de Algoritmos......Page 174
7.3  Teorema da Recursão......Page 180
7.4  Forma Normal de Kleene......Page 186
7.5  Tradução entre Famílias Padrão......Page 189
7.7  Exercícios......Page 196
8.1  Recursividade de Conjuntos......Page 201
8.2  Problemas Insolúveis......Page 206
8.3  Conclusões e Referências......Page 212
8.4  Exercícios......Page 213
Parte II – Sistemas Formais......Page 215
Capítulo 9 – Sistemas Formais......Page 217
9.1  Sistemas Formais – Geral......Page 218
9.2  Tipos de sistemas formais......Page 221
9.2.1  Sistemas de Produções de Post......Page 222
9.2.2  Linguagens Formais e Gramáticas......Page 224
Tipos de Gramáticas......Page 227
9.2.3  Aritmética rudimentar......Page 230
9.2.4  Sistema formal proposicional (SFP)......Page 231
9.2.5  Sistemas formais modificados......Page 234
9.3  Conclusões e Referências......Page 235
9.4  Exercícios......Page 236
Capítulo 10 – Sistermas Formais Elementares......Page 239
10.1  Definição dos SFE\'s......Page 240
10.2  Funções Aritméticas......Page 243
Função Sucessor......Page 244
Função Soma......Page 245
10.3  SFE\'s e Gramáticas......Page 249
10.4  Representabilidade formal......Page 251
10.4.1  Propriedades algébricas......Page 252
10.5  SFE e Funções Parcialmente Recursivas......Page 254
Funções aritméticas auxiliares......Page 257
Fase de identificação......Page 258
Fase final......Page 260
10.8  Exercícios......Page 262
11.1  Linhas gerais......Page 265
11.2  A Prova Original......Page 267
11.3  Sistemas Abstratos de Representação......Page 271
11.3.1  Representação e Definição......Page 273
11.3.2  Completude e Consistência......Page 278
11.4  Senteças de Gödel e Representabilidade......Page 280
11.5  SRA\'s como Sistemas Formais......Page 285
11.6  Conclusões e Referências......Page 288
Apêndice A – Linguagem Pseudo-Pascal......Page 289
Bibliografia......Page 293




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی