Inspection Methods in Programming

The work reported here lies in the area of overlap between artificial intelligence software engineering. As research in artificial intelligence, it is a step towards a model of problem solving in the domain of programming. In particular, this work focuses on the routine aspects of programming which involve the application of previous experience with similar programs. I call this programming by inspection. Programming is viewed here as a kind of engineering activity. Analysis and synthesis by inspection area prominent part of expert problem solving in many other engineering disciplines, such as electrical and mechanical engineering. The notion of inspections methods in programming developed in this work is motivated by similar notions in other areas of engineering. This work is also motivated by current practical concerns in the area of software engineering. The inadequacy of current programming technology is universally recognized. Part of the solution to this problem will be to increase the level of automation in programming. I believe that the next major step in the evolution of more automated programming will be interactive systems which provide a mixture of partially automated program analysis, synthesis and verification. One such system being developed at MIT, called the programmer's apprentice, is the immediate intended application of this work. This report concentrates on the knowledge are of the programmer's apprentice, which is the form of a taxonomy of commonly used algorithms and data structures. To the extent that a programmer is able to construct and manipulate programs in terms of the forms in such a taxonomy, he may relieve himself of many details and generally raise the conceptual level of his interaction with the system, as compared with present day programming environments. Also, since it is practical to expand a great deal of effort pre-analyzing the entries in a library, the difficulty of verifying the correctness of programs constructed this way is correspondingly reduced. The feasibility of this approach is demonstrated by the design of an initial library of common techniques for manipulating symbolic data. This document also reports on the further development of a formalism called the plan calculus for specifying computations in a programming language independent manner. This formalism combines both data and control abstraction in a uniform framework that has facilities for representing multiple points of view and side effects.

Freedom to learn: a radically revised pedagogy to facilitate lifewide learning in the academic curriculum.

Higher education has progressed fairly steadily to a common pedagogical approach which centres on the idea of alignment. In this arrangement, intended learning outcomes are identified and declared; learning activities which will enable the desired learning and development to be achieved are conceived and undertaken with the support of appropriate and effective teaching; and assessment which calls for these outcomes is (ideally) carefully designed and implemented. All three elements are aligned in advance. The same principles and practices underpinned by notions of alignment have been applied to date in most of the purposeful schemes for personal development planning. In this chapter I argue that lifewide learning, wherein learning and development often occur incidentally in multiple and varied real-world situations throughout an individual’s life course, calls for a different approach, and a different pedagogy. Higher education should therefore visualise lifewide learning as an emergent phenomenon wherein the outcomes of learning emerge later on, and are often unintended. Consequently, they cannot be defined in advance of the activities through which they are formed. The main purpose of this chapter is to offer some practical ideas to support the development of pedagogies that would enable programme designers to embed in their programmes the principle and practice of lifewide education.

Developing a Pedagogy for Interactive Learning.

Recent developments in higher education have seen the demise of much didactic, teacher-directed instruction which was aimed mainly towards lower-level educational objectives. This traditional educational approach has been largely replaced by methods which feature the teacher as an originator or facilitator of interactive and learner-centred learning - with higher-level aims in mind. The origins of, and need for, these changes are outlined, leading into an account of the emerging pedagogical approach to interactive learning, featuring facilitation and reflection. Some of the main challenges yet to be confronted effectively in consolidating a sound and comprehensive pedagogical approach to interactive development of higher level educational aims are outlined.

Are There Any Lessons of History?: The English School and the Activity of Being an Historian

Bain, William, 'Are There Any Lessons of History?: The English School and the Activity of Being an Historian', International Politics (2007) 44(5) pp.513-530 RAE2008

Developing the untapped wealth of Britain's ?Celtic Fringe? : Water engineering and the Welsh landscape, 1870 ? 1960

Roberts, O. (2006). Developing the untapped wealth of Britain's ?Celtic fringe?: water engineering and the Welsh landscape, 1870-1960. Landscape Research. 31(2), pp.121-133. RAE2008

Metodologiczne podstawy negatywistycznej metafizyki unitarnej Leszka Nowaka. Próba reinterpretacji procedury konkretyzacji oraz konstrukcja kategorii materii na gruncie metafizyki negatywistycznej

Wydział Nauk Społecznych: Instytut Filozofii

Danieli Hodrovej mit i poetyka miasta

The author analyses the theoretical and historical work of the Czech literary theoretician entitled “Citlivé město (eseje z mytopoetiky”), Praha 2006, ss. 416. Hodrova’s work is focused on the topic of the city as an architectural creation and a complicated social and cultural phenomenon. In the post-modern anthropological thought the city is the subject of interest as an area that defines the identity of the human being through urban notions. The historical model of Hodrova’s reflection is the Czech Prague seen through the eyes of writers, artists, architects but also through the European tradition of presenting the city. Ipso facto, the monograph that reconstructs the artistic means of presenting Prague transforms into a dispute in the area of social psychology, mythical studies and anthropology.

Zum Einsatz von authentischem Quellenmaterial im Fremdsprachenunterricht am Beispiel von Fernsehnachrichten

This article attempts to qualify the work with authentic source material such as TV news in foreign language teaching. At first, the role of authentic materials in foreign language teaching shall be discussed. Afterwards, TV news will be briefly examined and characterized from the point of view of media theory. Methodic-didactic considerations on the work with TV news in class round up the article.

Gorputz Hezkuntzaren garrantzia Haur Hezkuntzan garraioekin bateratutako unitate didaktikoaren bidez

