scholarly journals Object-Oriented Programming in Bulgarian Universities' Informatics and Computer Science Curricula

2008 ◽  
Vol 7 (2) ◽  
pp. 159-172
Author(s):  
Ivaylo DONCHEV ◽  
Emilia TODOROVA
Keyword(s):  
Computer Science ◽  
Object Oriented ◽  
Object Oriented Programming ◽  
Science Curricula

Object-Oriented Programming in Computer Science

2018 ◽  
pp. 7470-7480
Author(s):  
Rahime Yilmaz ◽  
Anil Sezgin ◽  
Sefer Kurnaz ◽  
Yunus Ziya Arslan
Keyword(s):  
Computer Science ◽  
Electronic Circuit ◽  
Object Oriented ◽  
Computer Programs ◽  
Human Mind ◽  
Object Oriented Programming ◽  
Computer Hardware ◽  
Programming System ◽  
Low Level ◽  
Application Programming

A program is composed of commands, which runs within a computer or an electronic circuit. Programming is a mathematical methodology to write a program and to encode the algorithm into a notation. It can be classified into two groups such as system and application programming. System programming is a branch of the general programming that is composed of low level instructions which are used to operate and handle computer hardware. Application programming is considered as the improved version of the computer programs which can perform specific tasks. One of the application programming types is the object-oriented programming (OOP) which is about how information is represented in human mind. OOP is useful to provide easy modeling in design and developing real entities. This approach is aimed to model the entities and the relationships existing between them. OOP enables to define the required classes to create the objects and to apply modifications on them. The inherent properties of OOP are modularity, extensibility and reusability. This chapter provides a substantial survey of OOP.

scholarly journals A Modal Proof Theory for Polynomial Coalgebras

2021 ◽  
Author(s):  
◽  
David Friggens
Keyword(s):  
Modal Logic ◽  
Computer Science ◽  
Programming Languages ◽  
Data Structures ◽  
Proof Theory ◽  
Object Oriented ◽  
Object Oriented Programming ◽  
Algebraic Methods ◽  
Mathematical Structures ◽  
Finite Constant

<p>The abstract mathematical structures known as coalgebras are of increasing interest in computer science for their use in modelling certain types of data structures and programs. Traditional algebraic methods describe objects in terms of their construction, whilst coalgebraic methods describe objects in terms of their decomposition, or observational behaviour. The latter techniques are particularly useful for modelling infinite data structures and providing semantics for object-oriented programming languages, such as Java. There have been many different logics developed for reasoning about coalgebras of particular functors, most involving modal logic. We define a modal logic for coalgebras of polynomial functors, extending Rößiger’s logic [33], whose proof theory was limited to using finite constant sets, by adding an operator from Goldblatt [11]. From the semantics we define a canonical coalgebra that provides a natural construction of a final coalgebra for the relevant functor. We then give an infinitary axiomatization and syntactic proof relation that is sound and complete for functors constructed from countable constant sets.</p>

Thinking Animals and Thinking Machines in Psychoanalysis and Beyond

2013 ◽  
pp. 44-68
Author(s):  
Franco Scalzone ◽  
Gemma Zontini
Keyword(s):  
Computer Science ◽  
Object Relations ◽  
Object Oriented ◽  
Object Oriented Programming ◽  
Object Relations Theory ◽  
Energetic Model ◽  
Dynamic Structures ◽  
The Way

In this chapter, the authors examine some similarities between computer science and psychoanalysis, and formulate some hypotheses by bringing closer the statute of connectionism to the energetic model of the psychic apparatus as well as the OOP (object-oriented programming) to the object relations theory. The chapter also describes the relation existing between the functioning of mnemic systems and human temporalities as dynamic structures/processes which might be represented as complementary images of each other. The authors make some remarks on the machine and people theme, the way in which men relate to machines, especially “thinking machines,” describing the fantasies they arouse. In order to do this, the chapter uses Tausk’s classic (1919/1933) “On the Origin of the ‘Influencing Machine’ in Schizophrenia”1, as well as some of Freud’s writings.

The Role of Computer Games in Teaching Object-Oriented Programming in High Schools - Code Combat as a Game Approach

2021 ◽  
Vol 18 ◽  
pp. 37-46
Author(s):  
Omar Karram
Keyword(s):  
High Schools ◽  
Computer Science ◽  
Computer Games ◽  
Cognitive Learning ◽  
Object Oriented ◽  
Object Oriented Programming ◽  
Science Students ◽  
Science Field ◽  
Motivation And Engagement

Computer games are an effective approach that enhances student’s motivation and innovation. Many modern teaching strategies have been implemented in the process of teaching different subjects such as learn to do, explore to learn, cognitive and meta-cognitive learning, and gamification. Gamification is an effective approach to make a positive change in students' behavior and attitude towards learning, to improve their motivation and engagement. This paper presents the role of computer games in enhancing high schools computer science students’ motivation and engagement through gamification. It’s illustrated the implementation of Code Combat as a teaching model for teaching object-oriented programming (OOP) which considered a tough topic in the computer science field. Code-Combat is a gamification platform that uses games elements to make coding interesting and engaging for students. It consists of different levels, where each level covers a specific topic in computer science and structures based on object oriented methodology such as(variables, conditions, loops and recursion).

scholarly journals Una visión a la relación entre los subgéneros literarios y la programación orientada a objetos / Insight to the Relationship Between the Literary Subgenres and the Object Oriented Programming

2014 ◽  
Vol 2 (2) ◽  
Author(s):  
Ricardo De J. Botero ◽  
Carlos Arturo Castro ◽  
Edgar Serna
Keyword(s):  
Computer Science ◽  
Unified Modeling Language ◽  
Object Oriented ◽  
Object Oriented Programming ◽  
Modeling Language ◽  
Use Case ◽  
Literary Genres ◽  
Unified Modeling ◽  
Starting Point ◽  
The Relationship

