Artikel — International Languages

Dicas para a preparação de listas de exercícios da disciplina MAC0239 (Introdução à Lógica e Verificação de Programas) no IME-USP. Tips for preparing exercises for MAC0239 (Introduction to Logic and Program Verification) at IME-USP.

Informe L4

本次Lab设计一个家庭（宿舍、实验室）网络。说明用户需求（功能及服务），采用的技术（802.11/802.3）及主要设备的型号、传输介质及其特性，给出网络结构的描述（可用Visio工具绘图），所需费用；提出一些与技术与应用相关的问题。ISP提供的接口：有线电视、移动、联通、电信 用户计算机数：台式机、笔记本、智能手机使用方式及性能：固定、移动；带宽需求典型设备：AP路由器、交换机、专用服务器网络安装与测试费用：设备购置、使用费、维护费。

The use of technological resources in education has lead to positive changes in the elaboration of new methodologies, in this context technologies such as the Digital Interactive Whiteboard (DIW) can act by facilitating Learning. The mere presence of the DIW does not guarantee benefits for the student's learning process, that raises doubts about whether or not the resources available are used in a satisfactory manner. In this research it was possible to verify that there are few tools available for the DIW context, and many of them have problems of usability and content quality. Thus, a form of facilitate the content elaboration for the DIW is the use of Authoring Tools (ATs). In order to verify whether or not the use of ATs promotes better use of the DIW, an AT (entitled AtauDIW) was developed to assist the use of DIWs.

The usage of software has grown as computers become popular. There have emerged, both in academia and in the market, technological solutions for several areas, among them education. On the other hand, classroom teaching and learning continues to suffer from classical educational problems such as lack of student and teacher motivation and lack of clear educational goals. And although software supports learning across a range of disciplines and ages, children's audiences, especially in mathematics, have been little contemplated with the benefits that technological solutions can bring. Therefore, the use of pedagogical approaches, such as Bloom's Taxonomy and Formative Assessments, together with gamification techniques, such as Octalysis, can be used to develop a technological solution that contemplates this public. The present work aims to propose the development of a software to assist the teaching and learning of mathematics for children in the classroom.

The purpose of this study is to perform an analysis on a discussion of REST creator Roy Thomas Fielding, where he exposes a critique of implementations that claim to use the architectural model proposed in his thesis. Implementations of APIs that manifest themselves as RESTFUL are used as object of study. Architectural Constraints are used which refer to important features of the model to verify these implementations, where they must succeed in these comparisons with the constraints, so that they can prove to implement the model. The conclusion is that there are in fact several implementations that are improperly named, where they have several similarities to the model in their implementation, but do not agree with the constraints that must be implemented so that it can be considered an instance of the model.

En este documento se explican qué son las matrices, los distintos tipos que hay, algunas operaciones que se hacen con ellas con ellas (y sus respectivas propiedades), además de enseñar cómo realizar estas operaciones en programación. Incluye el concepto de relación binaria, y se explica cómo se pueden representar éstas (si son homogéneas) mediante grafos. y los distintos tipos de éstos últimos. Se recalca la "matriz jacobiana", explicando su función escalar y vectorial

Excerpt from main dissertation

Excerpt from main dissertation