Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Social and Behavioral Sciences (3036)
- Arts and Humanities (2131)
- Physical Sciences and Mathematics (1472)
- Life Sciences (933)
- Psychology (897)
-
- Medicine and Health Sciences (867)
- Education (776)
- Law (599)
- Sociology (505)
- Computer Sciences (445)
- Feminist, Gender, and Sexuality Studies (359)
- Engineering (349)
- History (348)
- Political Science (341)
- Physics (328)
- Philosophy (317)
- Library and Information Science (316)
- English Language and Literature (309)
- Neuroscience and Neurobiology (282)
- Higher Education (274)
- Environmental Sciences (270)
- Linguistics (269)
- Economics (253)
- Legal Studies (226)
- Biology (220)
- Business (220)
- Public Health (217)
- Music (208)
- Race, Ethnicity and Post-Colonial Studies (197)
- Public Affairs, Public Policy and Public Administration (178)
- Keyword
-
- Lib_pub (210)
- 2014 International Conference on Hydroinformatics HIC (126)
- Newspaper (114)
- Meeting minutes (94)
- The Feminist Press (86)
-
- WSQ (86)
- Women's Studies Newsletter (86)
- Women's Studies Quarterly (86)
- Gender (72)
- Race (66)
- New York City (64)
- United States (55)
- Memory (54)
- Education (53)
- Feminism (50)
- Pedagogy (48)
- Machine learning (44)
- Statistics (43)
- Biology (41)
- Immigration (41)
- Depression (40)
- Climate change (37)
- Curriculum committee (37)
- John Jay College of Criminal Justice (37)
- Attention (36)
- History (36)
- Psychology (36)
- Syllabus (36)
- College students (35)
- Identity (35)
- Publication Year
- Publication
-
- Publications and Research (3304)
- Dissertations, Theses, and Capstone Projects (2734)
- The Ticker (614)
- Open Educational Resources (539)
- Dissertations and Theses (530)
-
- Theses and Dissertations (433)
- Student Theses (245)
- City University of New York Law Review (224)
- The Reporter (152)
- BCC Governance Archives (145)
- International Conference on Hydroinformatics (126)
- Capstones (125)
- The Communicator (113)
- Computer Science Technical Reports (101)
- Student Theses and Dissertations (90)
- Women's Studies Quarterly (86)
- Meeting Minutes (62)
- Advanced Science Research Center (61)
- Reports and Publications from John Jay College (60)
- The Advocate (60)
- College Bulletins (46)
- Course Catalogs (35)
- Pandora's Box (24)
- Urban Library Journal (24)
- CCNY Antiwar Notices (23)
- The Bridge: LaGuardia Community College Student Newspaper (20)
- LaGuardia Community College Publications (18)
- Art History Pedagogy & Practice (13)
- Fiorello's Flute: LaGuardia Community College Student Newspaper (9)
- Gerald J. Meyer Save Hostos Collection (9)
- Publication Type
Articles 2191 - 2220 of 10098
Full-Text Articles in Entire DC Network
Committee On Governance And Election Minutes November 16, 2021, Bronx Community College Committee On Governance And Election
Committee On Governance And Election Minutes November 16, 2021, Bronx Community College Committee On Governance And Election
BCC Governance Archives
Minutes for the meeting of the Committee on Election and Governance on November 16, 2021.
Spotlight Report #3: Me2b Alliance Validation Research: Consumer Sensitivity To Location Tracking By Websites And Mobile App, Noreen Y. Whysel, Karina Alexanyan
Spotlight Report #3: Me2b Alliance Validation Research: Consumer Sensitivity To Location Tracking By Websites And Mobile App, Noreen Y. Whysel, Karina Alexanyan
Publications and Research
This research was conducted to validate the Location Commitment scoring criteria in the Me2B Alliance Respectful Technology Specification. The objective of the study was to understand if the requirements and passing criteria of select location tests in the Me2BA Respectful Technology Specification are appropriate. Toward that end, we conducted quantitative and qualitative studies of consumer perception and tolerance for location awareness by digital technologies. The studies explored participant understanding of what a location request is, how consumers feel about such awareness, and what are the specific parameters and scenarios that make location awareness acceptable.
The core of the research was …
How Can I Get Covid?: Understanding Diferences In American Heterosexual And Sexual Minority Men’S Risk Perception, Devon M. Price, Amanda N. Gesselman, Rachel A. Fikslin, Alison J. Goldberg, Omaima Pervez, Mora A. Reinka, Elissia Franklin
How Can I Get Covid?: Understanding Diferences In American Heterosexual And Sexual Minority Men’S Risk Perception, Devon M. Price, Amanda N. Gesselman, Rachel A. Fikslin, Alison J. Goldberg, Omaima Pervez, Mora A. Reinka, Elissia Franklin
Publications and Research
Men are more vulnerable to COVID-19 infections compared to women, but their risk perceptions around COVID-19 are persis - tently lower. Further, men often engage in less health promotion behavior because self-care in this capacity is seen as weak or less masculine. This combination has consequences for mortality; thus, a better understanding of men’s COVID-19 cognitions and individual diference factors is critical. In a web-based survey conducted during the beginning stages of the pandemic in the U.S., we collected risk perceptions of various sexual and non-sexual behaviors from heterosexual ( n = 137) and gay/bisexual men ( n = 108). …
Prison Librarianship And Lis Schools: Is There A Career-Path?, Patrick J. Raftery Jr
Prison Librarianship And Lis Schools: Is There A Career-Path?, Patrick J. Raftery Jr
Urban Library Journal
Library Information Science research has inquired and advocated for prison librarianship since as far back as the 1930s. While most of the articles published focus on the problems facing these institutional libraries, (budgets, censorship, best practices, and standards), very few focus on the preparations LIS schools take to prepare and promote prison librarianship. For many years’ civilians, not professional librarians, operated prison libraries. Although the rise in professional librarians in prison libraries has grown, has the preparation and quality of professionally trained institutional/prison librarians changed? Previous research states LIS schools often overlook or ignore institutional/prison librarianship. This article explores past …
Inverse Kinematics Of The 6dof C12xl, Carl Liu, Lili Ma
Inverse Kinematics Of The 6dof C12xl, Carl Liu, Lili Ma
Publications and Research
Industrial robotic manipulators are widely used in applications such as pick & place, welding, and assembly to perform repeated tasks in replace of human labor. Such tasks typically require fully autonomous mechanical arms that are capable of identifying the parts to operate, path planning, and trajectory generation & tracking. A robotic arm consists of a sequence of rigid links connected by movable components (the joints). Proper control of the arm’s motion requires the knowledge of inverse kinematics, which computes/outputs the joint variables, i.e., angles for revolute joints and displacement for prismatic joints, causing the robotic arm’s end effector (e.g., gripper, …
Treatment Selection Using Prototyping In Latent-Space With Application To Depression Treatment, Akiva Kleinerman, Ariel Rosenfeld, David Benrimoh, Robert Fratila, Caitrin Armstrong, Joseph Mehltretter, Eliyahu Shneider, Amit Yaniv-Rosenfeld, Jordan Karp, Charles F. Reynolds, Gustavo Turecki, Adam Kapelner
Treatment Selection Using Prototyping In Latent-Space With Application To Depression Treatment, Akiva Kleinerman, Ariel Rosenfeld, David Benrimoh, Robert Fratila, Caitrin Armstrong, Joseph Mehltretter, Eliyahu Shneider, Amit Yaniv-Rosenfeld, Jordan Karp, Charles F. Reynolds, Gustavo Turecki, Adam Kapelner
Publications and Research
Machine-assisted treatment selection commonly follows one of two paradigms: a fully personalized paradigm which ignores any possible clustering of patients; or a sub-grouping paradigm which ignores personal differences within the identified groups. While both paradigms have shown promising results, each of them suffers from important limitations. In this article, we propose a novel deep learning-based treatment selection approach that is shown to strike a balance between the two paradigms using latent-space prototyping. Our approach is specifically tailored for domains in which effective prototypes and sub-groups of patients are assumed to exist, but groupings relevant to the training objective are not …
Impact Of Forensic Medical Evaluations On Immigration Relief Grant Rates And Correlates Of Outcomes In The United States., Holly G. Atkinson, Katarzyna Wyka, Kathryn Hampton, Christian Seno, Elizabeth Yim, Deborah Ottenheimer, Nermeen Arastu
Impact Of Forensic Medical Evaluations On Immigration Relief Grant Rates And Correlates Of Outcomes In The United States., Holly G. Atkinson, Katarzyna Wyka, Kathryn Hampton, Christian Seno, Elizabeth Yim, Deborah Ottenheimer, Nermeen Arastu
Publications and Research
The purpose of this study was to investigate the impact of forensic medical evaluations on grant rates for applicants seeking immigration relief in the United States (U.S.) and to identify significant correlates of grant success. We conducted a retrospective analysis of 2584 cases initiated by Physicians for Human Rights between 2008-2018 that included forensic medical evaluations, and found that 81.6% of applicants for various forms of immigration relief were granted relief, as compared to the national asylum grant rate of 42.4%. Among the study’s cohort, the majority (73.7%) of positive outcomes were grants of asylum. A multivariable regression analysis revealed …
Committee On Governance And Election Minutes November 2, 2021, Bronx Community College Committee On Governance And Election
Committee On Governance And Election Minutes November 2, 2021, Bronx Community College Committee On Governance And Election
BCC Governance Archives
Minutes for the meeting of the Committee on Election and Governance on November 2, 2021.
Committee On Instruction And Professional Development Minutes November 2, 2021, Bronx Community College Instruction Committee
Committee On Instruction And Professional Development Minutes November 2, 2021, Bronx Community College Instruction Committee
BCC Governance Archives
Minutes for the Committee on Instruction and Professional Development meeting on November 2, 2021.
Changes In Histone H3 Acetylation On Lysine 9 Accompany Aβ 1-40 Overexpression In An Alzheimer’S Disease Yeast Model, Muna M. Hugais, Samantha N. Cobos, Seth A. Bennett, Jailene Paredes, Genevieve Foran, Mariana P. Torrente
Changes In Histone H3 Acetylation On Lysine 9 Accompany Aβ 1-40 Overexpression In An Alzheimer’S Disease Yeast Model, Muna M. Hugais, Samantha N. Cobos, Seth A. Bennett, Jailene Paredes, Genevieve Foran, Mariana P. Torrente
Publications and Research
Alzheimer’s Disease (AD), the most common type of dementia, is a neurodegenerative disease characterized by plaques of amyloid-beta (Aβ) peptides found in the cerebral cortex of the brain. The pathological mechanism by which Aβ aggregation leads to neurodegeneration remains unknown. Interestingly, genetic mutations do not explain most AD cases suggesting that other mechanisms are at play. Epigenetic mechanisms, such as histone post-translational modifications (PTMs), may provide insight into the development of AD. Here, we exploit a yeast Aβ overexpression model to map out the histone PTM landscape associated with AD. We find a modest decrease in the acetylation levels on …
Vhs Archives, Committed Media Praxis, And ‘Queer Cinema', Alexandra Juhasz
Vhs Archives, Committed Media Praxis, And ‘Queer Cinema', Alexandra Juhasz
Publications and Research
Committed media praxis is a doing as much as it is a knowing. Queerness is a manner of being as much as it is a politics, theory, or set of modish objects. This chapter about topics that are also processes—queer, media praxis, cinema—performs these across two acts: “Part 1: A Hesitant or Maybe Just Slightly Defiant Preamble,” is a creative unfolding, in the body of the text and as much so in its footnotes, of the author’s “queer feminist media praxis”: “Part 2: VHS Archives” is a demonstration of VHS Archives, a multi-sited, many-yeared project in experimental pedagogy, web-based archival …
Connection Failure: War, Spiritualism And Communications Media In Violet Hunt's "Love's Last Leave.", Melissa Dinsman, Heather M. Robinson
Connection Failure: War, Spiritualism And Communications Media In Violet Hunt's "Love's Last Leave.", Melissa Dinsman, Heather M. Robinson
Publications and Research
An overlooked figure of modernist circles, Violent Hunt was a suffragette, novelist, and author of ghost stories. In her second collection of haunted narratives, More Tales of The Uneasy (1925), Hunt explores the ghostliness of the Great War, both for those on the front and at home. In this essay, we focus on the third story in this volume, “Love’s Last Leave,” and argue that Hunt includes both ghost story tropes and communications media to articulate the real deadliness of the Great War. Communications technology and spiritualism share a similar historical evolution, and in “Love’s Last Leave” both types …
A Review Of Camera Scanning Apps For You And Your Patrons, John P. Delooper
A Review Of Camera Scanning Apps For You And Your Patrons, John P. Delooper
Publications and Research
This article discusses mobile phone apps that can be used to scan photos and documents via the digital cameras built into smartphones. It talks about the history of these apps and what their best utility is in library settings. It also examines one specific project to digitize materials for a local history website.
Late Pleistocene And Early Holocene Sea-Level History And Glacial Retreat Interpreted From Shell-Bearing Marine Deposits Of Southeastern Alaska, Usa, James F. Baichtal, Alia J. Lesnek, Risa J. Carlson, Nicholas S. Schmuck, Jane L. Smith, Dennis J. Landwehr, Jason P. Briner
Late Pleistocene And Early Holocene Sea-Level History And Glacial Retreat Interpreted From Shell-Bearing Marine Deposits Of Southeastern Alaska, Usa, James F. Baichtal, Alia J. Lesnek, Risa J. Carlson, Nicholas S. Schmuck, Jane L. Smith, Dennis J. Landwehr, Jason P. Briner
Publications and Research
We leverage a data set of >720 shell-bearing marine deposits throughout southeastern Alaska (USA) to develop updated relative sea-level curves that span the past ~14,000 yr. This data set includes site location, elevation, description when avail-able, and 436 14C ages, 45 of which are published here for the first time. Our sea-level curves suggest a peripheral forebulge developed west of the retreating Cordilleran Ice Sheet (CIS) margin between ca. 17,000 and 10,800 calibrated yr B.P. By 14,870 ± 630 to 12,820 ± 340 cal. yr B.P., CIS mar-gins had retreated from all of southeastern Alaska’s fjords, channels, and passages. At …
We Are Each Other’S Breath: Tracing Interdependency Through Critical Poetic Inquiry, Karen Zaino, Jordan Bell
We Are Each Other’S Breath: Tracing Interdependency Through Critical Poetic Inquiry, Karen Zaino, Jordan Bell
Publications and Research
In this paper, we utilize poetic methods that seek to surface, but not overdetermine, the unanticipated relational excess produced through literacy practices. Karen, a queer white woman, and Jordan, a cis-gendered heterosexual Black man, wrote a series of letters to one another throughout the Spring 2020 semester. We turned to critical poetic inquiry to analyze the letters, interested in poetry’s capacity to highlight literacy’s critical power and its emergent potential. We found ourselves implicated in each other’s lives in new ways; we found our relationship both strengthened and tested. Such relational indeterminacy creates methodological challenges in literacy research. We found …
Cryo-Em Structure Of Mechanosensitive Channel Ynai Using Sma2000: Challenges And Opportunities, Claudio Catalano, Danya Ben-Hail, Weihua Qiu, Paul Blount, Amedee Des Georges, Youzhong Guo
Cryo-Em Structure Of Mechanosensitive Channel Ynai Using Sma2000: Challenges And Opportunities, Claudio Catalano, Danya Ben-Hail, Weihua Qiu, Paul Blount, Amedee Des Georges, Youzhong Guo
Publications and Research
Mechanosensitive channels respond to mechanical forces exerted on the cell membrane and play vital roles in regulating the chemical equilibrium within cells and their environment. Highresolution structural information is required to understand the gating mechanisms of mechanosensitive channels. Protein-lipid interactions are essential for the structural and functional integrity of mechanosensitive channels, but detergents cannot maintain the crucial native lipid environment for purified mechanosensitive channels. Recently, detergent-free systems have emerged as alternatives for membrane protein structural biology. This report shows that while membrane-active polymer, SMA2000, could retain some native cell membrane lipids on the transmembrane domain of the mechanosensitive-like YnaI channel, …
Dietary Diversity And Nutrient Intake Of Han And Dongxiang Smallholder Farmers In Poverty Areas Of Northwest China, Zhuo Wang, Youhai Chen, Shihua Tang, Siqi Chen, Shaoqing Gong, Xinyin Jiang, Liang Wang, Ying Zhang
Dietary Diversity And Nutrient Intake Of Han And Dongxiang Smallholder Farmers In Poverty Areas Of Northwest China, Zhuo Wang, Youhai Chen, Shihua Tang, Siqi Chen, Shaoqing Gong, Xinyin Jiang, Liang Wang, Ying Zhang
Publications and Research
This study aimed to evaluate the status of dietary diversity and nutrient intake among Han and Dongxiang smallholder farmers in poor rural areas of northwest China. In this cross-sectional study, dietary intake was assessed in 499 smallholder farmers aged 18–75 years from two nationally designated impoverished counties in Gansu Province, China, using three consecutive 24 h dietary recalls. The dietary diversity score (DDS) and nutrient adequacy ratio (NAR) were adopted to assess dietary diversity and micronutrient adequacy, respectively. The mean DDS (range from 1 to 9) in participants was relatively low (3.81 ± 1.01). Consumption of grains was excessive, while …
Dataset Of Concurrent Eeg, Ecg, And Behavior With Multiple Doses Of Transcranial Electrical Stimulation, Nigel Gebodh, Zeinab Esmaeilpour, Abhishek Datta, Marom Bikson
Dataset Of Concurrent Eeg, Ecg, And Behavior With Multiple Doses Of Transcranial Electrical Stimulation, Nigel Gebodh, Zeinab Esmaeilpour, Abhishek Datta, Marom Bikson
Publications and Research
We present a dataset combining human-participant high-density electroencephalography (EEG) with physiological and continuous behavioral metrics during transcranial electrical stimulation (tES). Data include within participant application of nine High-Definition tES (HD-tES) types, targeting three cortical regions (frontal, motor, parietal) with three stimulation waveforms (DC, 5 Hz, 30 Hz); more than 783 total stimulation trials over 62 sessions with EEG, physiological (ECG, EOG), and continuous behavioral vigilance/alertness metrics. Experiment 1 and 2 consisted of participants performing a continuous vigilance/alertness task over three 70-minute and two 70.5-minute sessions, respectively. Demographic data were collected, as well as self-reported wellness questionnaires before and after each …
Committee On Academic Standing Minutes October 27, 2021, Bronx Community College Committee On Academic Standing
Committee On Academic Standing Minutes October 27, 2021, Bronx Community College Committee On Academic Standing
BCC Governance Archives
Minutes for the meeting of the Committee on Academic Standing on October 27, 2021.
Identity Selection And The Social Construction Of Birthdays, Brett W. Pelham, Tracy Dehart, Mitsuru Shimizu, Curtis D. Hardin, H. Anna Han, William Von Hippel
Identity Selection And The Social Construction Of Birthdays, Brett W. Pelham, Tracy Dehart, Mitsuru Shimizu, Curtis D. Hardin, H. Anna Han, William Von Hippel
Publications and Research
We argue that rather than being a wholly random event, birthdays are sometimes selected by parents. We further argue that such effects have changed over time and are the result of important psychological processes. Long ago, U.S. American parents greatly overclaimed holidays as their children’s birthdays. These effects were larger for more important holidays, and they grew smaller as births moved to hospitals and became officially documented. These effects were exaggerated for ethnic groups that deeply valued specific holidays. Parents also overclaimed well-liked calendar days and avoided disliked calendar days as their children’s birthdays. However, after birthday selection effects virtually …
Shhh-Tereotypes: A Conversation Among Librarians With Hearing Loss, Jill Cirasella, Lee Ann Fullington, Monica Berger, William Gargan
Shhh-Tereotypes: A Conversation Among Librarians With Hearing Loss, Jill Cirasella, Lee Ann Fullington, Monica Berger, William Gargan
Urban Library Journal
We are four hard of hearing librarians dependent on hearing aids. Our hearing loss complicates our work, often in ways that are not apparent to colleagues and patrons. In this article, based on our panel at the 2021 LACUNY Institute, we share our experiences, challenges, and self-accommodations, and offer suggestions for supporting and effectively communicating with hard of hearing colleagues.
Committee On Academic Standing Minutes October 13, 2021, Bronx Community College Committee On Academic Standing
Committee On Academic Standing Minutes October 13, 2021, Bronx Community College Committee On Academic Standing
BCC Governance Archives
Minutes for the meeting of the Committee on Academic Standing on October 13, 2021.
Expression, Purification And Refolding Of A Human Na V 1.7 Voltage Sensing Domain With Native-Like Toxin Binding Properties, Ryan V. Schroder, Leah S. Cohen, Ping Wang, Joekeem D. Arizala, Sébastien F. Poget
Expression, Purification And Refolding Of A Human Na V 1.7 Voltage Sensing Domain With Native-Like Toxin Binding Properties, Ryan V. Schroder, Leah S. Cohen, Ping Wang, Joekeem D. Arizala, Sébastien F. Poget
Publications and Research
The voltage-gated sodium channel NaV1.7 is an important target for drug development due to its role in pain perception. Recombinant expression of full-length channels and their use for biophysical characterization of interactions with potential drug candidates is challenging due to the protein size and complexity. To overcome this issue, we developed a protocol for the recombinant expression in E. coli and refolding into lipids of the isolated voltage sensing domain (VSD) of repeat II of NaV1.7, obtaining yields of about 2 mg of refolded VSD from 1 L bacterial cell culture. This VSD is known to be involved in the …
Health Promotion Within High-Risk Communities: Become An Agent Of Change To Enhance Vaccination Acceptance In Communities, Natalie A. Fischetti Dr., Susan Mee Dr.
Health Promotion Within High-Risk Communities: Become An Agent Of Change To Enhance Vaccination Acceptance In Communities, Natalie A. Fischetti Dr., Susan Mee Dr.
Open Educational Resources
This is a course of six self-paced modules for nursing students to learn about vaccines, vaccine safety and patient education regarding vaccines.
Wave Function Identity: A New Symmetry For 2-Electron Systems In An Electromagnetic Field, Marlina Slamet, Viraht Sahni
Wave Function Identity: A New Symmetry For 2-Electron Systems In An Electromagnetic Field, Marlina Slamet, Viraht Sahni
Publications and Research
Stationary-state Schrödinger-Pauli theory is a description of electrons with a spin moment in an external electromagnetic field. For 2-electron systems as described by the Schrödinger-Pauli theory Hamiltonian with a symmetrical binding potential, we report a new symmetry operation of the electronic coordinates. The symmetry operation is such that it leads to the equality of the transformed wave function to the wave function. This equality is referred to as the Wave Function Identity. The symmetry operation is a two-step process: an interchange of the spatial coordinates of the electrons whilst keeping their spin moments unchanged, followed by an inversion. The Identity …
Development Of Predictive Models For Water Budget Simulations Of Closed-Basin Lakes: Case Studies Of Lakes Azuei And Enriquillo On The Island Of Hispaniola, Mahrokh Moknatian, Michael Piasecki
Development Of Predictive Models For Water Budget Simulations Of Closed-Basin Lakes: Case Studies Of Lakes Azuei And Enriquillo On The Island Of Hispaniola, Mahrokh Moknatian, Michael Piasecki
Publications and Research
The historical water level fluctuations of the two neighboring Caribbean lakes of Azuei (LA) and Enriquillo (LE) on Hispaniola have shown random periods of synchronous and asynchronous behaviors, with both lakes exhibiting independent dynamics despite being exposed to the same climatic forces and being directly next to each other. This paper examines their systems' main drivers and constraints, which are used to develop numerical models for these two lakes. The water balance approach was employed to conceptually model the lakes on an interannual scale and examine the assumptions of surface and subsurface processes. These assumptions were made based on field …
Teaching And Learning Mathematics In Secondary Schools, Despina Stylianou
Teaching And Learning Mathematics In Secondary Schools, Despina Stylianou
Open Educational Resources
No abstract provided.
(2021 Revision) Chapter 4: Essential Aspects Of Physical Design And Implementation Of Relational Databases, Tatiana Malyuta, Ashwin Satyanarayana
(2021 Revision) Chapter 4: Essential Aspects Of Physical Design And Implementation Of Relational Databases, Tatiana Malyuta, Ashwin Satyanarayana
Open Educational Resources
No abstract provided.
Graphic Design Checklist, Lora Morgenstern
Graphic Design Checklist, Lora Morgenstern
Open Educational Resources
Teachers can use and modify this checklist to fit specific project criteria. Students can use this checklist to stay on track with project requirements.
Introduction To Discrete Mathematics: An Oer For Ma-471, Mathieu Sassolas
Introduction To Discrete Mathematics: An Oer For Ma-471, Mathieu Sassolas
Open Educational Resources
The first objective of this book is to define and discuss the meaning of truth in mathematics. We explore logics, both propositional and first-order , and the construction of proofs, both formally and human-targeted. Using the proof tools, this book then explores some very fundamental definitions of mathematics through set theory. This theory is then put in practice in several applications. The particular (but quite widespread) case of equivalence and order relations is studied with detail. Then we introduces sequences and proofs by induction, followed by number theory. Finally, a small introduction to combinatorics is …