Plano de Ensino 3 Quadrimestre de 2013

BC1426 Lgica bsica (matutino)

Responsvel Objetivo Conte o !esc"i#$o Prof. Dr. Anderson de Arajo (anderson.araujo@ufabc.edu.br) Estudar os aspectos bsicos da lgica clssica de primeira ordem. (1) Argumentos predicati os! (") Argumentos proposicionais! (#) Argumentos $uantificados. %ocal& '(A)*+ ,-o )ernardo do *ampo+ )loco Alp.a+ ,ala A1/101 (a) P1 9 Pro a 1 e P" 9 Pro a "! (b) %1+ %"+ %# e %4 s-o os de: e3erc;cios em colc.etes no final de cada cap;tulo das notas de aulas+ as $uais de er-o ser entregues nas datas do cronograma! %valia#$o (c) <odos os e3erc;cios das listas ser-o erificados (metade da nota) e o e3erc;cio selecionado pelo estudante ser a aliado conforme o n; el de dificuldade (7 8 9 #+ 77 88 9 4 e 777 888 9 1)! (d) =o caso de compro a>-o de impossibilidade de comparecimento em uma das pro as+ ser aplicada uma a alia>-o substituti a+ composta por e3erc;cios sobre todo o contedo+ a $ual estar dispon; el em 06?0"?"014 e de er ser entregue em 10?0"?"014. (e) A nota final ser = 9 0.# 3 P1 @ 0.# 3 P" @ 0.4 3 ((%1@%"@%#@%4)?4). As conceitos ser-o os seguintes+ no $ual 0 P 0.1 B a nota de participa>-o& Conceitos A& (C / P) =+ )& (D / P) = E (C / P)+ *& (6 / P) = E (D / P)+ D& (5 / P) = E (6 / P)+ (& = E (5 / P). ,er considerado o arredondamento na segunda casa decimal. 718 AFAGHA+ A. de. Lgica bsica. (notas de aula) 7"8 IAF<AFJ+ *. A. Introduo Lgica. ,-o Paulo& Editora '=E,P+ "001. Bibliog"a&ia 7#8 2J=IA=+ P. Fundamentals of mathematical logic. Iassac.usetts& Peter KesleL+ "001. 748 MA))AN+ D.! M'E=<2=EF+ (. (eds). Handbook of philosophical logic. "nd ed. (Ool 1 P Ool 14). Dordrec.t& D Feidel+ "00"/"006. ,eis notas P1+ P"+ %1+ %"+ %#+ %4 no inter alo 70+108 tais $ue& 2orrio& ,e3ta/feira+ 14&00 / 11&40 / / 15&00 / 16&40

C"onog"ama
Aula 01 (0D?11?"01#) Aula 0" (11?11?"01#) Aula 0# (""?11?"01#) Aula 04 ("C?1"?"01#) Aula 01 (05?1"?"01#) Aula 05 (1#?1"?"01#) Aula 06 ("0?05?"01#) Aula 0D (10?01?"014) Aula 0C (16?01?"014) Aula 10 ("4?01?"014) Aula 11 (#1?01?"014) Aula 1" (06?0"?"014) Argumentos e sistemas lgicos (eriado Assinaturas+ estruturas e e3pressQes predicati as Oerdade e conse$uRncia predicati a (%1) *ompletude predicati a e nature:a da identidade E3pressQes e erdade proposicionais (%") Pro a 1 (un>Qes eritati as e conse$uRncia proposicional *ompletude proposicional e comple3idade lgica (%#) E3pressQes+ erdade e conse$uRncia $uantificada *ompletude $uantificada e descri>Qes definidas (%4) Pro a "