ABSTRACTAs the title suggests, this article exposes a vision to the relationship between a human expression so fascinating and mature as literature, evident in works of different genres, and other attractant also more recent hatching as computer science, manifested in themes related with the object-oriented programming (OOP). To establish the relationship, presented two overviews, the first related to the literary genres and the second with the Unified Modeling Language (UML), which are taken as a starting point to establish linkages among the fables, the asides of novel and literary works in general, with modeling of software expressed in use case diagrams, classes, objects, states, sequence and activities, all of the UML. In this way, arise new teaching strategies for the understanding of design-oriented objects through modeling of literary works.RESUMENComo el título indica, este artículo expone una visión a la relación entre una expresión humana tan fasci-nante y madura como la literatura, manifiesta en obras de diferentes subgéneros, y otra también atrayente de más reciente eclosión como la ciencia de la computación, manifiesta en temas relacionados con la Programación Orientada a Objetos (POO). Para establecer la relación, se presentan dos visiones generales, la primera relacionada con los subgéneros literarios y la segunda con el Lenguaje de Modelado Unificado (UML, sigla inglesa), las cuales se toman como punto de partida para establecer nexos entre las fábulas, los apartes de novela y obras literarias en general, con el modelado de software expresado en diagramas de casos de uso, clases, objetos, estados, secuencia y actividades, todos propios del UML. De ésta manera, se plantean nuevas estrategias didácticas para la comprensión del diseño orientado a objetos mediante el modelado de obras literarias. Contacto principal: [email protected]

scholarly journals A Modal Proof Theory for Polynomial Coalgebras

2021 ◽  
Author(s):  
◽  
David Friggens
Keyword(s):  
Modal Logic ◽  
Computer Science ◽  
Programming Languages ◽  
Data Structures ◽  
Proof Theory ◽  
Object Oriented ◽  
Object Oriented Programming ◽  
Algebraic Methods ◽  
Mathematical Structures ◽  
Finite Constant

<p>The abstract mathematical structures known as coalgebras are of increasing interest in computer science for their use in modelling certain types of data structures and programs. Traditional algebraic methods describe objects in terms of their construction, whilst coalgebraic methods describe objects in terms of their decomposition, or observational behaviour. The latter techniques are particularly useful for modelling infinite data structures and providing semantics for object-oriented programming languages, such as Java. There have been many different logics developed for reasoning about coalgebras of particular functors, most involving modal logic. We define a modal logic for coalgebras of polynomial functors, extending Rößiger’s logic [33], whose proof theory was limited to using finite constant sets, by adding an operator from Goldblatt [11]. From the semantics we define a canonical coalgebra that provides a natural construction of a final coalgebra for the relevant functor. We then give an infinitary axiomatization and syntactic proof relation that is sound and complete for functors constructed from countable constant sets.</p>

Object-Oriented Programming in Computer Science

2019 ◽  
pp. 1439-1451
Author(s):  
Rahime Yilmaz ◽  
Anil Sezgin ◽  
Sefer Kurnaz ◽  
Yunus Ziya Arslan
Keyword(s):  
Computer Science ◽  
Electronic Circuit ◽  
Object Oriented ◽  
Computer Programs ◽  
Human Mind ◽  
Object Oriented Programming ◽  
Computer Hardware ◽  
Programming System ◽  
Low Level ◽  
Application Programming

A program is composed of commands that run within a computer or an electronic circuit. Programming is a mathematical methodology to write a program and to encode the algorithm into a notation. It can be classified into two groups such as system and application programming. System programming is a branch of the general programming that is composed of low-level instructions which are used to operate and handle computer hardware. Application programming is considered as the improved version of the computer programs that can perform specific tasks. One of the application programming types is the object-oriented programming (OOP) which is about how information is represented in human mind. OOP is useful to provide easy modeling in design and developing real entities. This approach is aimed to model the entities and the relationships existing between them. OOP enables to define the required classes to create the objects and to apply modifications on them. The inherent properties of OOP are modularity, extensibility, and reusability. This chapter provides a substantial survey of OOP.

Interview with Norman Meyrowitz

2021 ◽  
pp. 1-5
Author(s):  
Claus Atzenbeck
Keyword(s):  
Computer Science ◽  
Object Oriented ◽  
Object Oriented Programming ◽  
Multimedia Technology ◽  
Web Development ◽  
Web Browser ◽  
Brown University ◽  
System User ◽  
Pen Tablet ◽  
Programming Systems

Norm Meyrowitz is currently an Adjunct Professor of the Practice of Computer Science at Brown University. He received an Sc.B. in Computer Science from Brown in 1981, and is recognized for his work on linking and multimedia technology for the Internet and for the evolution of Web development software. In the 1980s, Norm served as a Co-Director of Brown University's Institute for Research in Information and Scholarship, where he led the development of Intermedia, a hypermedia system that influenced both the creator of the Web and the creator of the Mosaic Web browser. In mid-1980s, he helped start two ACM conferences - OOPSLA (Object-Oriented Programming, Systems, and Languages) and Hypertext '87, which continue to this day. Following his work in academia, Norm worked for several years as the Director of System/User Software for pen/tablet pioneer GO Corporation before transitioning to his role as President of Product Development at Macromedia (later acquired by Adobe). At Macromedia, Norm oversaw a variety of Web development and multimedia products at Macromedia, including Shockwave, Dreamweaver, Flash, the latter of which had more than 4 billion downloads in its heyday in the 1990s and early 2000s.

Sign in / Sign up

Export Citation Format

Share Document