La educación que se recibe en el primer y segundo ciclo de Educación Infantil es esencial y decisivo para el ser humano para el desarrolo completo que tendra como persona. Es por eso que en el siguiente trabajo se explicará la importancia que tiene la psicomotricidad en la educación de los primeros años de los niños. Se explicará qué es, cuales son sus contenidos y las metodologias mas relevantes. Este trabajo esta dirigido a los futuros maestros, por lo tanto, lo que se ofrece es un servicio que se puede poner en práctica en un colegio. La primera parte del trabajo esta basada en la lectura de libros sobre algunos autores de la psicomotricidad, asi, basandome en ello se a completado la segunda parte. La segunda parte es una Unidad Didáctica basada en los transportes con el cual, a través de los juegos los niños obtendrán conocimientos sobre ellos y a su vez conoceran su propio cuerpo

Analogia w dydaktyce języka chińskiego

W artykule zajmuję się problematyką dydaktyki wybranych konstrukcji języka chińskiego. Moim celem jest pokazanie na przykładach, w jaki sposób, wykorzystując zarówno różnice semantyczne między zdaniami strukturalnie podobnymi, jak i analogie semantyczne między zdaniami składniowo różnymi, ułatwić i przyspieszyć nauczanie problematycznych w tym względzie zagadnień gramatyki chińskiej. Do egzemplifikacji wykorzystania mechanizmów różnic i analogii w dydaktyce wykorzystałem zdania z partykułą le i skopiowanym czasownikiem, konstrukcję z de i dopełnieniem komplementywnym oraz partykułę końcową le.

„Wyłanianie” się podmiotu w autopojetycznie pojmowanej szkole

Istotą artykułu jest dookreślenia podmiotowości w systemie autopojetycznym, jakim może być szkoła. Na początku postaramy się dookreślić znaczenie rozumienia podmiotu i podmiotowości. Przy czym, poszukując ich źródłowych odniesień odwołamy się do myśli Arystotelesa i Kartezjusza, by następnie poddać je krytyce jako niespełnionych oczekiwań nowożytnej i współczesnej cywilizacji. Jednak, powołując się dalej na poglądy M. Heideggera w tym temacie, okazuje się, że podmiot może być traktowany zgoła inaczej niż opisuje to literatura przedmiotu. Przybliżając zatem inne ujęcie podmiotu, postaramy się wykazać, że wyłania się on na styku jego związku z osobowością, co sugeruje, że to właśnie kształcenie i kształtowanie powinno być traktowane jako najważniejsza dziedzina ludzkiej wiedzy. Dopełnienie tej tezy będzie zatem wymagało wyjaśnienia takich pojęć, jak: osobowość i praktyka edukacyjna. I skoro zatem praktyka edukacyjna jest tak istotna i dla kształtowania osobowości, i wyłaniania się podmiotu, to w dalszej części naszej wypowiedzi położymy nacisk na zinstytucjonalizowaną formę praktyki edukacyjnej czyli nauczanie klasowo-lekcyjne, traktowane jako układ autopojetyczny. Wyjaśnienie znaczenia tego układu będzie stanowić kolejną fazę toczonych tutaj rozważań, a ich celem będzie obrona poglądu, że to, co zostanie „wniesione” do klas szkolnych w postaci zasobów i reguł na początku każdego roku szkolnego, będzie się przekładać na kształtowanie i kształcenie osobowości, i tym samym na możliwości samodoświadczania „Się” podmiotowości. Ponieważ pogląd ten może budzić pewne zastrzeżenia, toteż powołamy się na pewne rozważania dotyczące istnienia tzw. podmiotu rekonstruującego, a więc takiego, który wpisany jest w sens istnienia np. projekcji filmowej, spektaklu teatralnego, czytanej książki.

Rola stereotypów w komunikacji międzykulturowej biznesowej: studium porównawcze polsko-ukraińskie

Wydział Neofilologia: Katedra Ekokomunikacji

Wpływ środków dydaktycznych na proces twórczego rozwiązywania problemów

The paper analyses the present state of knowledge on the influence of the didactic aids on the process of creative problem solving. The author suggests a new methodological approach to the research in this field. Results of the educational experiment carried out are also presented. Basing on those results the author tries to establish precisely the regularities appearing in different phases of problem solving. In order to make the theory closer to teacher practice a number of conclusions and practical directives have been included.

Poziom wykorzystania komputera w pracy dydaktycznej nauczycieli klas początkowych w świetle badań diagnostycznych

The article aims at presenting possibilities of information technology, as well as presenting the inestimable advantages that spring from embracing it in teaching process. Several aspects of a teacher’s role in the process of conscious teaching and learning is, thus, presented in the article. Further, the article embraces, in the light of selected material comprised of the results of several diagnostic surveys done among teachers working in primary schools with small children (e.g. seven, eight and nine year olds), the analysis and opinions of numerous teachers.

IInformacyjne wspomaganie oświaty

In view of a constant growth of writings on didactic and educational problems it is necessary to create an efficient system of scientific educational information. This system will provide creative teachers with materials that will facilitate the selection and access to materials that will enrich the teachers' methodological base and their own intellectual potential by means of a network of school and pedagogical libraries. Such well-organized and efficiently operating system at the level of the school superintendent's office, whose links will be educational institutions as well as those that improve teaching methods of the teaching staff, may be of great information and practical importance in the present age of rapid transformations. It will become an instrument that will make contact with pedagogical writings and improvement of qualifications of the teaching staff possible.